Searched refs:psm_cpu_start (Results 1 – 2 of 2) sorted by relevance
149 int (*psm_cpu_start)(processorid_t cpun, caddr_t ctxt); member151 void (*psm_cpu_start)(processorid_t cpun, caddr_t rm_code); member294 void (*psm_cpu_start)(processorid_t cpun, caddr_t rm_code); member
1157 if (pops->psm_cpu_start == NULL) in mach_smpinit()1482 return ((*pops->psm_cpu_start)(id, ctx)); in mach_cpu_start()1494 return ((*pops->psm_cpu_start)(id, ctx)); in mach_cpuid_start()