kernel/bpf/verifier.c

13955

reg_set_urange32(dst_reg, reg_u32_min(dst_reg) / src_val,

kernel/bpf/verifier.c

14059

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

kernel/bpf/verifier.c

14178

reg_set_urange32(dst_reg,

kernel/bpf/verifier.c

14222

reg_set_urange32(dst_reg,

kernel/bpf/verifier.c

14263

reg_set_urange32(dst_reg, var32_off.value, var32_off.value | var32_off.mask);

kernel/bpf/verifier.c

14289

reg_set_urange32(dst_reg, 0, U32_MAX);

kernel/bpf/verifier.c

14294

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

kernel/bpf/verifier.c

14380

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

kernel/bpf/verifier.c

9832

reg_set_urange32(ret_reg, 0, nr_cpu_ids - 1);