Searched refs:exclaves_scheduler_request_range_end (Results 1 – 1 of 1) sorted by relevance
2615 uintptr_t exclaves_scheduler_request_range_end; variable2629 exclaves_scheduler_request_range_end = VM_KERNEL_UNSLIDE(&exclaves_scheduler_request_end_label); in initialize_exclaves_ranges()2630 assert3u(exclaves_scheduler_request_range_end, !=, 0); in initialize_exclaves_ranges()2653 …laves_in_range(addr, exclaves_scheduler_request_range_start, exclaves_scheduler_request_range_end); in exclaves_scheduler_request_in_range()