Searched refs:nmi_pending (Results 1 - 1 of 1) sorted by relevance

/freebsd-10-stable/sys/amd64/vmm/
H A Dvmm.c103 int nmi_pending; /* (i) NMI pending */ member in struct:vcpu
291 vcpu->nmi_pending = 0;
2041 vcpu->nmi_pending = 1;
2056 return (vcpu->nmi_pending);
2069 if (vcpu->nmi_pending == 0)
2070 panic("vm_nmi_clear: inconsistent nmi_pending state");
2072 vcpu->nmi_pending = 0;

Completed in 163 milliseconds