Home
last modified time | relevance | path

Searched refs:SCALAR_VALUE (Results 1 – 5 of 5) sorted by relevance

/Linux-v6.1/drivers/net/ethernet/netronome/nfp/bpf/
Dverifier.c59 if (reg2->type != SCALAR_VALUE || !tnum_is_const(reg2->var_off)) in nfp_record_adjust_head()
234 BUILD_BUG_ON(NFP_BPF_SCALAR_VALUE != SCALAR_VALUE || in nfp_bpf_check_helper_call()
263 if (reg1->type != SCALAR_VALUE /* NULL ptr */ && in nfp_bpf_check_helper_call()
320 if (!(reg0->type == SCALAR_VALUE && tnum_is_const(reg0->var_off))) { in nfp_bpf_check_exit()
542 if (sreg->type != SCALAR_VALUE) { in nfp_bpf_check_atomic()
/Linux-v6.1/kernel/bpf/
Dverifier.c547 [SCALAR_VALUE] = "scalar", in reg_type_str()
856 if (t == SCALAR_VALUE && reg->precise) in print_verifier_state()
858 if ((t == SCALAR_VALUE || t == PTR_TO_STACK) && in print_verifier_state()
861 verbose(env, "%s", t == SCALAR_VALUE ? "" : reg_type_str(env, t)); in print_verifier_state()
880 if (t != SCALAR_VALUE) in print_verifier_state()
952 verbose(env, "=%s", t == SCALAR_VALUE ? "" : reg_type_str(env, t)); in print_verifier_state()
953 if (t == SCALAR_VALUE && reg->precise) in print_verifier_state()
955 if (t == SCALAR_VALUE && tnum_is_const(reg->var_off)) in print_verifier_state()
1376 reg->type = SCALAR_VALUE; in __mark_reg_const_zero()
1689 reg->type = SCALAR_VALUE; in __mark_reg_unknown()
[all …]
Dbtf.c5818 return SCALAR_VALUE; in btf_struct_access()
6185 if (!btf_type_is_scalar(t) || reg->type != SCALAR_VALUE) in is_kfunc_arg_mem_size()
6212 if (!btf_type_is_scalar(t) || reg->type != SCALAR_VALUE) in btf_is_kfunc_arg_mem_size()
6320 if (reg->type == SCALAR_VALUE) in btf_check_func_arg_match()
6744 reg->type = SCALAR_VALUE; in btf_prepare_func_args()
/Linux-v6.1/Documentation/bpf/
Dverifier.rst20 If R1=PTR_TO_CTX and insn is R2=R1+R1, then R2=SCALAR_VALUE,
118 written to), SCALAR_VALUE (some value which is not usable as a pointer), or a
172 branches. For instance, if a SCALAR_VALUE is compared > 8, in the 'true' branch
260 operation will set the register state to 'SCALAR_VALUE' and it won't be
/Linux-v6.1/include/linux/
Dbpf.h627 SCALAR_VALUE, /* reg doesn't contain a valid pointer */ enumerator