Home
last modified time | relevance | path

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

/Linux-v5.4/drivers/net/ethernet/netronome/nfp/bpf/
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-v5.4/kernel/bpf/
Dverifier.c384 [NOT_INIT] = "?",
445 if (t == NOT_INIT) in print_verifier_state()
1024 reg->type = NOT_INIT; in __mark_reg_not_init()
1376 if (reg->type == NOT_INIT) { in check_reg_arg()
1978 state->stack[spi].spilled_ptr.type = NOT_INIT; in check_stack_write()
4059 regs[BPF_REG_0].type = NOT_INIT; in check_helper_call()
6833 if (rold->type == NOT_INIT) in regsafe()
6836 if (rcur->type == NOT_INIT) in regsafe()
7607 if (*prev_src_type == NOT_INIT) { in do_check()
7657 if (*prev_dst_type == NOT_INIT) { in do_check()
/Linux-v5.4/include/linux/
Dbpf.h265 NOT_INIT = 0, /* nothing was written into register */ enumerator
/Linux-v5.4/Documentation/networking/
Dfilter.txt1118 register state has a type, which is either NOT_INIT (the register has not been
1329 alignment, then r1 is safe. Similarly, if r2 was NOT_INIT before then it can't
1331 another NOT_INIT) is safe. The implementation is in the function regsafe().