Lines Matching defs:gi
1438 uint32_t gi __diagused, info;
1440 gi = vmcs_read(VMCS_GUEST_INTERRUPTIBILITY);
1441 KASSERT((gi & NMI_BLOCKING) == 0, ("vmx_inject_nmi: invalid guest "
1442 "interruptibility-state %#x", gi));
1467 uint32_t gi, info;
1474 gi = vmcs_read(VMCS_GUEST_INTERRUPTIBILITY);
1475 if (gi & HWINTR_BLOCKING) {
1479 gi &= ~HWINTR_BLOCKING;
1480 vmcs_write(VMCS_GUEST_INTERRUPTIBILITY, gi);
1522 gi = vmcs_read(VMCS_GUEST_INTERRUPTIBILITY);
1523 if ((gi & (HWINTR_BLOCKING | NMI_BLOCKING)) == 0) {
1534 "Guest Interruptibility-state %#x", gi);
1594 gi = vmcs_read(VMCS_GUEST_INTERRUPTIBILITY);
1595 if (gi & HWINTR_BLOCKING) {
1597 "Guest Interruptibility-state %#x", vector, gi);
1665 uint32_t gi;
1668 gi = vmcs_read(VMCS_GUEST_INTERRUPTIBILITY);
1669 gi |= VMCS_INTERRUPTIBILITY_NMI_BLOCKING;
1670 vmcs_write(VMCS_GUEST_INTERRUPTIBILITY, gi);
1676 uint32_t gi;
1679 gi = vmcs_read(VMCS_GUEST_INTERRUPTIBILITY);
1680 gi &= ~VMCS_INTERRUPTIBILITY_NMI_BLOCKING;
1681 vmcs_write(VMCS_GUEST_INTERRUPTIBILITY, gi);
1687 uint32_t gi __diagused;
1689 gi = vmcs_read(VMCS_GUEST_INTERRUPTIBILITY);
1690 KASSERT(gi & VMCS_INTERRUPTIBILITY_NMI_BLOCKING,
1691 ("NMI blocking is not in effect %#x", gi));
3346 uint64_t gi;
3350 VMCS_IDENT(VMCS_GUEST_INTERRUPTIBILITY), &gi);
3351 *retval = (gi & HWINTR_BLOCKING) ? 1 : 0;
3359 uint64_t gi;
3372 error = vmcs_getreg(vmcs, running, ident, &gi);
3374 gi &= ~HWINTR_BLOCKING;
3375 error = vmcs_setreg(vmcs, running, ident, gi);