Home
last modified time | relevance | path

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

/Linux-v5.4/include/linux/
Dbpf_verifier.h364 u32 id_gen; /* used to generate unique reg IDs */ member
/Linux-v5.4/kernel/bpf/
Dverifier.c629 id = ++env->id_gen; in acquire_reference_state()
2807 regs[value_regno].id = ++env->id_gen; in check_mem_access()
4077 regs[BPF_REG_0].id = ++env->id_gen; in check_helper_call()
4080 regs[BPF_REG_0].id = ++env->id_gen; in check_helper_call()
4085 regs[BPF_REG_0].id = ++env->id_gen; in check_helper_call()
4089 regs[BPF_REG_0].id = ++env->id_gen; in check_helper_call()
4093 regs[BPF_REG_0].id = ++env->id_gen; in check_helper_call()
4450 dst_reg->id = ++env->id_gen; in adjust_ptr_min_max_vals()
4514 dst_reg->id = ++env->id_gen; in adjust_ptr_min_max_vals()
5981 regs[insn->dst_reg].id = ++env->id_gen; in check_ld_imm()