diff options
| author | Christoffer Dall <[email protected]> | 2016-12-23 00:04:59 +0100 |
|---|---|---|
| committer | Christoffer Dall <[email protected]> | 2017-04-09 07:45:31 -0700 |
| commit | 00dafa0fcfe9fb1d863f08dc45d6f05ac9505d46 (patch) | |
| tree | e39a89e27af52f1bd04ca869ef8cd1b9c28ed262 /tools/perf/scripts/python | |
| parent | f6769581e90ba2535b3e587fe15b74f6cbc4aaab (diff) | |
KVM: arm/arm64: vgic: Get rid of live_lrs
There is no need to calculate and maintain live_lrs when we always
populate the lowest numbered LRs first on every entry and clear all LRs
on every exit.
Acked-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