[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)
commitc4e1f6f6bf82af89994a0ee760fc5e036c4d3c1f
tree64d5168e48eb879cb7452e80b06b7d7eaa6a709c
parent155bb14482cc567761c13b4efc064de400c55e18
[PATCH] ARM: Add top_pmd, which points at the top-most page table

Signed-off-by: Russell King <rmk@arm.linux.org.uk>
arch/arm/mm/mm-armv.c
include/asm-arm/page.h