BSP
static const int BSP = 0;
if (vcpu != BSP) {
bsp = vm_vcpu_open(ctx, BSP);
if (vcpuid == BSP)
bhyve_start_vcpu(vcpu_info[vcpuid].vcpu, vcpuid == BSP);
assert(vcpuid == BSP);
assert(vcpuid == BSP);
vcpu = vm_vcpu_open(ctx, BSP);