drivers/net/ethernet/netronome/nfp/bpf/verifier.c

564

meta->umin_src = min(meta->umin_src, reg_umin(sreg));

drivers/net/ethernet/netronome/nfp/bpf/verifier.c

566

meta->umin_dst = min(meta->umin_dst, reg_umin(dreg));

kernel/bpf/log.c

576

{"umin", reg_umin(reg), reg_umin(reg) == 0},

kernel/bpf/verifier.c

13676

u64 umin_val = reg_umin(off_reg), umax_val = reg_umax(off_reg);

kernel/bpf/verifier.c

13924

u64 umin = reg_umin(dst_reg);

kernel/bpf/verifier.c

13929

check_mul_overflow(umin, reg_umin(src_reg), &umin)) {

kernel/bpf/verifier.c

13965

u64 src_val = reg_umin(src_reg); /* non-zero, const divisor */

kernel/bpf/verifier.c

13967

reg_set_urange64(dst_reg, div64_u64(reg_umin(dst_reg), src_val),

kernel/bpf/verifier.c

14068

u64 src_val = reg_umin(src_reg); /* non-zero, const divisor */

kernel/bpf/verifier.c

14232

u64 umin_val = reg_umin(src_reg);

kernel/bpf/verifier.c

14243

max(reg_umin(dst_reg), umin_val),

kernel/bpf/verifier.c

14336

u = cnum64_from_urange(reg_umin(dst_reg) << umin_val,

kernel/bpf/verifier.c

14346

u64 umin_val = reg_umin(src_reg);

kernel/bpf/verifier.c

14391

u64 umin_val = reg_umin(src_reg);

kernel/bpf/verifier.c

14408

reg_set_urange64(dst_reg, reg_umin(dst_reg) >> umax_val,

kernel/bpf/verifier.c

14442

u64 umin_val = reg_umin(src_reg);

kernel/bpf/verifier.c

14523

&& reg_umin(src_reg) == reg_umax(src_reg))

kernel/bpf/verifier.c

14652

if ((alu32 && reg_u32_min(&src_reg) == 0) || (!alu32 && reg_umin(&src_reg) == 0)) {

kernel/bpf/verifier.c

14669

if ((alu32 && reg_u32_min(&src_reg) == 0) || (!alu32 && reg_umin(&src_reg) == 0))

kernel/bpf/verifier.c

15231

u64 umin1 = is_jmp32 ? (u64)reg_u32_min(reg1) : reg_umin(reg1);

kernel/bpf/verifier.c

15235

u64 umin2 = is_jmp32 ? (u64)reg_u32_min(reg2) : reg_umin(reg2);

kernel/bpf/verifier.c

15620

cnum64_intersect_with_urange(&reg2->r64, reg_umin(reg1), U64_MAX);

kernel/bpf/verifier.c

15629

cnum64_intersect_with_urange(&reg2->r64, reg_umin(reg1) + 1, U64_MAX);

kernel/bpf/verifier.c

17149

u64 min_index = reg_umin(reg);

kernel/bpf/verifier.c

17154

verbose(env, "the sum of R%u umin_value %llu is too big\n", regno, reg_umin(reg));

kernel/bpf/verifier.c

2009

tnum_next = tnum_step(reg->var_off, reg_umin(reg));

kernel/bpf/verifier.c

2010

umin_in_tnum = (reg_umin(reg) & ~reg->var_off.mask) == reg->var_off.value;

kernel/bpf/verifier.c

2017

___mark_reg_known(reg, reg_umin(reg));

kernel/bpf/verifier.c

2062

tnum_range(reg_umin(reg),

kernel/bpf/verifier.c

5411

if ((reg_umin(reg) & ~mask) == (reg_umax(reg) & ~mask))

kernel/bpf/verifier.c

5412

reg_set_urange64(reg, reg_umin(reg) & mask, reg_umax(reg) & mask);

kernel/bpf/verifier.c

6864

if (reg_umin(size_reg) == 0 && !zero_size_allowed) {

kernel/bpf/verifier.c

6866

reg_arg_name(env, size_argno), reg_umin(size_reg), reg_umax(size_reg));