Searched refs:int_err_code (Results 1 – 1 of 1) sorted by relevance
508 uint32_t intinfo, int_err_code = 0U; in exception_vmexit_handler() local525 int_err_code = exec_vmread32(VMX_EXIT_INT_ERROR_CODE); in exception_vmexit_handler()532 int_err_code &= ~4U; in exception_vmexit_handler()534 int_err_code |= 4U; in exception_vmexit_handler()542 status = vcpu_queue_exception(vcpu, exception_vector, int_err_code); in exception_vmexit_handler()552 exception_vector, int_err_code, 2U, 0U); in exception_vmexit_handler()
Completed in 3 milliseconds