Searched refs:upcall_range_end (Results 1 – 1 of 1) sorted by relevance
2808 uintptr_t upcall_range_end = 0; in exclaves_stack_offset() local2814 upcall_range_end = (uintptr_t)&exclaves_upcall_end_label; in exclaves_stack_offset()2819 upcall_range_end = exclaves_upcall_range_end; in exclaves_stack_offset()2824 && !((upcall_range_start < out_addr[i]) && (out_addr[i] <= upcall_range_end)) in exclaves_stack_offset()