Symbol: VMCS_INTR_T_MASK