Searched refs:reg_set_urange64 (Results 1 – 2 of 2) sorted by relevance
| /linux/include/linux/ |
| H A D | bpf_verifier.h | 225 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 | 5647 reg_set_urange64(reg, reg_u32_min(reg), reg_u32_max(reg)); in zext_32_to_64()
5663 reg_set_urange64(reg, reg_umin(reg) & mask, reg_umax(reg) & mask); in coerce_reg_to_size()
5665 reg_set_urange64(reg, 0, mask); in coerce_reg_to_size()
10478 reg_set_urange64(ret_reg, 0, nr_cpu_ids - 1); in do_refine_retval_range()
14961 reg_set_urange64(dst_reg, div64_u64(reg_umin(dst_reg), src_val), in scalar32_min_max_sdiv()
15072 reg_set_urange64(dst_reg, 0, min(reg_umax(dst_reg), res_max)); in scalar32_min_max_smod()
15192 reg_set_urange64(dst_reg, in scalar32_min_max_or()
15236 reg_set_urange64(dst_reg, in scalar32_min_max_xor()
15273 reg_set_urange64(dst_reg, in __scalar32_min_max_lsh()
15402 reg_set_urange64(dst_re in scalar_min_max_rsh()
[all...] |