Lines Matching defs:regno
253 int regno; member
645 static void mark_reg_scratched(struct bpf_verifier_env *env, u32 regno) in mark_reg_scratched()
655 static bool reg_scratched(const struct bpf_verifier_env *env, u32 regno) in reg_scratched()
660 static bool stack_slot_scratched(const struct bpf_verifier_env *env, u64 regno) in stack_slot_scratched()
1380 struct bpf_reg_state *regs, u32 regno) in mark_reg_known_zero()
1697 struct bpf_reg_state *regs, u32 regno) in mark_reg_unknown()
1717 struct bpf_reg_state *regs, u32 regno) in mark_reg_not_init()
1730 struct bpf_reg_state *regs, u32 regno, in mark_btf_ld_reg()
2324 u32 regno, struct bpf_reg_state *reg, enum reg_arg_type t) in is_reg64()
2454 static int check_reg_arg(struct bpf_verifier_env *env, u32 regno, in check_reg_arg()
2771 static int __mark_chain_precision(struct bpf_verifier_env *env, int regno, in __mark_chain_precision()
2933 int mark_chain_precision(struct bpf_verifier_env *env, int regno) in mark_chain_precision()
3400 static struct bpf_reg_state *reg_state(struct bpf_verifier_env *env, int regno) in reg_state()
3533 static int check_map_access_type(struct bpf_verifier_env *env, u32 regno, in check_map_access_type()
3556 static int __check_mem_access(struct bpf_verifier_env *env, int regno, in __check_mem_access()
3592 static int check_mem_region_access(struct bpf_verifier_env *env, u32 regno, in check_mem_region_access()
3648 const struct bpf_reg_state *reg, int regno, in __check_ptr_off_reg()
3680 const struct bpf_reg_state *reg, int regno) in check_ptr_off_reg()
3687 struct bpf_reg_state *reg, u32 regno) in map_kptr_match_type()
3757 static int check_map_kptr_access(struct bpf_verifier_env *env, u32 regno, in check_map_kptr_access()
3813 static int check_map_access(struct bpf_verifier_env *env, u32 regno, in check_map_access()
3928 static int check_packet_access(struct bpf_verifier_env *env, u32 regno, int off, in check_packet_access()
4020 u32 regno, int off, int size, in check_sock_access()
4064 static bool is_pointer_value(struct bpf_verifier_env *env, int regno) in is_pointer_value()
4069 static bool is_ctx_reg(struct bpf_verifier_env *env, int regno) in is_ctx_reg()
4076 static bool is_sk_reg(struct bpf_verifier_env *env, int regno) in is_sk_reg()
4083 static bool is_pkt_reg(struct bpf_verifier_env *env, int regno) in is_pkt_reg()
4090 static bool is_flow_key_reg(struct bpf_verifier_env *env, int regno) in is_flow_key_reg()
4357 int regno, int off, int size) in __check_buffer_access()
4380 int regno, int off, int size) in check_tp_buffer_access()
4396 int regno, int off, int size, in check_buffer_access()
4503 int regno, int off, int size, in check_ptr_to_btf_access()
4574 int regno, int off, int size, in check_ptr_to_map_access()
4657 int regno, int off, int access_size, in check_stack_access_within_bounds()
4720 static int check_mem_access(struct bpf_verifier_env *env, int insn_idx, u32 regno, in check_mem_access()
5074 struct bpf_verifier_env *env, int regno, int off, in check_stack_range_initialized()
5200 static int check_helper_mem_access(struct bpf_verifier_env *env, int regno, in check_helper_mem_access()
5291 struct bpf_reg_state *reg, u32 regno, in check_mem_size_reg()
5346 u32 regno, u32 mem_size) in check_mem_reg()
5378 u32 regno) in check_kfunc_mem_size_reg()
5424 static int process_spin_lock(struct bpf_verifier_env *env, int regno, in process_spin_lock()
5486 static int process_timer_func(struct bpf_verifier_env *env, int regno, in process_timer_func()
5534 static int process_kptr_func(struct bpf_verifier_env *env, int regno, in process_kptr_func()
5745 static int check_reg_type(struct bpf_verifier_env *env, u32 regno, in check_reg_type()
5834 const struct bpf_reg_state *reg, int regno, in check_func_arg_reg_off()
5901 u32 regno = BPF_REG_1 + arg; in check_func_arg() local
7649 static void mark_btf_func_reg_size(struct bpf_verifier_env *env, u32 regno, in mark_btf_func_reg_size()
7792 u32 regno = i + 1; in check_kfunc_call() local
8144 int regno, in check_stack_access_for_ptr_arithmetic()
9993 static void mark_ptr_or_null_regs(struct bpf_verifier_state *vstate, u32 regno, in mark_ptr_or_null_regs()