vm_exit_intinfo
VERIFY0(vm_exit_intinfo(svm_sc->vm, vcpu, intinfo));
VERIFY0(vm_exit_intinfo(vmx->vm, vcpu,
VERIFY0(vm_exit_intinfo(vmx->vm, vcpu,
int vm_exit_intinfo(struct vm *vm, int vcpuid, uint64_t intinfo);
if (vm_exit_intinfo(vm, vcpuid, val) != 0) {
error = vm_exit_intinfo(sc->vmm_vm, vcpu, vmii.info1);