bhyve_start_vcpu
bhyve_start_vcpu(vcpu_info[vcpuid].vcpu, vcpuid == BSP,
void bhyve_start_vcpu(struct vcpu *vcpu, bool bsp, bool suspend);