Symbol: vcpu_halt
usr.sbin/vmd/vmd.h
546
void vcpu_halt(uint32_t);
usr.sbin/vmd/x86_vm.c
540
vcpu_halt(vrp->vrp_vcpu_id);