Symbol: vm_set_intinfo
lib/libvmmapi/vmmapi.h
218
int vm_set_intinfo(struct vcpu *vcpu, uint64_t exit_intinfo);
usr.sbin/bhyve/amd64/task_switch.c
932
error = vm_set_intinfo(vcpu, 0);