Symbol: vcpu_reset
usr.sbin/vmd/vm.c
647
if (vcpu_reset(vm->vm_vmmid, i, vrs)) {
usr.sbin/vmd/vmd.h
528
int vcpu_reset(uint32_t, uint32_t, struct vcpu_reg_state *);