Symbol: vcpu_signal_run
usr.sbin/vmd/vmd.h
553
void vcpu_signal_run(uint32_t);
usr.sbin/vmd/x86_vm.c
900
vcpu_signal_run(vcpu_id);