Searched refs:nmi_pending (Results 1 – 1 of 1) sorted by relevance
112 int nmi_pending; /* (i) NMI pending */ member329 vcpu->nmi_pending = 0; in vcpu_init()2148 vcpu->nmi_pending = 1; in vm_inject_nmi()2163 return (vcpu->nmi_pending); in vm_nmi_pending()2176 if (vcpu->nmi_pending == 0) in vm_nmi_clear()2179 vcpu->nmi_pending = 0; in vm_nmi_clear()