Searched refs:exclaves_upcall_range_start (Results 1 – 2 of 2) sorted by relevance
43 extern uintptr_t exclaves_upcall_range_start;
93 uintptr_t exclaves_upcall_range_start; variable978 exclaves_upcall_range_start = VM_KERNEL_UNSLIDE(&exclaves_upcall_start_label); in initialize_exclaves_call_range()979 assert3u(exclaves_upcall_range_start, !=, 0); in initialize_exclaves_call_range()2818 upcall_range_start = exclaves_upcall_range_start; in exclaves_stack_offset()