Searched refs:res_max (Results 1 – 1 of 1) sorted by relevance
14249 u32 res_max = src_val - 1; in check_kfunc_call() 14252 * If dst_umax <= res_max, the result remains unchanged. in check_kfunc_call() 14255 if (*dst_umax <= res_max) in check_kfunc_call() 14259 *dst_umax = min(*dst_umax, res_max); in check_kfunc_call() 14273 u64 res_max = src_val - 1; in check_kfunc_call() 14276 * If dst_umax <= res_max, the result remains unchanged. in check_kfunc_call() 14279 if (*dst_umax <= res_max) in check_kfunc_call() 14283 *dst_umax = min(*dst_umax, res_max); in check_kfunc_call() 15400 u32 res_max = src_val - 1; scalar32_min_max_umod() local 15424 u64 res_max = src_val - 1; scalar_min_max_umod() local