commit | 12fda8123d74903d1f65fb006fe4964e23ede0d1 | [log] [tgz] |
---|---|---|
author | Marc Zyngier <marc.zyngier@arm.com> | Thu Jun 30 18:40:45 2016 +0100 |
committer | Christoffer Dall <christoffer.dall@linaro.org> | Sun Jul 03 23:41:27 2016 +0200 |
tree | 8fd4cb6791a0d9e2ea13db072d96b47b8aefa848 | |
parent | 3421e9d88d7ae70fbc8c903e44a5acace8ae2d29 [diff] |
arm/arm64: KVM: Drop boot_pgd Since we now only have one set of page tables, the concept of boot_pgd is useless and can be removed. We still keep it as an element of the "extended idmap" thing. Signed-off-by: Marc Zyngier <marc.zyngier@arm.com> Signed-off-by: Christoffer Dall <christoffer.dall@linaro.org>