Home
last modified time | relevance | path

Searched refs:res_max_abs (Results 1 – 1 of 1) sorted by relevance

/linux/kernel/bpf/
H A Dverifier.c14310 s32 res_max_abs = src_abs - 1; in check_kfunc_call()
14316 if (*dst_smin >= -res_max_abs && *dst_smax <= res_max_abs) in check_kfunc_call()
14322 *dst_smax = min(*dst_smax, res_max_abs); in check_kfunc_call()
14325 *dst_smin = max(*dst_smin, -res_max_abs); in check_kfunc_call()
14327 *dst_smin = -res_max_abs; in check_kfunc_call()
14328 *dst_smax = res_max_abs; in check_kfunc_call()
14356 s64 res_max_abs = src_abs - 1; in check_kfunc_call()
14362 if (*dst_smin >= -res_max_abs && *dst_smax <= res_max_abs) in check_kfunc_call()
15461 s32 res_max_abs = src_abs - 1; scalar32_min_max_smod() local
15507 s64 res_max_abs = src_abs - 1; scalar_min_max_smod() local
[all...]