Home
last modified time | relevance | path

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

/linux/kernel/bpf/
A Dlog.c545 if (live & (REG_LIVE_READ | REG_LIVE_WRITTEN | REG_LIVE_DONE)) in print_liveness()
549 if (live & REG_LIVE_WRITTEN) in print_liveness()
A Dverifier.c1031 st->live |= REG_LIVE_WRITTEN; in mark_stack_slots_iter()
1067 st->live |= REG_LIVE_WRITTEN; in unmark_stack_slots_iter()
3097 if (writes && state->live & REG_LIVE_WRITTEN) in mark_reg_read()
3356 reg->live |= REG_LIVE_WRITTEN; in __check_reg_arg()
4904 state->regs[dst_regno].live |= REG_LIVE_WRITTEN; in mark_reg_stack_read()
5001 state->regs[dst_regno].live |= REG_LIVE_WRITTEN; in check_stack_read_fixed_off()
10952 reg->live |= REG_LIVE_WRITTEN; in mark_btf_func_reg_size()
14393 dst_reg->live |= REG_LIVE_WRITTEN; in check_alu_op()
14412 dst_reg->live |= REG_LIVE_WRITTEN; in check_alu_op()
14438 dst_reg->live |= REG_LIVE_WRITTEN; in check_alu_op()
[all …]
/linux/Documentation/bpf/
A Dverifier.rst360 REG_LIVE_WRITTEN = 0x4,
392 * ``REG_LIVE_WRITTEN`` means that the value of the register (or stack slot) is
494 if state->live & REG_LIVE_WRITTEN:
516 Because stack writes could have different sizes ``REG_LIVE_WRITTEN`` marks are
528 As stated above, the write at (1) does not count as ``REG_LIVE_WRITTEN``. Should
/linux/include/linux/
A Dbpf_verifier.h47 REG_LIVE_WRITTEN = 0x4, /* reg was written first, screening off later reads */ enumerator

Completed in 47 milliseconds