diff options
| author |   Marc Zyngier <marc.zyngier@arm.com> | 2016-06-30 18:40:46 +0100 |
|---|---|---|
| committer |   Christoffer Dall <christoffer.dall@linaro.org> | 2016-07-03 23:41:27 +0200 |
| commit | 26781f9ce16801a9c680dae1a7c1ca2fd3d112bd (patch) | |
| tree | 1a2cde1e17110ea2be33b1221ca63dded101bccf /tools/perf/scripts/python/bin | |
| parent | arm/arm64: KVM: Drop boot_pgd (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 <marc.zyngier@arm.com>
Signed-off-by: Christoffer Dall <christoffer.dall@linaro.org>
Diffstat (limited to 'tools/perf/scripts/python/bin')
0 files changed, 0 insertions, 0 deletions