Searched refs:initialize_exclaves_upcall_range (Results 1 – 1 of 1) sorted by relevance
586 initialize_exclaves_upcall_range(void) in initialize_exclaves_upcall_range() function593 STARTUP(EARLY_BOOT, STARTUP_RANK_MIDDLE, initialize_exclaves_upcall_range);