1764 nested_fault(struct vcpu *vcpu, uint64_t info1, uint64_t info2,  in nested_fault()  argument
1770 	KASSERT(info1 & VM_INTINFO_VALID, ("info1 %#lx is not valid", info1));  in nested_fault()
1777 	type1 = info1 & VM_INTINFO_TYPE;  in nested_fault()
1778 	vector1 = info1 & 0xff;  in nested_fault()
1781 		    info1, info2);  in nested_fault()
1790 	exc1 = exception_class(info1);  in nested_fault()
1824 	uint64_t info1, info2;  in vm_entry_intinfo()  local
1827 	info1 = vcpu->exitintinfo;  in vm_entry_intinfo()
1838 	if ((info1 & VM_INTINFO_VALID) && (info2 & VM_INTINFO_VALID)) {  in vm_entry_intinfo()
1839 		valid = nested_fault(vcpu, info1, info2, retinfo);  in vm_entry_intinfo()
1840 	} else if (info1 & VM_INTINFO_VALID) {  in vm_entry_intinfo()
1841 		*retinfo = info1;  in vm_entry_intinfo()
1852 		    "retinfo(%#lx)", __func__, info1, info2, *retinfo);  in vm_entry_intinfo()
1859 vm_get_intinfo(struct vcpu *vcpu, uint64_t *info1, uint64_t *info2)  in vm_get_intinfo()  argument
1861 	*info1 = vcpu->exitintinfo;  in vm_get_intinfo()