kernel/bpf/log.c

586

{"umin32", reg_u32_min(reg), reg_u32_min(reg) == 0},

kernel/bpf/verifier.c

13893

u32 umin = reg_u32_min(dst_reg);

kernel/bpf/verifier.c

13898

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

kernel/bpf/verifier.c

13953

u32 src_val = reg_u32_min(src_reg); /* non-zero, const divisor */

kernel/bpf/verifier.c

13955

reg_set_urange32(dst_reg, reg_u32_min(dst_reg) / src_val,

kernel/bpf/verifier.c

14049

u32 src_val = reg_u32_min(src_reg); /* non-zero, const divisor */

kernel/bpf/verifier.c

14212

u32 umin_val = reg_u32_min(src_reg);

kernel/bpf/verifier.c

14223

max(reg_u32_min(dst_reg), umin_val),

kernel/bpf/verifier.c

14294

reg_set_urange32(dst_reg, reg_u32_min(dst_reg) << umin_val,

kernel/bpf/verifier.c

14302

u32 umin_val = reg_u32_min(src_reg);

kernel/bpf/verifier.c

14362

u32 umin_val = reg_u32_min(src_reg);

kernel/bpf/verifier.c

14380

reg_set_urange32(dst_reg, reg_u32_min(dst_reg) >> umax_val,

kernel/bpf/verifier.c

14422

u64 umin_val = reg_u32_min(src_reg);

kernel/bpf/verifier.c

14518

&& reg_u32_min(src_reg) == reg_u32_max(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

15283

if (reg_u32_min(reg1) > reg_u32_max(reg2) ||

kernel/bpf/verifier.c

15284

reg_u32_max(reg1) < reg_u32_min(reg2))

kernel/bpf/verifier.c

15309

if (reg_u32_min(reg1) > reg_u32_max(reg2) ||

kernel/bpf/verifier.c

15310

reg_u32_max(reg1) < reg_u32_min(reg2))

kernel/bpf/verifier.c

15617

cnum32_intersect_with_urange(&reg2->r32, reg_u32_min(reg1), U32_MAX);

kernel/bpf/verifier.c

15626

cnum32_intersect_with_urange(&reg2->r32, reg_u32_min(reg1) + 1, U32_MAX);

kernel/bpf/verifier.c

2065

tnum_range(reg_u32_min(reg),

kernel/bpf/verifier.c

5396

reg_set_urange64(reg, reg_u32_min(reg), reg_u32_max(reg));