diff options
| author | Marc Zyngier <[email protected]> | 2016-06-30 18:40:45 +0100 |
|---|---|---|
| committer | Christoffer Dall <[email protected]> | 2016-07-03 23:41:27 +0200 |
| commit | 12fda8123d74903d1f65fb006fe4964e23ede0d1 (patch) | |
| tree | 8fd4cb6791a0d9e2ea13db072d96b47b8aefa848 /tools/perf/scripts/python | |
| 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 <[email protected]>
Signed-off-by: Christoffer Dall <[email protected]>
Diffstat (limited to 'tools/perf/scripts/python')
0 files changed, 0 insertions, 0 deletions