Searched refs:top_smax_value (Results 1 – 1 of 1) sorted by relevance
6186 u64 top_smax_value, top_smin_value; in check_ptr_to_map_access() 6213 top_smax_value = ((u64)reg_smax(reg) >> num_bits) << num_bits; in check_ptr_to_map_access() 6216 if (top_smax_value != top_smin_value) in check_ptr_to_map_access() 6259 u32 top_smax_value, top_smin_value; in check_stack_access_within_bounds() 6284 top_smax_value = ((u32)reg_s32_max(reg) >> num_bits) << num_bits; in check_stack_access_within_bounds() 6287 if (top_smax_value != top_smin_value) in check_stack_access_within_bounds() 5696 u64 top_smax_value, top_smin_value; coerce_reg_to_size_sx() local 5761 u32 top_smax_value, top_smin_value; coerce_subreg_to_size_sx() local