| H A D | verifier.c | 285 int regno; member 2225 mark_reg_known_zero(struct bpf_verifier_env * env,struct bpf_reg_state * regs,u32 regno) mark_reg_known_zero() argument 2281 mark_reg_graph_node(struct bpf_reg_state * regs,u32 regno,struct btf_field_graph_root * ds_head) mark_reg_graph_node() argument 2882 mark_reg_unknown(struct bpf_verifier_env * env,struct bpf_reg_state * regs,u32 regno) mark_reg_unknown() argument 2896 __mark_reg_s32_range(struct bpf_verifier_env * env,struct bpf_reg_state * regs,u32 regno,s32 s32_min,s32 s32_max) __mark_reg_s32_range() argument 2921 mark_reg_not_init(struct bpf_verifier_env * env,struct bpf_reg_state * regs,u32 regno) mark_reg_not_init() argument 2934 mark_btf_ld_reg(struct bpf_verifier_env * env,struct bpf_reg_state * regs,u32 regno,enum bpf_reg_type reg_type,struct btf * btf,u32 btf_id,enum bpf_type_flag flag) mark_btf_ld_reg() argument 3790 is_reg64(struct bpf_insn * insn,u32 regno,struct bpf_reg_state * reg,enum reg_arg_type t) is_reg64() argument 3923 __check_reg_arg(struct bpf_verifier_env * env,struct bpf_reg_state * regs,u32 regno,enum reg_arg_type t) __check_reg_arg() argument 3966 check_reg_arg(struct bpf_verifier_env * env,u32 regno,enum reg_arg_type t) check_reg_arg() argument 4015 u8 regno; global() member 4889 __mark_chain_precision(struct bpf_verifier_env * env,struct bpf_verifier_state * starting_state,int regno,bool * changed) __mark_chain_precision() argument 5072 mark_chain_precision(struct bpf_verifier_env * env,int regno) mark_chain_precision() argument 5680 reg_state(struct bpf_verifier_env * env,int regno) reg_state() argument 5810 check_map_access_type(struct bpf_verifier_env * env,u32 regno,int off,int size,enum bpf_access_type type) check_map_access_type() argument 5833 __check_mem_access(struct bpf_verifier_env * env,int regno,int off,int size,u32 mem_size,bool zero_size_allowed) __check_mem_access() argument 5869 check_mem_region_access(struct bpf_verifier_env * env,u32 regno,int off,int size,u32 mem_size,bool zero_size_allowed) check_mem_region_access() argument 5925 __check_ptr_off_reg(struct bpf_verifier_env * env,const struct bpf_reg_state * reg,int regno,bool fixed_off_ok) __check_ptr_off_reg() argument 5957 check_ptr_off_reg(struct bpf_verifier_env * env,const struct bpf_reg_state * reg,int regno) check_ptr_off_reg() argument 5964 map_kptr_match_type(struct bpf_verifier_env * env,struct btf_field * kptr_field,struct bpf_reg_state * reg,u32 regno) map_kptr_match_type() argument 6121 mark_uptr_ld_reg(struct bpf_verifier_env * env,u32 regno,struct btf_field * field) mark_uptr_ld_reg() argument 6137 check_map_kptr_access(struct bpf_verifier_env * env,u32 regno,int value_regno,int insn_idx,struct btf_field * kptr_field) check_map_kptr_access() argument 6214 check_map_access(struct bpf_verifier_env * env,u32 regno,int off,int size,bool zero_size_allowed,enum bpf_access_src src) check_map_access() argument 6324 check_packet_access(struct bpf_verifier_env * env,u32 regno,int off,int size,bool zero_size_allowed) check_packet_access() argument 6411 check_sock_access(struct bpf_verifier_env * env,int insn_idx,u32 regno,int off,int size,enum bpf_access_type t) check_sock_access() argument 6454 is_pointer_value(struct bpf_verifier_env * env,int regno) is_pointer_value() argument 6459 is_ctx_reg(struct bpf_verifier_env * env,int regno) is_ctx_reg() argument 6466 is_sk_reg(struct bpf_verifier_env * env,int regno) is_sk_reg() argument 6473 is_pkt_reg(struct bpf_verifier_env * env,int regno) is_pkt_reg() argument 6480 is_flow_key_reg(struct bpf_verifier_env * env,int regno) is_flow_key_reg() argument 6488 is_arena_reg(struct bpf_verifier_env * env,int regno) is_arena_reg() argument 6498 atomic_ptr_type_ok(struct bpf_verifier_env * env,int regno,struct bpf_insn * insn) atomic_ptr_type_ok() argument 6940 __check_buffer_access(struct bpf_verifier_env * env,const char * buf_info,const struct bpf_reg_state * reg,int regno,int off,int size) __check_buffer_access() argument 6963 check_tp_buffer_access(struct bpf_verifier_env * env,const struct bpf_reg_state * reg,int regno,int off,int size) check_tp_buffer_access() argument 6979 check_buffer_access(struct bpf_verifier_env * env,const struct bpf_reg_state * reg,int regno,int off,int size,bool zero_size_allowed,u32 * max_access) check_buffer_access() argument 7360 check_ptr_to_btf_access(struct bpf_verifier_env * env,struct bpf_reg_state * regs,int regno,int off,int size,enum bpf_access_type atype,int value_regno) check_ptr_to_btf_access() argument 7513 check_ptr_to_map_access(struct bpf_verifier_env * env,struct bpf_reg_state * regs,int regno,int off,int size,enum bpf_access_type atype,int value_regno) check_ptr_to_map_access() argument 7607 check_stack_access_within_bounds(struct bpf_verifier_env * env,int regno,int off,int access_size,enum bpf_access_type type) check_stack_access_within_bounds() argument 7681 check_mem_access(struct bpf_verifier_env * env,int insn_idx,u32 regno,int off,int bpf_size,enum bpf_access_type t,int value_regno,bool strict_alignment_once,bool is_ldsx) check_mem_access() argument 8185 check_stack_range_initialized(struct bpf_verifier_env * env,int regno,int off,int access_size,bool zero_size_allowed,enum bpf_access_type type,struct bpf_call_arg_meta * meta) check_stack_range_initialized() argument 8330 check_helper_mem_access(struct bpf_verifier_env * env,int regno,int access_size,enum bpf_access_type access_type,bool zero_size_allowed,struct bpf_call_arg_meta * meta) check_helper_mem_access() argument 8428 check_mem_size_reg(struct bpf_verifier_env * env,struct bpf_reg_state * reg,u32 regno,enum bpf_access_type access_type,bool zero_size_allowed,struct bpf_call_arg_meta * meta) check_mem_size_reg() argument 8478 check_mem_reg(struct bpf_verifier_env * env,struct bpf_reg_state * reg,u32 regno,u32 mem_size) check_mem_reg() argument 8506 check_kfunc_mem_size_reg(struct bpf_verifier_env * env,struct bpf_reg_state * reg,u32 regno) check_kfunc_mem_size_reg() argument 8560 process_spin_lock(struct bpf_verifier_env * env,int regno,int flags) process_spin_lock() argument 8677 check_map_field_pointer(struct bpf_verifier_env * env,u32 regno,enum btf_field_type field_type,struct bpf_map_desc * map_desc) check_map_field_pointer() argument 8731 process_timer_func(struct bpf_verifier_env * env,int regno,struct bpf_map_desc * map) process_timer_func() argument 8741 process_timer_helper(struct bpf_verifier_env * env,int regno,struct bpf_call_arg_meta * meta) process_timer_helper() argument 8747 process_timer_kfunc(struct bpf_verifier_env * env,int regno,struct bpf_kfunc_call_arg_meta * meta) process_timer_kfunc() argument 8753 process_kptr_func(struct bpf_verifier_env * env,int regno,struct bpf_call_arg_meta * meta) process_kptr_func() argument 8826 process_dynptr_func(struct bpf_verifier_env * env,int regno,int insn_idx,enum bpf_arg_type arg_type,int clone_ref_obj_id) process_dynptr_func() argument 8946 process_iter_arg(struct bpf_verifier_env * env,int regno,int insn_idx,struct bpf_kfunc_call_arg_meta * meta) process_iter_arg() argument 9422 check_reg_type(struct bpf_verifier_env * env,u32 regno,enum bpf_arg_type arg_type,const u32 * arg_btf_id,struct bpf_call_arg_meta * meta) check_reg_type() argument 9587 check_func_arg_reg_off(struct bpf_verifier_env * env,const struct bpf_reg_state * reg,int regno,enum bpf_arg_type arg_type) check_func_arg_reg_off() argument 9724 check_reg_const_str(struct bpf_verifier_env * env,struct bpf_reg_state * reg,u32 regno) check_reg_const_str() argument 9844 u32 regno = BPF_REG_1 + arg; check_func_arg() local 10683 u32 regno = i + 1; btf_check_func_arg_match() local 12158 __mark_btf_func_reg_size(struct bpf_verifier_env * env,struct bpf_reg_state * regs,u32 regno,size_t reg_size) __mark_btf_func_reg_size() argument 12172 mark_btf_func_reg_size(struct bpf_verifier_env * env,u32 regno,size_t reg_size) mark_btf_func_reg_size() argument 12663 u32 regno = argno + 1; get_kfunc_ptr_arg_type() local 12833 process_irq_flag(struct bpf_verifier_env * env,int regno,struct bpf_kfunc_call_arg_meta * meta) process_irq_flag() argument 13163 __process_kf_arg_ptr_to_graph_root(struct bpf_verifier_env * env,struct bpf_reg_state * reg,u32 regno,struct bpf_kfunc_call_arg_meta * meta,enum btf_field_type head_field_type,struct btf_field ** head_field) __process_kf_arg_ptr_to_graph_root() argument 13213 process_kf_arg_ptr_to_list_head(struct bpf_verifier_env * env,struct bpf_reg_state * reg,u32 regno,struct bpf_kfunc_call_arg_meta * meta) process_kf_arg_ptr_to_list_head() argument 13221 process_kf_arg_ptr_to_rbtree_root(struct bpf_verifier_env * env,struct bpf_reg_state * reg,u32 regno,struct bpf_kfunc_call_arg_meta * meta) process_kf_arg_ptr_to_rbtree_root() argument 13230 __process_kf_arg_ptr_to_graph_node(struct bpf_verifier_env * env,struct bpf_reg_state * reg,u32 regno,struct bpf_kfunc_call_arg_meta * meta,enum btf_field_type head_field_type,enum btf_field_type node_field_type,struct btf_field ** node_field) __process_kf_arg_ptr_to_graph_node() argument 13294 process_kf_arg_ptr_to_list_node(struct bpf_verifier_env * env,struct bpf_reg_state * reg,u32 regno,struct bpf_kfunc_call_arg_meta * meta) process_kf_arg_ptr_to_list_node() argument 13303 process_kf_arg_ptr_to_rbtree_node(struct bpf_verifier_env * env,struct bpf_reg_state * reg,u32 regno,struct bpf_kfunc_call_arg_meta * meta) process_kf_arg_ptr_to_rbtree_node() argument 13358 u32 regno = i + 1, ref_id, type_size; check_kfunc_args() local 14321 u32 regno = caller_saved[i]; check_kfunc_call() local 14461 u32 regno = i + 1; check_kfunc_call() local 14782 check_stack_access_for_ptr_arithmetic(struct bpf_verifier_env * env,int regno,const struct bpf_reg_state * reg,int off) check_stack_access_for_ptr_arithmetic() argument 17222 mark_ptr_or_null_regs(struct bpf_verifier_state * vstate,u32 regno,bool is_null) mark_ptr_or_null_regs() argument 17914 check_return_code(struct bpf_verifier_env * env,int regno,const char * reg_name) check_return_code() argument 20957 indirect_jump_min_max_index(struct bpf_verifier_env * env,int regno,struct bpf_map * map,u32 * pmin_index,u32 * pmax_index) indirect_jump_min_max_index() argument 23328 u32 regno = env->insn_aux_data[insn_idx].arg_prog; fixup_kfunc_call() local [all...] |