Searched refs:upcall_range_start (Results 1 – 1 of 1) sorted by relevance
2807 uintptr_t upcall_range_start = 0; in exclaves_stack_offset() local2813 upcall_range_start = (uintptr_t)&exclaves_upcall_start_label; in exclaves_stack_offset()2818 upcall_range_start = exclaves_upcall_range_start; in exclaves_stack_offset()2824 && !((upcall_range_start < out_addr[i]) && (out_addr[i] <= upcall_range_end)) in exclaves_stack_offset()