xen: arm: define a macro to get this CPUs page table root
authorIan Campbell <ian.campbell@citrix.com>
Thu, 8 Aug 2013 12:15:12 +0000 (13:15 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Tue, 20 Aug 2013 14:44:36 +0000 (15:44 +0100)
commitdc419624d2cddf07610684882cae1f6a8d646c1e
tree009ddb439004a8cf8027cd61d3f33e67200e3ab7
parent954db6ce0c9d879ca41fb34ad9d4d427f676ba17
xen: arm: define a macro to get this CPUs page table root

In a future patch the 32- and 64-bit root page tables will differ.

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
xen/arch/arm/mm.c