Symbol: vm_resetcpu
sys/dev/vmm/vmm.c
254
ret = vm_resetcpu((struct vm_resetcpu_params *)data);
sys/dev/vmm/vmm.h
261
int vm_resetcpu(struct vm_resetcpu_params *);