Home
last modified time | relevance | path

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

/kernel/bpf/
Dverifier.c253 int regno; member
654 static void mark_reg_scratched(struct bpf_verifier_env *env, u32 regno) in mark_reg_scratched() argument
656 env->scratched_regs |= 1U << regno; in mark_reg_scratched()
664 static bool reg_scratched(const struct bpf_verifier_env *env, u32 regno) in reg_scratched() argument
666 return (env->scratched_regs >> regno) & 1; in reg_scratched()
669 static bool stack_slot_scratched(const struct bpf_verifier_env *env, u64 regno) in stack_slot_scratched() argument
671 return (env->scratched_stack_slots >> regno) & 1; in stack_slot_scratched()
1394 struct bpf_reg_state *regs, u32 regno) in mark_reg_known_zero() argument
1396 if (WARN_ON(regno >= MAX_BPF_REG)) { in mark_reg_known_zero()
1397 verbose(env, "mark_reg_known_zero(regs, %u)\n", regno); in mark_reg_known_zero()
[all …]
Dbtf.c6303 u32 regno = i + 1; in btf_check_func_arg_match() local
6304 struct bpf_reg_state *reg = &regs[regno]; in btf_check_func_arg_match()
6330 bpf_log(log, "R%d is not a const\n", regno); in btf_check_func_arg_match()
6335 ret = mark_chain_precision(env, regno); in btf_check_func_arg_match()
6343 bpf_log(log, "R%d is not a scalar\n", regno); in btf_check_func_arg_match()
6364 bpf_log(log, "R%d must be referenced\n", regno); in btf_check_func_arg_match()
6374 ret = check_func_arg_reg_off(env, reg, regno, arg_type); in btf_check_func_arg_match()
6382 regno, reg->ref_obj_id, ref_obj_id); in btf_check_func_arg_match()
6385 ref_regno = regno; in btf_check_func_arg_match()
6476 regno, btf_type_str(reg_ref_t), in btf_check_func_arg_match()
[all …]