Symbol: fbsdrun_deletecpu
usr/src/cmd/bhyve/amd64/vmexit.c
535
fbsdrun_deletecpu(vcpuid);
usr/src/cmd/bhyve/common/bhyverun.h
61
void fbsdrun_deletecpu(int vcpuid);