diff options
author | Nicolas Pitre <nico@cam.org> | 2008-09-11 11:52:02 -0400 |
---|---|---|
committer | Russell King <rmk+kernel@arm.linux.org.uk> | 2008-11-28 15:36:47 +0000 |
commit | 252d4c276dc0895834af48743579cf19d1fa150b (patch) | |
tree | ff0005eeff89ad8bcc5ebd197055ce01cadc96df /arch/arm/oprofile | |
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 <nico@marvell.com>
Signed-off-by: Russell King <rmk+kernel@arm.linux.org.uk>
Diffstat (limited to 'arch/arm/oprofile')
0 files changed, 0 insertions, 0 deletions