Searched refs:reg_umin (Results 1 – 3 of 3) sorted by relevance
| /linux/kernel/bpf/ |
| H A D | log.c | 576 {"umin", reg_umin(reg), reg_umin(reg) == 0}, in print_scalar_ranges()
|
| H A D | verifier.c | 2054 tnum_next = tnum_step(reg->var_off, reg_umin(reg)); in __update_reg64_bounds()
2055 umin_in_tnum = (reg_umin(reg) & ~reg->var_off.mask) == reg->var_off.value; in __update_reg64_bounds()
2062 ___mark_reg_known(reg, reg_umin(reg)); in __update_reg64_bounds()
2107 tnum_range(reg_umin(reg), in __reg_bound_offset()
5662 if ((reg_umin(reg) & ~mask) == (reg_umax(reg) & ~mask)) in coerce_reg_to_size()
5663 reg_set_urange64(reg, reg_umin(reg) & mask, reg_umax(reg) & mask); in coerce_reg_to_size()
7154 if (reg_umin(size_reg) == 0 && !zero_size_allowed) { in check_mem_size_reg()
7156 reg_arg_name(env, size_argno), reg_umin(size_reg), reg_umax(size_reg)); in check_mem_size_reg()
14586 u64 umin_val = reg_umin(off_reg), umax_val = reg_umax(off_reg); in adjust_ptr_min_max_vals()
14918 u64 umin = reg_umin(dst_re in scalar_min_max_mul()
[all...] |
| /linux/include/linux/ |
| H A D | bpf_verifier.h | 180 static inline u64 reg_umin(const struct bpf_reg_state *reg) in reg_umin() function
|