Searched refs:REG_LIVE_READ64 (Results 1 – 2 of 2) sorted by relevance
| /linux-6.1.9/include/linux/ |
| D | bpf_verifier.h | 40 REG_LIVE_READ64 = 0x2, /* likewise, but full 64-bit content matters */ enumerator
41 REG_LIVE_READ = REG_LIVE_READ32 | REG_LIVE_READ64,
|
| /linux-6.1.9/kernel/bpf/ |
| D | verifier.c | 2296 parent->live & REG_LIVE_READ64) in mark_reg_read()
2310 if (flag == REG_LIVE_READ64) in mark_reg_read()
2490 rw64 ? REG_LIVE_READ64 : REG_LIVE_READ32); in check_reg_arg()
3338 mark_reg_read(env, reg, reg->parent, REG_LIVE_READ64); in check_stack_read_fixed_off()
3386 mark_reg_read(env, reg, reg->parent, REG_LIVE_READ64); in check_stack_read_fixed_off()
3398 mark_reg_read(env, reg, reg->parent, REG_LIVE_READ64); in check_stack_read_fixed_off()
5207 REG_LIVE_READ64); in check_stack_range_initialized()
7680 mark_reg_read(env, reg, reg->parent, REG_LIVE_READ64); in mark_btf_func_reg_size()
11799 if (parent_flag == REG_LIVE_READ64 || in propagate_liveness_reg()
11846 if (err == REG_LIVE_READ64) in propagate_liveness()
|