Searched refs:exclaves_scheduler_request_range_start (Results 1 – 1 of 1) sorted by relevance
2557 uintptr_t exclaves_scheduler_request_range_start; variable2570 …exclaves_scheduler_request_range_start = VM_KERNEL_UNSLIDE(&exclaves_scheduler_request_start_label… in initialize_exclaves_ranges()2571 assert3u(exclaves_scheduler_request_range_start, !=, 0); in initialize_exclaves_ranges()2596 …exclaves_in_range(addr, exclaves_scheduler_request_range_start, exclaves_scheduler_request_range_e… in exclaves_scheduler_request_in_range()