diff options
| author | Paul Mundt <[email protected]> | 2010-01-19 15:22:52 +0900 |
|---|---|---|
| committer | Paul Mundt <[email protected]> | 2010-01-19 15:22:52 +0900 |
| commit | cb6d04468d16de5a6161167ec7e76a43be540a80 (patch) | |
| tree | 9098a291898ebf38400da16617c141217b3f1e64 /scripts/objdiff | |
| parent | bb29c677b366fdf4f6522cd82228a32567aa98c7 (diff) | |
sh: Kill off now bogus fixmap/page wiring documentation.
The plans for _PAGE_WIRED were detailed in a comment with the fixmap
code, but as it's now all taken care of, we no longer have any reason for
keeping it around, particularly since it's no longer accurate. Kill it
off.
Signed-off-by: Paul Mundt <[email protected]>
Diffstat (limited to 'scripts/objdiff')
0 files changed, 0 insertions, 0 deletions