Searched refs:reg_set_urange32 (Results 1 – 2 of 2) sorted by relevance
| /linux/include/linux/ |
| H A D | bpf_verifier.h | 214 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 | 10385 reg_set_urange32(ret_reg, 0, nr_cpu_ids - 1); in do_refine_retval_range()
14795 reg_set_urange32(dst_reg, reg_u32_min(dst_reg) / src_val, in scalar32_min_max_udiv()
14899 reg_set_urange32(dst_reg, 0, min(reg_u32_max(dst_reg), res_max)); in scalar32_min_max_umod()
15018 reg_set_urange32(dst_reg, in scalar32_min_max_and()
15062 reg_set_urange32(dst_reg, in scalar32_min_max_or()
15103 reg_set_urange32(dst_reg, var32_off.value, var32_off.value | var32_off.mask); in scalar32_min_max_xor()
15129 reg_set_urange32(dst_reg, 0, U32_MAX); in __scalar32_min_max_lsh()
15134 reg_set_urange32(dst_reg, reg_u32_min(dst_reg) << umin_val, in __scalar32_min_max_lsh()
15220 reg_set_urange32(dst_reg, reg_u32_min(dst_reg) >> umax_val, in scalar32_min_max_rsh()
|