V_GIF_ENABLE_MASK
(svm->nested.ctl.int_ctl & V_GIF_ENABLE_MASK))
int_ctl_vmcb12_bits |= (V_GIF_MASK | V_GIF_ENABLE_MASK);
int_ctl_vmcb01_bits |= (V_GIF_MASK | V_GIF_ENABLE_MASK);
svm->vmcb->control.int_ctl |= V_GIF_ENABLE_MASK;
(svm->nested.ctl.int_ctl & V_GIF_ENABLE_MASK);