Searched refs:VIRQ_MCA (Results 1 – 6 of 6) sorted by relevance
10 && guest_enabled_event(hardware_domain->vcpu[0], VIRQ_MCA))
57 send_global_virq(VIRQ_MCA); in mce_checkregs()
102 send_global_virq(VIRQ_MCA); in mce_amd_checkregs()
567 send_global_virq(VIRQ_MCA); in cmci_discover()661 send_global_virq(VIRQ_MCA); in cmci_interrupt()
1830 send_global_virq(VIRQ_MCA); in mce_softirq()
96 #define VIRQ_MCA VIRQ_ARCH_0 /* G. (DOM0) Machine Check Architecture */ macro
Completed in 10 milliseconds