Symbol: vcpu_unhalt
usr.sbin/vmd/vmd.h
552
void vcpu_unhalt(uint32_t);
usr.sbin/vmd/x86_vm.c
899
vcpu_unhalt(vcpu_id);