Home
last modified time | relevance | path

Searched refs:NOT_INIT (Results 1 – 7 of 7) sorted by relevance

/linux-6.15/drivers/hid/bpf/
H A Dhid_bpf_struct_ops.c127 return NOT_INIT; in hid_bpf_ops_btf_struct_access()
/linux-6.15/net/bpf/
H A Dbpf_dummy_struct_ops.c260 return NOT_INIT; in bpf_dummy_ops_btf_struct_access()
/linux-6.15/kernel/bpf/
H A Dlog.c444 [NOT_INIT] = "?", in reg_type_str()
768 if (reg->type == NOT_INIT) in print_verifier_state()
H A Dverifier.c2712 reg->type = NOT_INIT; in __mark_reg_not_init()
3709 if (reg->type == NOT_INIT) { in __check_reg_arg()
5078 state->stack[spi].spilled_ptr.type = NOT_INIT; in check_stack_write_fixed_off()
5218 state->stack[spi].spilled_ptr.type = NOT_INIT; in check_stack_write_var_off()
9145 if (expected == NOT_INIT) in check_reg_type()
11565 regs[BPF_REG_0].type = NOT_INIT; in check_helper_call()
18318 if (rold->type == NOT_INIT) { in regsafe()
18319 if (exact == NOT_EXACT || rcur->type == NOT_INIT) in regsafe()
19359 if (*prev_type == NOT_INIT) { in save_aux_ptr_type()
/linux-6.15/drivers/net/ethernet/netronome/nfp/bpf/
H A Dverifier.c358 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()
/linux-6.15/Documentation/bpf/
H A Dverifier.rst117 register state has a type, which is either NOT_INIT (the register has not been
312 alignment, then r1 is safe. Similarly, if r2 was NOT_INIT before then it can't
314 another NOT_INIT) is safe. The implementation is in the function regsafe().
539 without ``REG_LIVE_READ{32,64}`` marks as ``NOT_INIT`` or ``STACK_INVALID``.
566 read mark and all other registers and stack slots are marked as ``NOT_INIT``
/linux-6.15/include/linux/
H A Dbpf.h918 NOT_INIT = 0, /* nothing was written into register */ enumerator