Searched refs:external_nmi (Results 1 – 6 of 6) sorted by relevance
87 k->external_nmi = xen_apic_external_nmi; in xen_apic_class_init()
143 void (*external_nmi)(APICCommonState *s); member
255 k->external_nmi = kvm_apic_external_nmi; in kvm_apic_class_init()
265 k->external_nmi = whpx_apic_external_nmi; in whpx_apic_class_init()
129 info->external_nmi(s); in apic_deliver_nmi()
919 k->external_nmi = apic_external_nmi; in apic_class_init()