Home
last modified time | relevance | path

Searched refs:guest_enabled_event (Results 1 – 3 of 3) sorted by relevance

/xen-4.10.0-shim-comet/xen/arch/x86/cpu/mcheck/
A Dvmce.h10 && guest_enabled_event(hardware_domain->vcpu[0], VIRQ_MCA))
/xen-4.10.0-shim-comet/xen/include/xen/
A Devent.h81 int guest_enabled_event(struct vcpu *v, uint32_t virq);
/xen-4.10.0-shim-comet/xen/common/
A Devent_channel.c730 int guest_enabled_event(struct vcpu *v, uint32_t virq) in guest_enabled_event() function

Completed in 6 milliseconds