kernel/bpf/verifier.c

13967

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

kernel/bpf/verifier.c

14078

reg_set_urange64(dst_reg, 0, min(reg_umax(dst_reg), res_max));

kernel/bpf/verifier.c

14198

reg_set_urange64(dst_reg,

kernel/bpf/verifier.c

14242

reg_set_urange64(dst_reg,

kernel/bpf/verifier.c

14279

reg_set_urange64(dst_reg,

kernel/bpf/verifier.c

14408

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

kernel/bpf/verifier.c

5396

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

kernel/bpf/verifier.c

5412

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

kernel/bpf/verifier.c

5414

reg_set_urange64(reg, 0, mask);

kernel/bpf/verifier.c

9831

reg_set_urange64(ret_reg, 0, nr_cpu_ids - 1);