Searched refs:exclaves_scheduler_request_range_end (Results 1 – 1 of 1) sorted by relevance
2710 uintptr_t exclaves_scheduler_request_range_end; variable2724 exclaves_scheduler_request_range_end = VM_KERNEL_UNSLIDE(&exclaves_scheduler_request_end_label); in initialize_exclaves_ranges()2725 assert3u(exclaves_scheduler_request_range_end, !=, 0); in initialize_exclaves_ranges()2748 …laves_in_range(addr, exclaves_scheduler_request_range_start, exclaves_scheduler_request_range_end); in exclaves_scheduler_request_in_range()