diff options
| author | Nicolas Pitre | 2008-09-11 11:52:02 -0400 |
|---|---|---|
| committer | Russell King | 2008-11-28 15:36:47 +0000 |
| commit | 252d4c276dc0895834af48743579cf19d1fa150b (patch) | |
| tree | ff0005eeff89ad8bcc5ebd197055ce01cadc96df /lib/ts_fsm.c | |
| 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 'lib/ts_fsm.c')
0 files changed, 0 insertions, 0 deletions