include/linux/tnum.h

119

struct tnum tnum_subreg(struct tnum a);

include/linux/tnum.h

131

return !(tnum_subreg(a)).mask;

kernel/bpf/tnum.c

250

return tnum_or(tnum_clear_subreg(reg), tnum_subreg(subreg));

kernel/bpf/verifier.c

14167

struct tnum var32_off = tnum_subreg(dst_reg->var_off);

kernel/bpf/verifier.c

14211

struct tnum var32_off = tnum_subreg(dst_reg->var_off);

kernel/bpf/verifier.c

14255

struct tnum var32_off = tnum_subreg(dst_reg->var_off);

kernel/bpf/verifier.c

14304

struct tnum subreg = tnum_subreg(dst_reg->var_off);

kernel/bpf/verifier.c

14307

dst_reg->var_off = tnum_subreg(tnum_lshift(subreg, umin_val));

kernel/bpf/verifier.c

14360

struct tnum subreg = tnum_subreg(dst_reg->var_off);

kernel/bpf/verifier.c

14433

dst_reg->var_off = tnum_arshift(tnum_subreg(dst_reg->var_off), umin_val, 32);

kernel/bpf/verifier.c

15229

struct tnum t1 = is_jmp32 ? tnum_subreg(reg1->var_off) : reg1->var_off;

kernel/bpf/verifier.c

15230

struct tnum t2 = is_jmp32 ? tnum_subreg(reg2->var_off) : reg2->var_off;

kernel/bpf/verifier.c

15543

t = tnum_intersect(tnum_subreg(reg1->var_off), tnum_subreg(reg2->var_off));

kernel/bpf/verifier.c

15591

t = tnum_or(tnum_subreg(reg1->var_off), tnum_const(val));

kernel/bpf/verifier.c

15608

t = tnum_and(tnum_subreg(reg1->var_off), tnum_const(~val));

kernel/bpf/verifier.c

1975

tnum = tnum_subreg(tnum);

kernel/bpf/verifier.c

2064

struct tnum var32_off = tnum_intersect(tnum_subreg(var64_off),

kernel/bpf/verifier.c

2105

return !cnum32_is_const(reg->r32) || reg->r32.base != tnum_subreg(reg->var_off).value;

kernel/bpf/verifier.c

3340

tnum_is_const(subreg32 ? tnum_subreg(reg->var_off) : reg->var_off);

kernel/bpf/verifier.c

3346

return subreg32 ? tnum_subreg(reg->var_off).value : reg->var_off.value;

kernel/bpf/verifier.c

5395

reg->var_off = tnum_subreg(reg->var_off);

kernel/bpf/verifier.c

5504

reg->var_off = tnum_subreg(tnum_unknown);

kernel/bpf/verifier.c

5545

reg->var_off = tnum_subreg(tnum_range(s32_min, s32_max));