Home
last modified time | relevance | path

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

/Linux-v5.10/include/linux/
Dbpf_verifier.h391 u32 id_gen; /* used to generate unique reg IDs */ member
/Linux-v5.10/kernel/bpf/
Dverifier.c781 id = ++env->id_gen; in acquire_reference_state()
3491 regs[value_regno].id = ++env->id_gen; in check_mem_access()
5133 regs[BPF_REG_0].id = ++env->id_gen; in check_helper_call()
5198 regs[BPF_REG_0].id = ++env->id_gen; in check_helper_call()
5587 dst_reg->id = ++env->id_gen; in adjust_ptr_min_max_vals()
5651 dst_reg->id = ++env->id_gen; in adjust_ptr_min_max_vals()
6600 src_reg->id = ++env->id_gen; in check_alu_op()
7666 dst_reg->id = ++env->id_gen; in check_ld_imm()