Home
last modified time | relevance | path

Searched refs:var_off (Results 1 – 6 of 6) sorted by relevance

/Linux-v4.19/drivers/net/ethernet/netronome/nfp/bpf/
Dverifier.c87 if (reg2->type != SCALAR_VALUE || !tnum_is_const(reg2->var_off)) in nfp_record_adjust_head()
89 imm = reg2->var_off.value; in nfp_record_adjust_head()
102 if (meta->arg2.reg.var_off.value != imm) in nfp_record_adjust_head()
123 if (!tnum_is_const(reg->var_off)) { in nfp_bpf_stack_arg_ok()
128 off = reg->var_off.value + reg->off; in nfp_bpf_stack_arg_ok()
138 old_off = old_arg->reg.var_off.value + old_arg->reg.off; in nfp_bpf_stack_arg_ok()
139 old_arg->var_off |= off != old_off; in nfp_bpf_stack_arg_ok()
233 if (reg3->var_off.mask & BPF_F_INDEX_MASK || in nfp_bpf_check_call()
234 (reg3->var_off.value & BPF_F_INDEX_MASK) != in nfp_bpf_check_call()
238 tnum_strn(tn_buf, sizeof(tn_buf), reg3->var_off); in nfp_bpf_check_call()
[all …]
Dmain.h252 bool var_off; member
Djit.c1699 lm_off += meta->arg2.reg.var_off.value + meta->arg2.reg.off; in map_call_stack_common()
1700 load_lm_ptr = meta->arg2.var_off || lm_off; in map_call_stack_common()
2725 meta->ptr.off + meta->ptr.var_off.value); in mem_ldx()
2836 meta->ptr.off + meta->ptr.var_off.value); in mem_stx()
/Linux-v4.19/kernel/bpf/
Dverifier.c303 tnum_is_const(reg->var_off)) { in print_verifier_state()
305 verbose(env, "%lld", reg->var_off.value + reg->off); in print_verifier_state()
320 if (tnum_is_const(reg->var_off)) { in print_verifier_state()
325 verbose(env, ",imm=%llx", reg->var_off.value); in print_verifier_state()
341 if (!tnum_is_unknown(reg->var_off)) { in print_verifier_state()
344 tnum_strn(tn_buf, sizeof(tn_buf), reg->var_off); in print_verifier_state()
557 reg->var_off = tnum_const(imm); in __mark_reg_known()
614 tnum_equals_const(reg->var_off, 0); in reg_is_init_pkt_pointer()
622 reg->var_off.value | (reg->var_off.mask & S64_MIN)); in __update_reg_bounds()
625 reg->var_off.value | (reg->var_off.mask & S64_MAX)); in __update_reg_bounds()
[all …]
/Linux-v4.19/include/linux/
Dbpf_verifier.h69 struct tnum var_off; member
/Linux-v4.19/Documentation/networking/
Dfilter.txt1216 …id=0,umax_value=255,var_off=(0x0; 0xff)) R1=pkt_end R2=pkt(id=2,off=8,r=8) R3=pkt(id=2,off=0,r=8) …
1231 R4=inv(id=0,umax_value=255,var_off=(0x0; 0xff)) which means that upper 56 bits
1234 R4=inv(id=0,umax_value=3570,var_off=(0x0; 0xfffe)), since multiplying an 8-bit
1237 R2=inv(id=0,umax_value=65535,var_off=(0x0; 0xffff)), since the shift is not sign