Searched refs:exclaves_scheduler_init (Results 1 – 1 of 1) sorted by relevance
169 exclaves_scheduler_init(uint64_t boot_info);1053 kr = exclaves_scheduler_init(boot_info); in exclaves_boot_early()1429 exclaves_scheduler_init(uint64_t boot_info) in exclaves_scheduler_init() function