Searched refs:sched_processor_start_user (Results 1 – 3 of 3) sorted by relevance
578 extern kern_return_t sched_processor_start_user(processor_t processor);
1094 result = sched_processor_start_user(processor); in processor_start_from_user()
7737 sched_processor_start_user(processor_t processor) in sched_processor_start_user() function