Ard Biesheuvel 8ce837cee8 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>		2015-01-12 08:16:52 +00:00
..
asm	arm64/mm: add create_pgd_mapping() to create private page tables	2015-01-12 08:16:52 +00:00
uapi/asm	arm/arm64: KVM: vgic: make number of irqs a configurable attribute	2014-09-18 18:48:58 -07:00