diff options
author | Marc Zyngier <[email protected]> | 2016-12-20 15:09:31 +0000 |
---|---|---|
committer | Marc Zyngier <[email protected]> | 2017-08-31 15:31:36 +0100 |
commit | e643d80340363c9d172abfbe437537196cfc1643 (patch) | |
tree | f49fea3645be16a5a281d4492186d5695744ae13 /tools/perf/scripts/python/export-to-sqlite.py | |
parent | 3ca63f363f3f8fe457482c53d5c86d83bff21e64 (diff) |
irqchip/gic-v3-its: Add VPE scheduling
When a VPE is scheduled to run, the corresponding redistributor must
be told so, by setting VPROPBASER to the VM's property table, and
VPENDBASER to the vcpu's pending table.
When scheduled out, we preserve the IDAI and PendingLast bits. The
latter is specially important, as it tells the hypervisor that
there are pending interrupts for this vcpu.
Reviewed-by: Eric Auger <[email protected]>
Signed-off-by: Marc Zyngier <[email protected]>
Diffstat (limited to 'tools/perf/scripts/python/export-to-sqlite.py')
0 files changed, 0 insertions, 0 deletions