Searched refs:exclaves_enter_range_start (Results 1 – 2 of 2) sorted by relevance
41 extern uintptr_t exclaves_enter_range_start;
2368 uintptr_t exclaves_enter_range_start; variable2376 exclaves_enter_range_start = VM_KERNEL_UNSLIDE(&exclaves_enter_start_label); in initialize_exclaves_enter_range()2377 assert3u(exclaves_enter_range_start, !=, 0); in initialize_exclaves_enter_range()2391 exclaves_in_range(addr, exclaves_enter_range_start, exclaves_enter_range_end); in exclaves_enter_in_range()