Searched refs:reg_set_urange32 (Results 1 – 2 of 2) sorted by relevance
| /linux/include/linux/ |
| H A D | bpf_verifier.h | 215 static inline void reg_set_urange32(struct bpf_reg_state *reg, u32 umin, u32 umax) in reg_set_urange32() function
|
| /linux/kernel/bpf/ |
| H A D | verifier.c | 10479 reg_set_urange32(ret_reg, 0, nr_cpu_ids - 1); in do_refine_retval_range()
14949 reg_set_urange32(dst_reg, reg_u32_min(dst_reg) / src_val, in scalar_min_max_udiv()
15053 reg_set_urange32(dst_reg, 0, min(reg_u32_max(dst_reg), res_max)); in scalar_min_max_umod()
15172 reg_set_urange32(dst_reg, in scalar_min_max_and()
15216 reg_set_urange32(dst_reg, in scalar_min_max_or()
15257 reg_set_urange32(dst_reg, var32_off.value, var32_off.value | var32_off.mask); in scalar_min_max_xor()
15283 reg_set_urange32(dst_reg, 0, U32_MAX);
15288 reg_set_urange32(dst_reg, reg_u32_min(dst_reg) << umin_val, in scalar32_min_max_lsh()
15374 reg_set_urange32(dst_reg, reg_u32_min(dst_reg) >> umax_val, in scalar_min_max_rsh()
|