Home
last modified time | relevance | path

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

/linux-4.1.27/kernel/bpf/
Dverifier.c130 NOT_INIT = 0, /* nothing was written into register */ enumerator
230 [NOT_INIT] = "?",
248 if (t == NOT_INIT) in print_verifier_state()
467 regs[i].type = NOT_INIT; in init_reg_state()
503 if (regs[regno].type == NOT_INIT) { in check_reg_arg()
761 if (reg->type == NOT_INIT) { in check_func_arg()
885 reg->type = NOT_INIT; in check_call()
893 regs[BPF_REG_0].type = NOT_INIT; in check_call()
1255 reg->type = NOT_INIT; in check_ld_abs()
1495 if (old->regs[i].type == NOT_INIT || in states_equal()
[all …]