Searched refs:vmx_idtvec_to_intinfo (Results 1 – 1 of 1) sorted by relevance
1130 vmx_idtvec_to_intinfo(uint32_t info, uint32_t errcode) in vmx_idtvec_to_intinfo() function1177 vmx_idtvec_to_intinfo(info, errcode))); in vmx_stash_intinfo()2241 vmx_idtvec_to_intinfo(idtvec_info, errcode))); in vmx_exit_process()