Home
last modified time | relevance | path

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

/Linux-v6.6/include/linux/
Dbpf_verifier.h589 u32 id_gen; /* used to generate unique reg IDs */ member
/Linux-v6.6/kernel/bpf/
Dverifier.c867 int id = ++env->id_gen; in mark_dynptr_stack_regs()
877 __mark_dynptr_reg(reg, type, true, ++env->id_gen); in mark_dynptr_cb_reg()
1663 id = ++env->id_gen; in acquire_reference_state()
5131 val_reg->id = ++env->id_gen; in check_map_kptr_access()
6565 regs[value_regno].id = ++env->id_gen; in check_mem_access()
9818 regs[BPF_REG_0].id = ++env->id_gen; in check_helper_call()
9912 regs[BPF_REG_0].id = ++env->id_gen; in check_helper_call()
11579 regs[BPF_REG_0].id = ++env->id_gen; in check_kfunc_call()
11595 regs[BPF_REG_0].id = ++env->id_gen; in check_kfunc_call()
12158 dst_reg->id = ++env->id_gen; in adjust_ptr_min_max_vals()
[all …]
Dbtf.c7050 reg->id = ++env->id_gen; in btf_prepare_func_args()