Searched refs:psm_cpu_start (Results 1 – 2 of 2) sorted by relevance
148 int (*psm_cpu_start)(processorid_t cpun, caddr_t ctxt); member150 void (*psm_cpu_start)(processorid_t cpun, caddr_t rm_code); member289 void (*psm_cpu_start)(processorid_t cpun, caddr_t rm_code); member
1138 if (pops->psm_cpu_start == NULL) in mach_smpinit()1508 return ((*pops->psm_cpu_start)(id, ctx)); in mach_cpu_start()1520 return ((*pops->psm_cpu_start)(id, ctx)); in mach_cpuid_start()