Searched refs:reg_u32_min (Results 1 – 3 of 3) sorted by relevance
| /linux/kernel/bpf/ |
| H A D | log.c | 586 {"umin32", reg_u32_min(reg), reg_u32_min(reg) == 0}, in print_scalar_ranges()
|
| H A D | verifier.c | 2110 tnum_range(reg_u32_min(reg), in __reg_bound_offset()
5647 reg_set_urange64(reg, reg_u32_min(reg), reg_u32_max(reg)); in zext_32_to_64()
14887 u32 umin = reg_u32_min(dst_reg); in scalar32_min_max_mul()
14892 check_mul_overflow(umin, reg_u32_min(src_reg), &umin)) { in scalar32_min_max_mul()
14947 u32 src_val = reg_u32_min(src_reg); /* non-zero, const divisor */
14949 reg_set_urange32(dst_reg, reg_u32_min(dst_reg) / src_val, in scalar_min_max_udiv()
15043 u32 src_val = reg_u32_min(src_reg); /* non-zero, const divisor */ in scalar32_min_max_umod()
15206 u32 umin_val = reg_u32_min(src_reg); in scalar32_min_max_or()
15217 max(reg_u32_min(dst_reg), umin_val), in scalar_min_max_or()
15288 reg_set_urange32(dst_reg, reg_u32_min(dst_re in scalar32_min_max_lsh()
[all...] |
| /linux/include/linux/ |
| H A D | bpf_verifier.h | 200 static inline u32 reg_u32_min(const struct bpf_reg_state *reg) in reg_u32_min() function
|