Searched refs:exclaves_scheduler_request_range_end (Results 1 – 1 of 1) sorted by relevance
2713 uintptr_t exclaves_scheduler_request_range_end; variable2727 exclaves_scheduler_request_range_end = VM_KERNEL_UNSLIDE(&exclaves_scheduler_request_end_label); in initialize_exclaves_ranges()2728 assert3u(exclaves_scheduler_request_range_end, !=, 0); in initialize_exclaves_ranges()2751 …laves_in_range(addr, exclaves_scheduler_request_range_start, exclaves_scheduler_request_range_end); in exclaves_scheduler_request_in_range()