diff options
| author | David Woodhouse <dwmw@amazon.co.uk> | 2021-12-10 19:36:23 +0300 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2022-01-07 18:44:45 +0300 |
| commit | 14243b387137a4afbe1df5d9dc15182d6657bb79 (patch) | |
| tree | 0e6603d6e7b8070ad8c53ac514116792f2355591 /include/trace/bpf_probe.h | |
| parent | 1cfc9c4b9d4606a1e90e7dbc50058b9f0c1d43a6 (diff) | |
| download | linux-14243b387137a4afbe1df5d9dc15182d6657bb79.tar.xz | |
KVM: x86/xen: Add KVM_IRQ_ROUTING_XEN_EVTCHN and event channel delivery
This adds basic support for delivering 2 level event channels to a guest.
Initially, it only supports delivery via the IRQ routing table, triggered
by an eventfd. In order to do so, it has a kvm_xen_set_evtchn_fast()
function which will use the pre-mapped shared_info page if it already
exists and is still valid, while the slow path through the irqfd_inject
workqueue will remap the shared_info page if necessary.
It sets the bits in the shared_info page but not the vcpu_info; that is
deferred to __kvm_xen_has_interrupt() which raises the vector to the
appropriate vCPU.
Add a 'verbose' mode to xen_shinfo_test while adding test cases for this.
Signed-off-by: David Woodhouse <dwmw@amazon.co.uk>
Message-Id: <20211210163625.2886-5-dwmw2@infradead.org>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'include/trace/bpf_probe.h')
0 files changed, 0 insertions, 0 deletions