Home
last modified time | relevance | path

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

/Linux-v6.6/include/linux/
Dbpf_verifier.h44 REG_LIVE_READ = REG_LIVE_READ32 | REG_LIVE_READ64, enumerator
/Linux-v6.6/Documentation/bpf/
Dverifier.rst359 REG_LIVE_READ = REG_LIVE_READ32 | REG_LIVE_READ64,
396 * ``REG_LIVE_READ{32,64}`` means that the value of the register (or stack slot)
539 without ``REG_LIVE_READ{32,64}`` marks as ``NOT_INIT`` or ``STACK_INVALID``.
/Linux-v6.6/kernel/bpf/
Dverifier.c658 if (live & (REG_LIVE_READ | REG_LIVE_WRITTEN | REG_LIVE_DONE)) in print_liveness()
660 if (live & REG_LIVE_READ) in print_liveness()
2911 if ((parent->live & REG_LIVE_READ) == flag || in mark_reg_read()
15429 if (!(live & REG_LIVE_READ)) in clean_func_state()
15440 if (!(live & REG_LIVE_READ)) { in clean_func_state()
15528 if (!(rold->live & REG_LIVE_READ)) in regsafe()
15657 if (!(old->stack[spi].spilled_ptr.live & REG_LIVE_READ)) { in stacksafe()
15860 u8 parent_flag = parent_reg->live & REG_LIVE_READ; in propagate_liveness_reg()
15861 u8 flag = reg->live & REG_LIVE_READ; in propagate_liveness_reg()
15951 !(state_reg->live & REG_LIVE_READ)) in propagate_precision()
[all …]