V_INTR_MASKING_MASK
if (g->int_ctl & V_INTR_MASKING_MASK) {
u32 int_ctl_vmcb01_bits = V_INTR_MASKING_MASK;
control->int_ctl = V_INTR_MASKING_MASK;
if ((svm->nested.ctl.int_ctl & V_INTR_MASKING_MASK)
return is_guest_mode(vcpu) && (svm->nested.ctl.int_ctl & V_INTR_MASKING_MASK);
vmcb->control.int_ctl &= ~V_INTR_MASKING_MASK;