Symbol: vm_set_intinfo
usr/src/cmd/bhyve/amd64/task_switch.c
1085
error = vm_set_intinfo(vcpu, 0);
usr/src/lib/libvmmapi/common/vmmapi.h
283
int vm_set_intinfo(struct vcpu *vcpu, uint64_t exit_intinfo);