Home
last modified time | relevance | path

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

/openbmc/linux/include/linux/
H A Dbpf_verifier.h621 u32 id_gen; /* used to generate unique reg IDs */ member
/openbmc/linux/kernel/bpf/
H A Dverifier.c878 int id = ++env->id_gen; in mark_dynptr_stack_regs()
888 __mark_dynptr_reg(reg, type, true, ++env->id_gen); in mark_dynptr_cb_reg()
1683 id = ++env->id_gen; in acquire_reference_state()
2543 regs[regno].id = ++env->id_gen; in mark_btf_ld_reg()
6822 regs[value_regno].id = ++env->id_gen; in check_mem_access()
10246 regs[BPF_REG_0].id = ++env->id_gen; in check_helper_call()
10340 regs[BPF_REG_0].id = ++env->id_gen; in check_helper_call()
12023 regs[BPF_REG_0].id = ++env->id_gen; in check_kfunc_call()
12039 regs[BPF_REG_0].id = ++env->id_gen; in check_kfunc_call()
12606 dst_reg->id = ++env->id_gen; in adjust_ptr_min_max_vals()
[all …]
H A Dbtf.c7056 reg->id = ++env->id_gen; in btf_prepare_func_args()