Searched refs:idtvec_info (Results 1 – 1 of 1) sorted by relevance
2196 uint32_t idtvec_info, intr_info; in vmx_exit_process() local2232 idtvec_info = vmcs_read(VMCS_IDT_VECTORING_INFO); in vmx_exit_process()2233 if (idtvec_info & VMCS_IDT_VEC_VALID) { in vmx_exit_process()2235 if (idtvec_info & VMCS_IDT_VEC_ERRCODE_VALID) { in vmx_exit_process()2241 vmx_idtvec_to_intinfo(idtvec_info, errcode))); in vmx_exit_process()2254 intr_type = idtvec_info & VMCS_INTR_T_MASK; in vmx_exit_process()2299 KASSERT(idtvec_info & VMCS_IDT_VEC_VALID, in vmx_exit_process()2301 idtvec_info)); in vmx_exit_process()2302 intr_type = idtvec_info & VMCS_INTR_T_MASK; in vmx_exit_process()2309 if (idtvec_info & VMCS_IDT_VEC_ERRCODE_VALID) { in vmx_exit_process()[all …]