| commit | 8ce837cee8f51fb0eacb32c85461ea2f0fafc9f8 | [log] [tgz] |
|---|---|---|
| author | Ard Biesheuvel <ard.biesheuvel@linaro.org> | Mon Oct 20 15:42:07 2014 +0200 |
| committer | Ard Biesheuvel <ard.biesheuvel@linaro.org> | Mon Jan 12 08:16:52 2015 +0000 |
| tree | 14bb68cb91e5890156381969a1f1f9ca87cd2047 | |
| parent | e1e1fddae74b72d0415965821ad00fe39aac6f13 [diff] |
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>