[PATCH] ARM: Add top_pmd, which points at the top-most page table
authorRussell King <rmk@dyn-67.arm.linux.org.uk>
Tue, 10 May 2005 09:40:19 +0000 (10:40 +0100)
committerRussell King <rmk@dyn-67.arm.linux.org.uk>
Tue, 10 May 2005 09:40:19 +0000 (10:40 +0100)
Signed-off-by: Russell King <rmk@arm.linux.org.uk>

No differences found