bhyve_init_vcpu
bhyve_init_vcpu(vcpu);
bhyve_init_vcpu(bsp);
void bhyve_init_vcpu(struct vcpu *vcpu);