[PATCH 4/5] ARM: pgtable: provide get_top_pte() to complement set_top_pte()

[Catalin Marinas]

On 20 January 2012 10:36, Russell King - ARM Linux
<linux at arm.linux.org.uk> wrote:
> Provide get_top_pte() to complement set_top_pte(), moving the only
> users of TOP_PTE to arch/arm/mm/mm.h.
>
> Signed-off-by: Russell King <rmk+kernel at arm.linux.org.uk>

Reviewed-by: Catalin Marinas <catalin.marinas at arm.com>