Home
last modified time | relevance | path

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

/Linux-v6.6/include/linux/
Dbpf_verifier.h41 REG_LIVE_NONE = 0, /* reg hasn't been read or written this branch */ enumerator
/Linux-v6.6/Documentation/bpf/
Dverifier.rst356 REG_LIVE_NONE = 0,
389 * ``REG_LIVE_NONE`` is an initial value assigned to ``->live`` fields upon new
/Linux-v6.6/kernel/bpf/
Dverifier.c2338 regs[i].live = REG_LIVE_NONE; in init_reg_state()
16341 cur->frame[j]->regs[i].live = REG_LIVE_NONE; in is_state_visited()
16350 frame->stack[i].spilled_ptr.live = REG_LIVE_NONE; in is_state_visited()