Home
last modified time | relevance | path

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

/Linux-v6.1/include/linux/
Dbpf_verifier.h507 u32 id_gen; /* used to generate unique reg IDs */ member
/Linux-v6.1/kernel/bpf/
Dverifier.c1113 id = ++env->id_gen; in acquire_reference_state()
3793 val_reg->id = ++env->id_gen; in check_map_kptr_access()
4849 regs[value_regno].id = ++env->id_gen; in check_mem_access()
7492 regs[BPF_REG_0].id = ++env->id_gen; in check_helper_call()
7584 regs[BPF_REG_0].id = ++env->id_gen; in check_helper_call()
7776 regs[BPF_REG_0].id = ++env->id_gen; in check_kfunc_call()
8335 dst_reg->id = ++env->id_gen; in adjust_ptr_min_max_vals()
8394 dst_reg->id = ++env->id_gen; in adjust_ptr_min_max_vals()
9318 src_reg->id = ++env->id_gen; in check_alu_op()
10403 dst_reg->id = ++env->id_gen; in check_ld_imm()
[all …]
Dbtf.c6765 reg->id = ++env->id_gen; in btf_prepare_func_args()