Lines Matching defs:regno
257 int regno; member
709 static void mark_reg_scratched(struct bpf_verifier_env *env, u32 regno) in mark_reg_scratched()
719 static bool reg_scratched(const struct bpf_verifier_env *env, u32 regno) in reg_scratched()
724 static bool stack_slot_scratched(const struct bpf_verifier_env *env, u64 regno) in stack_slot_scratched()
1592 struct bpf_reg_state *regs, u32 regno) in mark_reg_known_zero()
1646 static void mark_reg_graph_node(struct bpf_reg_state *regs, u32 regno, in mark_reg_graph_node()
1936 struct bpf_reg_state *regs, u32 regno) in mark_reg_unknown()
1956 struct bpf_reg_state *regs, u32 regno) in mark_reg_not_init()
1969 struct bpf_reg_state *regs, u32 regno, in mark_btf_ld_reg()
2595 u32 regno, struct bpf_reg_state *reg, enum reg_arg_type t) in is_reg64()
2725 static int check_reg_arg(struct bpf_verifier_env *env, u32 regno, in check_reg_arg()
3184 static int __mark_chain_precision(struct bpf_verifier_env *env, int frame, int regno, in __mark_chain_precision()
3372 int mark_chain_precision(struct bpf_verifier_env *env, int regno) in mark_chain_precision()
3377 static int mark_chain_precision_frame(struct bpf_verifier_env *env, int frame, int regno) in mark_chain_precision_frame()
3888 static struct bpf_reg_state *reg_state(struct bpf_verifier_env *env, int regno) in reg_state()
4021 static int check_map_access_type(struct bpf_verifier_env *env, u32 regno, in check_map_access_type()
4044 static int __check_mem_access(struct bpf_verifier_env *env, int regno, in __check_mem_access()
4080 static int check_mem_region_access(struct bpf_verifier_env *env, u32 regno, in check_mem_region_access()
4136 const struct bpf_reg_state *reg, int regno, in __check_ptr_off_reg()
4168 const struct bpf_reg_state *reg, int regno) in check_ptr_off_reg()
4175 struct bpf_reg_state *reg, u32 regno) in map_kptr_match_type()
4245 static int check_map_kptr_access(struct bpf_verifier_env *env, u32 regno, in check_map_kptr_access()
4301 static int check_map_access(struct bpf_verifier_env *env, u32 regno, in check_map_access()
4405 static int check_packet_access(struct bpf_verifier_env *env, u32 regno, int off, in check_packet_access()
4497 u32 regno, int off, int size, in check_sock_access()
4541 static bool is_pointer_value(struct bpf_verifier_env *env, int regno) in is_pointer_value()
4546 static bool is_ctx_reg(struct bpf_verifier_env *env, int regno) in is_ctx_reg()
4553 static bool is_sk_reg(struct bpf_verifier_env *env, int regno) in is_sk_reg()
4560 static bool is_pkt_reg(struct bpf_verifier_env *env, int regno) in is_pkt_reg()
4567 static bool is_flow_key_reg(struct bpf_verifier_env *env, int regno) in is_flow_key_reg()
4858 int regno, int off, int size) in __check_buffer_access()
4881 int regno, int off, int size) in check_tp_buffer_access()
4897 int regno, int off, int size, in check_buffer_access()
5023 int regno, int off, int size, in check_ptr_to_btf_access()
5149 int regno, int off, int size, in check_ptr_to_map_access()
5236 int regno, int off, int access_size, in check_stack_access_within_bounds()
5299 static int check_mem_access(struct bpf_verifier_env *env, int insn_idx, u32 regno, in check_mem_access()
5652 struct bpf_verifier_env *env, int regno, int off, in check_stack_range_initialized()
5804 static int check_helper_mem_access(struct bpf_verifier_env *env, int regno, in check_helper_mem_access()
5895 struct bpf_reg_state *reg, u32 regno, in check_mem_size_reg()
5950 u32 regno, u32 mem_size) in check_mem_reg()
5982 u32 regno) in check_kfunc_mem_size_reg()
6031 static int process_spin_lock(struct bpf_verifier_env *env, int regno, in process_spin_lock()
6108 static int process_timer_func(struct bpf_verifier_env *env, int regno, in process_timer_func()
6145 static int process_kptr_func(struct bpf_verifier_env *env, int regno, in process_kptr_func()
6209 int process_dynptr_func(struct bpf_verifier_env *env, int regno, in process_dynptr_func()
6478 static int check_reg_type(struct bpf_verifier_env *env, u32 regno, in check_reg_type()
6589 const struct bpf_reg_state *reg, int regno, in check_func_arg_reg_off()
6699 u32 regno = BPF_REG_1 + arg; in check_func_arg() local
8577 static void mark_btf_func_reg_size(struct bpf_verifier_env *env, u32 regno, in mark_btf_func_reg_size()
8928 u32 regno = argno + 1; in get_kfunc_ptr_arg_type() local
9312 struct bpf_reg_state *reg, u32 regno, in __process_kf_arg_ptr_to_graph_root()
9362 struct bpf_reg_state *reg, u32 regno, in process_kf_arg_ptr_to_list_head()
9370 struct bpf_reg_state *reg, u32 regno, in process_kf_arg_ptr_to_rbtree_root()
9379 struct bpf_reg_state *reg, u32 regno, in __process_kf_arg_ptr_to_graph_node()
9441 struct bpf_reg_state *reg, u32 regno, in process_kf_arg_ptr_to_list_node()
9450 struct bpf_reg_state *reg, u32 regno, in process_kf_arg_ptr_to_rbtree_node()
9481 u32 regno = i + 1, ref_id, type_size; in check_kfunc_args() local
10056 u32 regno = i + 1; in check_kfunc_call() local
10408 int regno, in check_stack_access_for_ptr_arithmetic()
12267 static void mark_ptr_or_null_regs(struct bpf_verifier_state *vstate, u32 regno, in mark_ptr_or_null_regs()