Lines Matching refs:int_ctl
140 if (g->int_ctl & V_INTR_MASKING_MASK) {
269 if (CC((control->int_ctl & V_NMI_ENABLE_MASK) &&
343 to->int_ctl = from->int_ctl;
412 /* Only a few fields of int_ctl are written by the processor. */
417 * has usurped vmcb02's int_ctl. If an interrupt window opens before
418 * the next VM-Exit, svm_clear_vintr() will restore vmcb12's int_ctl.
420 * int_ctl (because it was never recognized while L2 was running).
432 svm->nested.ctl.int_ctl &= ~mask;
433 svm->nested.ctl.int_ctl |= svm->vmcb->control.int_ctl & mask;
649 (svm->nested.ctl.int_ctl & V_GIF_ENABLE_MASK))
655 if (vmcb01->control.int_ctl & V_NMI_PENDING_MASK) {
690 vmcb02->control.int_ctl =
691 (svm->nested.ctl.int_ctl & int_ctl_vmcb12_bits) |
692 (vmcb01->control.int_ctl & int_ctl_vmcb01_bits);
792 vmcb12->control.int_ctl,
1026 vmcb12->control.int_ctl = svm->nested.ctl.int_ctl;
1041 * Rules for synchronizing int_ctl bits from vmcb02 to vmcb01:
1072 if (vmcb02->control.int_ctl & V_NMI_BLOCKING_MASK)
1073 vmcb01->control.int_ctl |= V_NMI_BLOCKING_MASK;
1075 vmcb01->control.int_ctl &= ~V_NMI_BLOCKING_MASK;
1079 vmcb01->control.int_ctl |= V_NMI_PENDING_MASK;
1081 vmcb01->control.int_ctl &= ~V_NMI_PENDING_MASK;
1556 dst->int_ctl = from->int_ctl;