Home
last modified time | relevance | path

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

/Linux-v5.15/include/linux/
Dbpf_verifier.h431 u32 id_gen; /* used to generate unique reg IDs */ member
/Linux-v5.15/kernel/bpf/
Dverifier.c859 id = ++env->id_gen; in acquire_reference_state()
4220 regs[value_regno].id = ++env->id_gen; in check_mem_access()
6329 regs[BPF_REG_0].id = ++env->id_gen; in check_helper_call()
6402 regs[BPF_REG_0].id = ++env->id_gen; in check_helper_call()
7086 dst_reg->id = ++env->id_gen; in adjust_ptr_min_max_vals()
7145 dst_reg->id = ++env->id_gen; in adjust_ptr_min_max_vals()
8076 src_reg->id = ++env->id_gen; in check_alu_op()
9209 dst_reg->id = ++env->id_gen; in check_ld_imm()
13133 regs[i].id = ++env->id_gen; in do_check_common()
Dbtf.c5722 reg->id = ++env->id_gen; in btf_prepare_func_args()