Home
last modified time | relevance | path

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

/linux-4.4.14/kernel/bpf/
Dverifier.c130 NOT_INIT = 0, /* nothing was written into register */ enumerator
231 [NOT_INIT] = "?",
249 if (t == NOT_INIT) in print_verifier_state()
468 regs[i].type = NOT_INIT; in init_reg_state()
504 if (regs[regno].type == NOT_INIT) { in check_reg_arg()
810 if (reg->type == NOT_INIT) { in check_func_arg()
981 reg->type = NOT_INIT; in check_call()
989 regs[BPF_REG_0].type = NOT_INIT; in check_call()
1388 reg->type = NOT_INIT; in check_ld_abs()
1628 if (old->regs[i].type == NOT_INIT || in states_equal()
[all …]