Searched refs:exclaves_scheduler_request_boot (Results 1 – 1 of 1) sorted by relevance
148 exclaves_scheduler_request_boot(void);2179 kern_return_t kr = exclaves_scheduler_request_boot(); in exclaves_scheduler_boot()2245 exclaves_scheduler_request_boot(void) in exclaves_scheduler_request_boot() function