tree 64d5168e48eb879cb7452e80b06b7d7eaa6a709c
parent 155bb14482cc567761c13b4efc064de400c55e18
author Russell King <rmk@dyn-67.arm.linux.org.uk> 1115718019 +0100
committer Russell King <rmk@dyn-67.arm.linux.org.uk> 1115718019 +0100

[PATCH] ARM: Add top_pmd, which points at the top-most page table

Signed-off-by: Russell King <rmk@arm.linux.org.uk>