Searched refs:exclaves_scheduler_boot (Results 1 – 1 of 1) sorted by relevance
146 exclaves_scheduler_boot(void);1376 kr = exclaves_scheduler_boot(); in exclaves_scheduler_init()2028 exclaves_scheduler_boot(void) in exclaves_scheduler_boot() function