Searched refs:guest_enabled_event (Results 1 – 3 of 3) sorted by relevance
10 && guest_enabled_event(hardware_domain->vcpu[0], VIRQ_MCA))
81 int guest_enabled_event(struct vcpu *v, uint32_t virq);
730 int guest_enabled_event(struct vcpu *v, uint32_t virq) in guest_enabled_event() function
Completed in 7 milliseconds