Searched refs:intel_startCPU (Results 1 – 3 of 3) sorted by relevance
139 ret = intel_startCPU(cpu); in cpu_start()
87 extern kern_return_t intel_startCPU(int slot_num);
426 intel_startCPU( in intel_startCPU() function