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