arm64/mm: add create_pgd_mapping() to create private page tables
authorArd Biesheuvel <ard.biesheuvel@linaro.org>
Mon, 20 Oct 2014 13:42:07 +0000 (15:42 +0200)
committerArd Biesheuvel <ard.biesheuvel@linaro.org>
Mon, 12 Jan 2015 08:16:52 +0000 (08:16 +0000)
commit8ce837cee8f51fb0eacb32c85461ea2f0fafc9f8
tree14bb68cb91e5890156381969a1f1f9ca87cd2047
parente1e1fddae74b72d0415965821ad00fe39aac6f13
arm64/mm: add create_pgd_mapping() to create private page tables

For UEFI, we need to install the memory mappings used for Runtime Services
in a dedicated set of page tables. Add create_pgd_mapping(), which allows
us to allocate and install those page table entries early.

Reviewed-by: Will Deacon <will.deacon@arm.com>
Tested-by: Leif Lindholm <leif.lindholm@linaro.org>
Signed-off-by: Ard Biesheuvel <ard.biesheuvel@linaro.org>
arch/arm64/include/asm/mmu.h
arch/arm64/include/asm/pgtable.h
arch/arm64/mm/mmu.c