1830 nested_fault(struct vm *vm, int vcpuid, uint64_t info1, uint64_t info2,  in nested_fault()  argument
1836 	KASSERT(info1 & VM_INTINFO_VALID, ("info1 %#lx is not valid", info1));  in nested_fault()
1843 	type1 = info1 & VM_INTINFO_TYPE;  in nested_fault()
1844 	vector1 = info1 & 0xff;  in nested_fault()
1847 		    info1, info2);  in nested_fault()
1856 	exc1 = exception_class(info1);  in nested_fault()
1891 	uint64_t info1, info2;  in vm_entry_intinfo()  local
1898 	info1 = vcpu->exitintinfo;  in vm_entry_intinfo()
1909 	if ((info1 & VM_INTINFO_VALID) && (info2 & VM_INTINFO_VALID)) {  in vm_entry_intinfo()
1910 		valid = nested_fault(vm, vcpuid, info1, info2, retinfo);  in vm_entry_intinfo()
1911 	} else if (info1 & VM_INTINFO_VALID) {  in vm_entry_intinfo()
1912 		*retinfo = info1;  in vm_entry_intinfo()
1923 		    "retinfo(%#lx)", __func__, info1, info2, *retinfo);  in vm_entry_intinfo()
1930 vm_get_intinfo(struct vm *vm, int vcpuid, uint64_t *info1, uint64_t *info2)  in vm_get_intinfo()  argument
1938 	*info1 = vcpu->exitintinfo;  in vm_get_intinfo()