diff options
| author | Nicolas Pitre <[email protected]> | 2008-09-11 11:52:02 -0400 |
|---|---|---|
| committer | Russell King <[email protected]> | 2008-11-28 15:36:47 +0000 |
| commit | 252d4c276dc0895834af48743579cf19d1fa150b (patch) | |
| tree | ff0005eeff89ad8bcc5ebd197055ce01cadc96df /include/linux | |
| parent | 9210807cb5a3f19a0e954dd401e3a2c3626d1b48 (diff) | |
[ARM] remove bogus #ifdef CONFIG_HIGHMEM in show_pte()
The restriction on !CONFIG_HIGHMEM is unneeded since page tables are
currently never allocated with highmem pages, and actually disable PTE
dump whenever highmem is configured. Let's have a dynamic test to better
describe the current limitation instead.
Signed-off-by: Nicolas Pitre <[email protected]>
Signed-off-by: Russell King <[email protected]>
Diffstat (limited to 'include/linux')
0 files changed, 0 insertions, 0 deletions