Searched refs:exclaves_upcall_range_end (Results 1 – 2 of 2) sorted by relevance
44 extern uintptr_t exclaves_upcall_range_end;
94 uintptr_t exclaves_upcall_range_end; variable980 exclaves_upcall_range_end = VM_KERNEL_UNSLIDE(&exclaves_upcall_end_label); in initialize_exclaves_call_range()981 assert3u(exclaves_upcall_range_end, !=, 0); in initialize_exclaves_call_range()2819 upcall_range_end = exclaves_upcall_range_end; in exclaves_stack_offset()