Searched refs:exclaves_enter_range_start (Results 1 – 2 of 2) sorted by relevance
41 extern uintptr_t exclaves_enter_range_start;
89 uintptr_t exclaves_enter_range_start; variable974 exclaves_enter_range_start = VM_KERNEL_UNSLIDE(&exclaves_enter_start_label); in initialize_exclaves_call_range()975 assert3u(exclaves_enter_range_start, !=, 0); in initialize_exclaves_call_range()2816 enter_range_start = exclaves_enter_range_start; in exclaves_stack_offset()