Searched refs:external_nmi (Results 1 – 6 of 6) sorted by relevance
88 k->external_nmi = xen_apic_external_nmi; in xen_apic_class_init()
145 void (*external_nmi)(APICCommonState *s); member
256 k->external_nmi = kvm_apic_external_nmi; in kvm_apic_class_init()
266 k->external_nmi = whpx_apic_external_nmi; in whpx_apic_class_init()
141 info->external_nmi(s); in apic_deliver_nmi()
1190 k->external_nmi = apic_external_nmi; in apic_class_init()