905 static inline bool is_page_fault(u32 intr_info)  in is_page_fault()  argument
907 	return (intr_info & (INTR_INFO_INTR_TYPE_MASK | INTR_INFO_VECTOR_MASK |  in is_page_fault()
912 static inline bool is_no_device(u32 intr_info)  in is_no_device()  argument
914 	return (intr_info & (INTR_INFO_INTR_TYPE_MASK | INTR_INFO_VECTOR_MASK |  in is_no_device()
919 static inline bool is_invalid_opcode(u32 intr_info)  in is_invalid_opcode()  argument
921 	return (intr_info & (INTR_INFO_INTR_TYPE_MASK | INTR_INFO_VECTOR_MASK |  in is_invalid_opcode()
926 static inline bool is_external_interrupt(u32 intr_info)  in is_external_interrupt()  argument
928 	return (intr_info & (INTR_INFO_INTR_TYPE_MASK | INTR_INFO_VALID_MASK))  in is_external_interrupt()
932 static inline bool is_machine_check(u32 intr_info)  in is_machine_check()  argument
934 	return (intr_info & (INTR_INFO_INTR_TYPE_MASK | INTR_INFO_VECTOR_MASK |  in is_machine_check()
1175 static inline bool is_exception(u32 intr_info)  in is_exception()  argument
1177 	return (intr_info & (INTR_INFO_INTR_TYPE_MASK | INTR_INFO_VALID_MASK))  in is_exception()
2132 	u32 intr_info = nr | INTR_INFO_VALID_MASK;  in vmx_queue_exception()  local
2140 		intr_info |= INTR_INFO_DELIVER_CODE_MASK;  in vmx_queue_exception()
2155 		intr_info |= INTR_TYPE_SOFT_EXCEPTION;  in vmx_queue_exception()
2157 		intr_info |= INTR_TYPE_HARD_EXCEPTION;  in vmx_queue_exception()
2159 	vmcs_write32(VM_ENTRY_INTR_INFO_FIELD, intr_info);  in vmx_queue_exception()
5081 	u32 intr_info, ex_no, error_code;  in handle_exception()  local
5087 	intr_info = vmx->exit_intr_info;  in handle_exception()
5089 	if (is_machine_check(intr_info))  in handle_exception()
5092 	if ((intr_info & INTR_INFO_INTR_TYPE_MASK) == INTR_TYPE_NMI_INTR)  in handle_exception()
5095 	if (is_no_device(intr_info)) {  in handle_exception()
5100 	if (is_invalid_opcode(intr_info)) {  in handle_exception()
5112 	if (intr_info & INTR_INFO_DELIVER_CODE_MASK)  in handle_exception()
5121 	    !(is_page_fault(intr_info) && !(error_code & PFERR_RSVD_MASK))) {  in handle_exception()
5126 		vcpu->run->internal.data[1] = intr_info;  in handle_exception()
5131 	if (is_page_fault(intr_info)) {  in handle_exception()
5142 	ex_no = intr_info & INTR_INFO_VECTOR_MASK;  in handle_exception()
7499 	u32 intr_info = vmcs_read32(VM_EXIT_INTR_INFO);  in nested_vmx_exit_handled()  local
7507 				intr_info,  in nested_vmx_exit_handled()
7522 		if (!is_exception(intr_info))  in nested_vmx_exit_handled()
7524 		else if (is_page_fault(intr_info))  in nested_vmx_exit_handled()
7526 		else if (is_no_device(intr_info) &&  in nested_vmx_exit_handled()
7530 				(1u << (intr_info & INTR_INFO_VECTOR_MASK));  in nested_vmx_exit_handled()