Searched refs:reg_set_urange64 (Results 1 – 2 of 2) sorted by relevance
| /linux/include/linux/ |
| H A D | bpf_verifier.h | 224 static inline void reg_set_urange64(struct bpf_reg_state *reg, u64 umin, u64 umax) in reg_set_urange64() function
|
| /linux/kernel/bpf/ |
| H A D | verifier.c | 5601 reg_set_urange64(reg, reg_u32_min(reg), reg_u32_max(reg)); in zext_32_to_64()
5617 reg_set_urange64(reg, reg_umin(reg) & mask, reg_umax(reg) & mask); in coerce_reg_to_size()
5619 reg_set_urange64(reg, 0, mask); in coerce_reg_to_size()
10384 reg_set_urange64(ret_reg, 0, nr_cpu_ids - 1); in do_refine_retval_range()
14807 reg_set_urange64(dst_reg, div64_u64(reg_umin(dst_reg), src_val), in scalar_min_max_udiv()
14918 reg_set_urange64(dst_reg, 0, min(reg_umax(dst_reg), res_max)); in scalar_min_max_umod()
15038 reg_set_urange64(dst_reg, in scalar_min_max_and()
15082 reg_set_urange64(dst_reg, in scalar_min_max_or()
15119 reg_set_urange64(dst_reg, in scalar_min_max_xor()
15248 reg_set_urange64(dst_reg, reg_umin(dst_reg) >> umax_val, in scalar_min_max_rsh()
|