Home
last modified time | relevance | path

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

/Linux-v6.6/include/linux/
Dbpf_verifier.h43 REG_LIVE_READ64 = 0x2, /* likewise, but full 64-bit content matters */ enumerator
44 REG_LIVE_READ = REG_LIVE_READ32 | REG_LIVE_READ64,
/Linux-v6.6/Documentation/bpf/
Dverifier.rst358 REG_LIVE_READ64 = 0x2,
359 REG_LIVE_READ = REG_LIVE_READ32 | REG_LIVE_READ64,
496 if parent->live & REG_LIVE_READ64:
498 parent->live |= REG_LIVE_READ64
/Linux-v6.6/kernel/bpf/
Dverifier.c2912 parent->live & REG_LIVE_READ64) in mark_reg_read()
2926 if (flag == REG_LIVE_READ64) in mark_reg_read()
2958 state->stack[spi].spilled_ptr.parent, REG_LIVE_READ64); in mark_dynptr_read()
2962 state->stack[spi - 1].spilled_ptr.parent, REG_LIVE_READ64); in mark_dynptr_read()
2974 err = mark_reg_read(env, st, st->parent, REG_LIVE_READ64); in mark_iter_read()
3153 rw64 ? REG_LIVE_READ64 : REG_LIVE_READ32); in check_reg_arg()
4623 mark_reg_read(env, reg, reg->parent, REG_LIVE_READ64); in check_stack_read_fixed_off()
4673 mark_reg_read(env, reg, reg->parent, REG_LIVE_READ64); in check_stack_read_fixed_off()
4687 mark_reg_read(env, reg, reg->parent, REG_LIVE_READ64); in check_stack_read_fixed_off()
6936 REG_LIVE_READ64); in check_stack_range_initialized()
[all …]