Searched refs:reg_set_srange64 (Results 1 – 2 of 2) sorted by relevance
| /linux/include/linux/ |
| H A D | bpf_verifier.h | 220 static inline void reg_set_srange64(struct bpf_reg_state *reg, s64 smin, s64 smax) in reg_set_srange64() function
|
| /linux/kernel/bpf/ |
| H A D | verifier.c | 2228 reg_set_srange64(reg, in __mark_reg_s32_range()
5680 reg_set_srange64(reg, S8_MIN, S8_MAX); in set_sext64_default_val()
5683 reg_set_srange64(reg, S16_MIN, S16_MAX); in set_sext64_default_val()
5687 reg_set_srange64(reg, S32_MIN, S32_MAX); in set_sext64_default_val()
5738 reg_set_srange64(reg, s64_min, s64_max); in coerce_reg_to_size_sx()
10473 reg_set_srange64(ret_reg, -MAX_ERRNO, meta->msize_max_value); in do_refine_retval_range()
10501 reg_set_srange64(ret_reg, range.minval, range.maxval); in do_refine_retval_range()
15035 reg_set_srange64(dst_reg, smin, smax); in scalar32_min_max_umod()
15145 reg_set_srange64(dst_reg, 0, min(reg_smax(dst_reg), res_max_abs)); in scalar_min_max_smod()
15147 reg_set_srange64(dst_re in scalar_min_max_smod()
[all...] |