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 | 2043 tnum_next = tnum_step(reg->var_off, reg_umin(reg)); in __update_reg64_bounds()
2044 umin_in_tnum = (reg_umin(reg) & ~reg->var_off.mask) == reg->var_off.value; in __update_reg64_bounds()
2051 ___mark_reg_known(reg, reg_umin(reg)); in __update_reg64_bounds()
2096 tnum_range(reg_umin(reg), in __reg_bound_offset()
5616 if ((reg_umin(reg) & ~mask) == (reg_umax(reg) & ~mask)) in coerce_reg_to_size()
5617 reg_set_urange64(reg, reg_umin(reg) & mask, reg_umax(reg) & mask); in coerce_reg_to_size()
7093 if (reg_umin(size_reg) == 0 && !zero_size_allowed) { in check_mem_size_reg()
7095 reg_arg_name(env, size_argno), reg_umin(size_reg), reg_umax(size_reg)); in check_mem_size_reg()
14445 u64 umin_val = reg_umin(off_reg), umax_val = reg_umax(off_reg); in adjust_ptr_min_max_vals()
14764 u64 umin = reg_umin(dst_reg); in scalar_min_max_mul()
[all …]
|
| /linux/include/linux/ |
| H A D | bpf_verifier.h | 179 static inline u64 reg_umin(const struct bpf_reg_state *reg) in reg_umin() function
|