spinup_ap
} spinup_ap;
vme->u.spinup_ap.vcpu = CPU_FFS(dmask) - 1;
vme->u.spinup_ap.rip = vec << PAGE_SHIFT;
void spinup_ap(struct vcpu *newcpu, uint64_t rip);
spinup_ap(fbsdrun_vcpu(i),