Home
last modified time | relevance | path

Searched refs:SCALAR_VALUE (Results 1 – 4 of 4) 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()
220 BUILD_BUG_ON(NFP_BPF_SCALAR_VALUE != SCALAR_VALUE || in nfp_bpf_check_call()
249 if (reg1->type != SCALAR_VALUE /* NULL ptr */ && in nfp_bpf_check_call()
306 if (!(reg0->type == SCALAR_VALUE && tnum_is_const(reg0->var_off))) { in nfp_bpf_check_exit()
513 if (sreg->type != SCALAR_VALUE) { in nfp_bpf_check_xadd()
/Linux-v4.19/kernel/bpf/
Dverifier.c255 [SCALAR_VALUE] = "inv",
302 if ((t == SCALAR_VALUE || t == PTR_TO_STACK) && in print_verifier_state()
310 if (t != SCALAR_VALUE) in print_verifier_state()
576 reg->type = SCALAR_VALUE; in __mark_reg_const_zero()
686 reg->type = SCALAR_VALUE; in __mark_reg_unknown()
1006 return reg->type == SCALAR_VALUE && tnum_equals_const(reg->var_off, 0); in register_is_null()
1413 return reg->type != SCALAR_VALUE; in __is_pointer_value()
1707 enum bpf_reg_type reg_type = SCALAR_VALUE; in check_mem_access()
1725 if (reg_type == SCALAR_VALUE) in check_mem_access()
1788 regs[value_regno].type == SCALAR_VALUE) { in check_mem_access()
[all …]
/Linux-v4.19/include/linux/
Dbpf.h206 SCALAR_VALUE, /* reg doesn't contain a valid pointer */ enumerator
/Linux-v4.19/Documentation/networking/
Dfilter.txt1030 If R1=PTR_TO_CTX and insn is R2=R1+R1, then R2=SCALAR_VALUE,
1114 written to), SCALAR_VALUE (some value which is not usable as a pointer), or a
1147 branches. For instance, if a SCALAR_VALUE is compared > 8, in the 'true' branch
1223 operation will set the register state to 'SCALAR_VALUE' and it won't be