Searched refs:intel_startCPU_fast (Results 1 – 3 of 3) sorted by relevance
133 ret = intel_startCPU_fast(cpu); in cpu_start()
85 extern kern_return_t intel_startCPU_fast(int slot_num);
281 intel_startCPU_fast(int slot_num) in intel_startCPU_fast() function