Home
last modified time | relevance | path

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

/linux-6.3-rc2/drivers/net/ethernet/netronome/nfp/bpf/
A Dverifier.c61 imm = reg2->var_off.value; in nfp_record_adjust_head()
74 if (meta->arg2.reg.var_off.value != imm) in nfp_record_adjust_head()
101 off = reg3->off + reg3->var_off.value; in nfp_bpf_map_update_value_ok()
135 if (!tnum_is_const(reg->var_off)) { in nfp_bpf_stack_arg_ok()
140 off = reg->var_off.value + reg->off; in nfp_bpf_stack_arg_ok()
151 old_arg->var_off |= off != old_off; in nfp_bpf_stack_arg_ok()
329 imm = reg0->var_off.value; in nfp_bpf_check_exit()
353 if (!tnum_is_const(reg->var_off)) { in nfp_bpf_check_stack_access()
426 if (!tnum_is_const(reg->var_off)) { in nfp_bpf_map_mark_used()
548 sreg->var_off.value > 0xffff || sreg->var_off.mask > 0xffff; in nfp_bpf_check_atomic()
[all …]
A Dmain.h251 bool var_off; member
A Djit.c1734 lm_off += meta->arg2.reg.var_off.value + meta->arg2.reg.off; in map_call_stack_common()
1735 load_lm_ptr = meta->arg2.var_off || lm_off; in map_call_stack_common()
2878 meta->ptr.off + meta->ptr.var_off.value); in mem_ldx()
2989 meta->ptr.off + meta->ptr.var_off.value); in mem_stx()
/linux-6.3-rc2/kernel/bpf/
A Dverifier.c10565 dst_reg->var_off = ptr_reg->var_off; in adjust_ptr_min_max_vals()
10595 dst_reg->var_off = tnum_add(ptr_reg->var_off, off_reg->var_off); in adjust_ptr_min_max_vals()
10627 dst_reg->var_off = ptr_reg->var_off; in adjust_ptr_min_max_vals()
10654 dst_reg->var_off = tnum_sub(ptr_reg->var_off, off_reg->var_off); in adjust_ptr_min_max_vals()
11344 dst_reg->var_off = tnum_add(dst_reg->var_off, src_reg.var_off); in adjust_scalar_min_max_vals()
11349 dst_reg->var_off = tnum_sub(dst_reg->var_off, src_reg.var_off); in adjust_scalar_min_max_vals()
11352 dst_reg->var_off = tnum_mul(dst_reg->var_off, src_reg.var_off); in adjust_scalar_min_max_vals()
11357 dst_reg->var_off = tnum_and(dst_reg->var_off, src_reg.var_off); in adjust_scalar_min_max_vals()
11362 dst_reg->var_off = tnum_or(dst_reg->var_off, src_reg.var_off); in adjust_scalar_min_max_vals()
11367 dst_reg->var_off = tnum_xor(dst_reg->var_off, src_reg.var_off); in adjust_scalar_min_max_vals()
[all …]
/linux-6.3-rc2/include/linux/
A Dbpf_verifier.h120 struct tnum var_off; member
/linux-6.3-rc2/Documentation/bpf/
A Dverifier.rst252 …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) …
270 R4=inv(id=0,umax_value=255,var_off=(0x0; 0xff)) which means that upper 56 bits
273 R4=inv(id=0,umax_value=3570,var_off=(0x0; 0xfffe)), since multiplying an 8-bit
276 R2=inv(id=0,umax_value=65535,var_off=(0x0; 0xffff)), since the shift is not sign

Completed in 46 milliseconds