Home
last modified time | relevance | path

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

/linux/include/linux/
H A Dbpf_verifier.h1031 struct bpf_reg_state true_reg1, true_reg2, false_reg1, false_reg2; member
/linux/kernel/bpf/
H A Dverifier.c16047 regs_refine_cond_op(&env->true_reg1, &env->true_reg2, opcode, is_jmp32); in simulate_both_branches_taken()
16048 reg_bounds_sync(&env->true_reg1); in simulate_both_branches_taken()
16055 if (range_bounds_violation(&env->true_reg1) || range_bounds_violation(&env->true_reg2)) in simulate_both_branches_taken()
16499 err = reg_bounds_sanity_check(env, &env->true_reg1, "true_reg1"); in regs_bounds_sanity_check_branches()
16862 env->true_reg1 = *dst_reg; in check_cond_jmp_op()
16934 other_branch_regs[insn->dst_reg] = env->true_reg1; in check_cond_jmp_op()