Home
last modified time | relevance | path

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

/linux/include/linux/
A Dbpf_verifier.h40 REG_LIVE_WRITTEN = 0x4, /* reg was written first, screening off later reads */ enumerator
/linux/kernel/bpf/
A Dverifier.c590 if (live & REG_LIVE_WRITTEN) in print_liveness()
2046 if (writes && state->live & REG_LIVE_WRITTEN) in mark_reg_read()
2257 reg->live |= REG_LIVE_WRITTEN; in check_reg_arg()
2785 state->stack[spi].spilled_ptr.live |= REG_LIVE_WRITTEN; in save_register_state()
2884 state->stack[spi].spilled_ptr.live |= REG_LIVE_WRITTEN; in check_stack_write_fixed_off()
3055 state->regs[dst_regno].live |= REG_LIVE_WRITTEN; in mark_reg_stack_read()
3119 state->regs[dst_regno].live |= REG_LIVE_WRITTEN; in check_stack_read_fixed_off()
3130 state->regs[dst_regno].live |= REG_LIVE_WRITTEN; in check_stack_read_fixed_off()
6683 reg->live |= REG_LIVE_WRITTEN; in mark_btf_func_reg_size()
8303 dst_reg->live |= REG_LIVE_WRITTEN; in check_alu_op()
[all …]

Completed in 31 milliseconds