Home
last modified time | relevance | path

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

/openbmc/linux/include/linux/
H A Dbpf_verifier.h44 REG_LIVE_READ = REG_LIVE_READ32 | REG_LIVE_READ64, enumerator
/openbmc/linux/Documentation/bpf/
H A 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``.
/openbmc/linux/kernel/bpf/
H A Dverifier.c669 if (live & (REG_LIVE_READ | REG_LIVE_WRITTEN | REG_LIVE_DONE)) in print_liveness()
671 if (live & REG_LIVE_READ) in print_liveness()
3136 if ((parent->live & REG_LIVE_READ) == flag || in mark_reg_read()
15899 if (!(live & REG_LIVE_READ)) in clean_func_state()
15910 if (!(live & REG_LIVE_READ)) { in clean_func_state()
15997 if (!(rold->live & REG_LIVE_READ)) in regsafe()
16132 if (!(old->stack[spi].spilled_ptr.live & REG_LIVE_READ) && !exact) { in stacksafe()
16344 u8 parent_flag = parent_reg->live & REG_LIVE_READ; in propagate_liveness_reg()
16345 u8 flag = reg->live & REG_LIVE_READ; in propagate_liveness_reg()
16435 !(state_reg->live & REG_LIVE_READ)) in propagate_precision()
[all …]