Searched refs:VMCS_INTR_T_MASK (Results 1 – 18 of 18) sorted by relevance
290 #define VMCS_INTR_T_MASK 0x700 /* Interruption-info type */ macro
933 & VMCS_INTR_T_MASK); in hvf_vcpu_exec()
842 & VMCS_INTR_T_MASK); in hvf_vcpu_exec()
911 & VMCS_INTR_T_MASK); in hvf_vcpu_exec()
648 & VMCS_INTR_T_MASK); in hvf_vcpu_exec()
940 & VMCS_INTR_T_MASK); in hvf_vcpu_exec()