Home
last modified time | relevance | path

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

/linux/kernel/bpf/
H A Dbacktrack.c678 if (reg->type != SCALAR_VALUE || reg->precise) in bpf_mark_all_scalars_precise()
690 if (reg->type != SCALAR_VALUE || reg->precise) in bpf_mark_all_scalars_precise()
818 if (reg->type != SCALAR_VALUE) { in bpf_mark_chain_precision()
853 if (reg->type == SCALAR_VALUE) { in bpf_mark_chain_precision()
911 if (reg->type != SCALAR_VALUE) { in bpf_mark_chain_precision()
946 if (reg->type != SCALAR_VALUE || reg->precise) { in bpf_mark_chain_precision()
H A Dstates.c450 if (spill->type != SCALAR_VALUE) in __clean_func_state()
543 case SCALAR_VALUE: in regsafe()
671 stack->spilled_ptr.type == SCALAR_VALUE; in is_spilled_scalar_after()
1036 if (state_reg->type != SCALAR_VALUE || in propagate_precision()
1053 if (state_reg->type != SCALAR_VALUE || in propagate_precision()
1224 if (reg->type != SCALAR_VALUE) in mark_all_scalars_imprecise()
1232 if (reg->type != SCALAR_VALUE) in mark_all_scalars_imprecise()
H A Dlog.c404 [SCALAR_VALUE] = "scalar", in reg_type_str()
632 if (t == SCALAR_VALUE && reg->precise) in print_reg_state()
634 if (t == SCALAR_VALUE && tnum_is_const(reg->var_off)) { in print_reg_state()
668 if (t != SCALAR_VALUE && reg->delta) { in print_reg_state()
H A Dverifier.c1878 reg->type = SCALAR_VALUE; in __mark_reg_const_zero()
2185 reg->type = SCALAR_VALUE; in bpf_mark_reg_unknown_imprecise()
2240 case SCALAR_VALUE: in mark_btf_ld_reg()
3386 return reg->type == SCALAR_VALUE && in is_reg_const()
3398 return type != SCALAR_VALUE && type != NOT_INIT; in is_pointer_regtype()
3419 if (src_reg->type != SCALAR_VALUE) in assign_scalar_id_before_mov()
3566 if (reg && !(off % BPF_REG_SIZE) && reg->type == SCALAR_VALUE && env->bpf_capable) { in check_stack_write_fixed_off()
3583 tmp_reg->type = SCALAR_VALUE; in check_stack_write_fixed_off()
3885 if (reg->type != SCALAR_VALUE) { in check_stack_read_fixed_off()
4188 arg->type = SCALAR_VALUE; in check_stack_arg_write()
[all …]
H A Ddiagnostics.c934 case SCALAR_VALUE: in bpf_diag_reg_type_plain()
2107 if (snapshot->type == SCALAR_VALUE) { in diag_reg_snapshot()
H A Dbtf.c7092 info->reg_type = SCALAR_VALUE; in btf_ctx_access()
7417 return SCALAR_VALUE; in btf_struct_access()
7428 return SCALAR_VALUE; in btf_struct_access()
/linux/io_uring/
H A Dbpf-ops.c97 return SCALAR_VALUE; in bpf_io_btf_struct_access()
/linux/include/linux/
H A Dbpf_verifier.h1255 return bpf_is_spilled_reg(stack) && stack->spilled_ptr.type == SCALAR_VALUE; in bpf_is_spilled_scalar_reg()
1260 return reg->type == SCALAR_VALUE && tnum_equals_const(reg->var_off, 0); in bpf_register_is_null()
H A Dbpf.h1050 SCALAR_VALUE, /* reg doesn't contain a valid pointer */ enumerator
/linux/kernel/sched/ext/
H A Dext.c7955 return SCALAR_VALUE; in bpf_scx_btf_struct_access_common()
7972 return SCALAR_VALUE; in bpf_scx_btf_struct_access()