967 static inline bool is_page_fault(u32 intr_info)  in is_page_fault()  argument
969 	return (intr_info & (INTR_INFO_INTR_TYPE_MASK | INTR_INFO_VECTOR_MASK |  in is_page_fault()
974 static inline bool is_no_device(u32 intr_info)  in is_no_device()  argument
976 	return (intr_info & (INTR_INFO_INTR_TYPE_MASK | INTR_INFO_VECTOR_MASK |  in is_no_device()
981 static inline bool is_invalid_opcode(u32 intr_info)  in is_invalid_opcode()  argument
983 	return (intr_info & (INTR_INFO_INTR_TYPE_MASK | INTR_INFO_VECTOR_MASK |  in is_invalid_opcode()
988 static inline bool is_external_interrupt(u32 intr_info)  in is_external_interrupt()  argument
990 	return (intr_info & (INTR_INFO_INTR_TYPE_MASK | INTR_INFO_VALID_MASK))  in is_external_interrupt()
994 static inline bool is_machine_check(u32 intr_info)  in is_machine_check()  argument
996 	return (intr_info & (INTR_INFO_INTR_TYPE_MASK | INTR_INFO_VECTOR_MASK |  in is_machine_check()
1249 static inline bool is_exception(u32 intr_info)  in is_exception()  argument
1251 	return (intr_info & (INTR_INFO_INTR_TYPE_MASK | INTR_INFO_VALID_MASK))  in is_exception()
2277 	u32 intr_info = nr | INTR_INFO_VALID_MASK;  in vmx_queue_exception()  local
2285 		intr_info |= INTR_INFO_DELIVER_CODE_MASK;  in vmx_queue_exception()
2300 		intr_info |= INTR_TYPE_SOFT_EXCEPTION;  in vmx_queue_exception()
2302 		intr_info |= INTR_TYPE_HARD_EXCEPTION;  in vmx_queue_exception()
2304 	vmcs_write32(VM_ENTRY_INTR_INFO_FIELD, intr_info);  in vmx_queue_exception()
5225 	u32 intr_info, ex_no, error_code;  in handle_exception()  local
5231 	intr_info = vmx->exit_intr_info;  in handle_exception()
5233 	if (is_machine_check(intr_info))  in handle_exception()
5236 	if ((intr_info & INTR_INFO_INTR_TYPE_MASK) == INTR_TYPE_NMI_INTR)  in handle_exception()
5239 	if (is_no_device(intr_info)) {  in handle_exception()
5244 	if (is_invalid_opcode(intr_info)) {  in handle_exception()
5256 	if (intr_info & INTR_INFO_DELIVER_CODE_MASK)  in handle_exception()
5265 	    !(is_page_fault(intr_info) && !(error_code & PFERR_RSVD_MASK))) {  in handle_exception()
5270 		vcpu->run->internal.data[1] = intr_info;  in handle_exception()
5275 	if (is_page_fault(intr_info)) {  in handle_exception()
5286 	ex_no = intr_info & INTR_INFO_VECTOR_MASK;  in handle_exception()
7702 	u32 intr_info = vmcs_read32(VM_EXIT_INTR_INFO);  in nested_vmx_exit_handled()  local
7710 				intr_info,  in nested_vmx_exit_handled()
7725 		if (!is_exception(intr_info))  in nested_vmx_exit_handled()
7727 		else if (is_page_fault(intr_info))  in nested_vmx_exit_handled()
7729 		else if (is_no_device(intr_info) &&  in nested_vmx_exit_handled()
7733 				(1u << (intr_info & INTR_INFO_VECTOR_MASK));  in nested_vmx_exit_handled()