V_GIF_MASK
vmsa->vintr_ctrl |= V_GIF_MASK | V_NMI_ENABLE_MASK;
mask |= V_GIF_MASK;
int_ctl_vmcb12_bits |= (V_GIF_MASK | V_GIF_ENABLE_MASK);
int_ctl_vmcb01_bits |= (V_GIF_MASK | V_GIF_ENABLE_MASK);
vmcb->control.int_ctl |= V_GIF_MASK;
vmcb->control.int_ctl &= ~V_GIF_MASK;
return !!(vmcb->control.int_ctl & V_GIF_MASK);