Searched refs:exclaves_upcall_range_start (Results 1 – 2 of 2) sorted by relevance
47 extern uintptr_t exclaves_upcall_range_start;
646 uintptr_t exclaves_upcall_range_start; variable653 exclaves_upcall_range_start = VM_KERNEL_UNSLIDE(&exclaves_upcall_start_label); in initialize_exclaves_upcall_range()654 assert3u(exclaves_upcall_range_start, !=, 0); in initialize_exclaves_upcall_range()665 exclaves_in_range(addr, exclaves_upcall_range_start, exclaves_upcall_range_end); in exclaves_upcall_in_range()