Home
last modified time | relevance | path

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

/linux-6.3-rc2/include/linux/
A Dbpf_verifier.h43 REG_LIVE_DONE = 0x8, /* liveness won't be updating this register anymore */ enumerator
/linux-6.3-rc2/Documentation/bpf/
A Dverifier.rst361 REG_LIVE_DONE = 0x8,
399 * ``REG_LIVE_DONE`` is a marker used by ``clean_verifier_state()`` to avoid
/linux-6.3-rc2/kernel/bpf/
A Dverifier.c641 if (live & (REG_LIVE_READ | REG_LIVE_WRITTEN | REG_LIVE_DONE)) in print_liveness()
647 if (live & REG_LIVE_DONE) in print_liveness()
2527 if (parent->live & REG_LIVE_DONE) { in mark_reg_read()
13734 st->regs[i].live |= REG_LIVE_DONE; in clean_func_state()
13745 st->stack[i].spilled_ptr.live |= REG_LIVE_DONE; in clean_func_state()
13759 if (st->frame[0]->regs[0].live & REG_LIVE_DONE) in clean_verifier_state()
14363 if (sl->state.frame[0]->regs[0].live & REG_LIVE_DONE) { in is_state_visited()

Completed in 32 milliseconds