xen/arm: p2m: Provide an helper to generate the VTTBR
authorJulien Grall <julien.grall@arm.com>
Mon, 28 Jan 2019 11:50:21 +0000 (11:50 +0000)
committerStefano Stabellini <sstabellini@kernel.org>
Tue, 29 Jan 2019 00:53:17 +0000 (16:53 -0800)
commit8f88a2b4a29fd9b62d31d70da28cf82eb7b508e6
tree26f265bbe33a1b67ead4987d81be92eea1d9ae11
parent2a65b43eb603a67654ca7aed260153c6dbf16b43
xen/arm: p2m: Provide an helper to generate the VTTBR

A follow-up patch will need to generate the VTTBR in a few places.

Signed-off-by: Julien Grall <julien.grall@arm.com>
Reviewed-by: Andrii Anisov <andrii_anisov@epam.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
xen/arch/arm/p2m.c