Searched refs:intinfo (Results 1 – 1 of 1) sorted by relevance
508 uint32_t intinfo, int_err_code = 0U; in exception_vmexit_handler() local517 intinfo = exec_vmread32(VMX_EXIT_INT_INFO); in exception_vmexit_handler()518 if ((intinfo & VMX_INT_INFO_VALID) != 0U) { in exception_vmexit_handler()519 exception_vector = intinfo & 0xFFU; in exception_vmexit_handler()524 if ((intinfo & VMX_INT_INFO_ERR_CODE_VALID) != 0U) { in exception_vmexit_handler()
Completed in 4 milliseconds