diff options
| author | Marc Zyngier <[email protected]> | 2016-06-30 18:40:46 +0100 |
|---|---|---|
| committer | Christoffer Dall <[email protected]> | 2016-07-03 23:41:27 +0200 |
| commit | 26781f9ce16801a9c680dae1a7c1ca2fd3d112bd (patch) | |
| tree | 1a2cde1e17110ea2be33b1221ca63dded101bccf /tools/perf/scripts/python | |
| parent | 12fda8123d74903d1f65fb006fe4964e23ede0d1 (diff) | |
arm/arm64: KVM: Kill free_boot_hyp_pgd
There is no way to free the boot PGD, because it doesn't exist
anymore as a standalone entity.
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