Searched refs:enter_range_start (Results 1 – 1 of 1) sorted by relevance
2805 uintptr_t enter_range_start = 0; in exclaves_stack_offset() local2811 enter_range_start = (uintptr_t)&exclaves_enter_start_label; in exclaves_stack_offset()2816 enter_range_start = exclaves_enter_range_start; in exclaves_stack_offset()2823 !((enter_range_start < out_addr[i]) && (out_addr[i] <= enter_range_end)) in exclaves_stack_offset()