kernel/bpf/log.c

587

{"umax32", reg_u32_max(reg), reg_u32_max(reg) == U32_MAX},

kernel/bpf/verifier.c

13894

u32 umax = reg_u32_max(dst_reg);

kernel/bpf/verifier.c

13897

if (check_mul_overflow(umax, reg_u32_max(src_reg), &umax) ||

kernel/bpf/verifier.c

13956

reg_u32_max(dst_reg) / src_val);

kernel/bpf/verifier.c

14056

if (reg_u32_max(dst_reg) <= res_max)

kernel/bpf/verifier.c

14059

reg_set_urange32(dst_reg, 0, min(reg_u32_max(dst_reg), res_max));

kernel/bpf/verifier.c

14168

u32 umax_val = reg_u32_max(src_reg);

kernel/bpf/verifier.c

14180

min(reg_u32_max(dst_reg), umax_val));

kernel/bpf/verifier.c

14288

if (umax_val > 31 || reg_u32_max(dst_reg) > 1ULL << (31 - umax_val))

kernel/bpf/verifier.c

14295

reg_u32_max(dst_reg) << umax_val);

kernel/bpf/verifier.c

14301

u32 umax_val = reg_u32_max(src_reg);

kernel/bpf/verifier.c

14361

u32 umax_val = reg_u32_max(src_reg);

kernel/bpf/verifier.c

14381

reg_u32_max(dst_reg) >> umin_val);

kernel/bpf/verifier.c

14518

&& reg_u32_min(src_reg) == reg_u32_max(src_reg))

kernel/bpf/verifier.c

15232

u64 umax1 = is_jmp32 ? (u64)reg_u32_max(reg1) : reg_umax(reg1);

kernel/bpf/verifier.c

15236

u64 umax2 = is_jmp32 ? (u64)reg_u32_max(reg2) : reg_umax(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

15616

cnum32_intersect_with_urange(&reg1->r32, 0, reg_u32_max(reg2));

kernel/bpf/verifier.c

15625

cnum32_intersect_with_urange(&reg1->r32, 0, reg_u32_max(reg2) - 1);

kernel/bpf/verifier.c

2066

reg_u32_max(reg)));

kernel/bpf/verifier.c

5396

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