| H A D | verifier.c | 243 int regno;
member
1055 static void mark_reg_known_zero(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno)
in mark_reg_known_zero() argument
1332 static void mark_reg_unknown(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno)
in mark_reg_unknown() argument
1351 mark_reg_not_init(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno) mark_reg_not_init() argument
1364 mark_btf_ld_reg(struct bpf_verifier_env *env, struct bpf_reg_state *regs, u32 regno, enum bpf_reg_type reg_type, u32 btf_id) mark_btf_ld_reg() argument
1590 is_reg64(struct bpf_verifier_env *env, struct bpf_insn *insn, u32 regno, struct bpf_reg_state *reg, enum reg_arg_type t) is_reg64() argument
1711 check_reg_arg(struct bpf_verifier_env *env, u32 regno, enum reg_arg_type t) check_reg_arg() argument
2029 __mark_chain_precision(struct bpf_verifier_env *env, int regno, int spi) __mark_chain_precision() argument
2204 mark_chain_precision(struct bpf_verifier_env *env, int regno) mark_chain_precision() argument
2641 reg_state(struct bpf_verifier_env *env, int regno) reg_state() argument
2762 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
2780 __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
2810 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
2862 check_map_access(struct bpf_verifier_env *env, u32 regno, int off, int size, bool zero_size_allowed) check_map_access() argument
2942 check_packet_access(struct bpf_verifier_env *env, u32 regno, int off, int size, bool zero_size_allowed) check_packet_access() argument
3021 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
3061 is_pointer_value(struct bpf_verifier_env *env, int regno) is_pointer_value() argument
3066 is_ctx_reg(struct bpf_verifier_env *env, int regno) is_ctx_reg() argument
3073 is_sk_reg(struct bpf_verifier_env *env, int regno) is_sk_reg() argument
3080 is_pkt_reg(struct bpf_verifier_env *env, int regno) is_pkt_reg() argument
3087 is_flow_key_reg(struct bpf_verifier_env *env, int regno) is_flow_key_reg() argument
3349 __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
3373 check_ptr_off_reg(struct bpf_verifier_env *env, const struct bpf_reg_state *reg, int regno) check_ptr_off_reg() argument
3378 __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
3396 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
3413 check_buffer_access(struct bpf_verifier_env *env, const struct bpf_reg_state *reg, int regno, int off, int size, bool zero_size_allowed, const char *buf_info, u32 *max_access) check_buffer_access() argument
3505 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
3548 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
3625 check_stack_access_within_bounds(struct bpf_verifier_env *env, int regno, int off, int access_size, enum stack_access_src src, enum bpf_access_type type) check_stack_access_within_bounds() argument
3689 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) check_mem_access() argument
3947 check_stack_range_initialized(struct bpf_verifier_env *env, int regno, int off, int access_size, bool zero_size_allowed, enum stack_access_src type, struct bpf_call_arg_meta *meta) check_stack_range_initialized() argument
4073 check_helper_mem_access(struct bpf_verifier_env *env, int regno, int access_size, bool zero_size_allowed, struct bpf_call_arg_meta *meta) check_helper_mem_access() argument
4139 process_spin_lock(struct bpf_verifier_env *env, int regno, bool is_lock) process_spin_lock() argument
4341 check_reg_type(struct bpf_verifier_env *env, u32 regno, enum bpf_arg_type arg_type, const u32 *arg_btf_id) check_reg_type() argument
4412 u32 regno = BPF_REG_1 + arg; check_func_arg() local
5881 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
7701 mark_ptr_or_null_regs(struct bpf_verifier_state *vstate, u32 regno, bool is_null) mark_ptr_or_null_regs() argument
[all...] |