Searched refs:NOT_INIT (Results 1 – 6 of 6) sorted by relevance
185 return atype == BPF_READ ? err : NOT_INIT; in bpf_dummy_ops_btf_struct_access()
145 return NOT_INIT; in bpf_tcp_ca_btf_struct_access()
358 if (meta->ptr.type == NOT_INIT) in nfp_bpf_check_stack_access()490 if (meta->ptr.type != NOT_INIT && meta->ptr.type != reg->type) { in nfp_bpf_check_ptr()
117 register state has a type, which is either NOT_INIT (the register has not been312 alignment, then r1 is safe. Similarly, if r2 was NOT_INIT before then it can't314 another NOT_INIT) is safe. The implementation is in the function regsafe().
538 [NOT_INIT] = "?", in reg_type_str()827 if (t == NOT_INIT) in print_verifier_state()1682 reg->type = NOT_INIT; in __mark_reg_not_init()2442 if (reg->type == NOT_INIT) { in check_reg_arg()3064 state->stack[spi].spilled_ptr.type = NOT_INIT; in check_stack_write_fixed_off()3158 && *stype != NOT_INIT in check_stack_write_var_off()3172 state->stack[spi].spilled_ptr.type = NOT_INIT; in check_stack_write_var_off()5721 if (expected == NOT_INIT) in check_reg_type()7318 regs[BPF_REG_0].type = NOT_INIT; in check_helper_call()11352 if (rold->type == NOT_INIT) in regsafe()[all …]
569 NOT_INIT = 0, /* nothing was written into register */ enumerator