Searched refs:VMCS_IDT_VEC_VALID (Results 1 – 2 of 2) sorted by relevance
353 if (idtvec_info & VMCS_IDT_VEC_VALID) { in hvf_store_events()492 !(idtvec_info & VMCS_IDT_VEC_VALID)) { in hvf_vcpu_exec()510 if (((idtvec_info & VMCS_IDT_VEC_VALID) == 0) && in hvf_vcpu_exec()
303 #define VMCS_IDT_VEC_VALID (1U << 31) macro