Searched refs:nmi_pending (Results 1 – 1 of 1) sorted by relevance
113 int nmi_pending; /* (i) NMI pending */ member394 vcpu->nmi_pending = 0; in vcpu_init()2333 vcpu->nmi_pending = 1; in vm_inject_nmi()2341 return (vcpu->nmi_pending); in vm_nmi_pending()2347 if (vcpu->nmi_pending == 0) in vm_nmi_clear()2350 vcpu->nmi_pending = 0; in vm_nmi_clear()