Lines Matching defs:gi
1429 uint32_t gi __diagused, info;
1431 gi = vmcs_read(VMCS_GUEST_INTERRUPTIBILITY);
1432 KASSERT((gi & NMI_BLOCKING) == 0, ("vmx_inject_nmi: invalid guest "
1433 "interruptibility-state %#x", gi));
1458 uint32_t gi, info;
1465 gi = vmcs_read(VMCS_GUEST_INTERRUPTIBILITY);
1466 if (gi & HWINTR_BLOCKING) {
1470 gi &= ~HWINTR_BLOCKING;
1471 vmcs_write(VMCS_GUEST_INTERRUPTIBILITY, gi);
1513 gi = vmcs_read(VMCS_GUEST_INTERRUPTIBILITY);
1514 if ((gi & (HWINTR_BLOCKING | NMI_BLOCKING)) == 0) {
1525 "Guest Interruptibility-state %#x", gi);
1585 gi = vmcs_read(VMCS_GUEST_INTERRUPTIBILITY);
1586 if (gi & HWINTR_BLOCKING) {
1588 "Guest Interruptibility-state %#x", vector, gi);
1656 uint32_t gi;
1659 gi = vmcs_read(VMCS_GUEST_INTERRUPTIBILITY);
1660 gi |= VMCS_INTERRUPTIBILITY_NMI_BLOCKING;
1661 vmcs_write(VMCS_GUEST_INTERRUPTIBILITY, gi);
1667 uint32_t gi;
1670 gi = vmcs_read(VMCS_GUEST_INTERRUPTIBILITY);
1671 gi &= ~VMCS_INTERRUPTIBILITY_NMI_BLOCKING;
1672 vmcs_write(VMCS_GUEST_INTERRUPTIBILITY, gi);
1678 uint32_t gi __diagused;
1680 gi = vmcs_read(VMCS_GUEST_INTERRUPTIBILITY);
1681 KASSERT(gi & VMCS_INTERRUPTIBILITY_NMI_BLOCKING,
1682 ("NMI blocking is not in effect %#x", gi));
3337 uint64_t gi;
3341 VMCS_IDENT(VMCS_GUEST_INTERRUPTIBILITY), &gi);
3342 *retval = (gi & HWINTR_BLOCKING) ? 1 : 0;
3350 uint64_t gi;
3363 error = vmcs_getreg(vmcs, running, ident, &gi);
3365 gi &= ~HWINTR_BLOCKING;
3366 error = vmcs_setreg(vmcs, running, ident, gi);