| H A D | verifier.c | 170 int insn_idx;
member
759 static int acquire_reference_state(struct bpf_verifier_env *env, int insn_idx)
in acquire_reference_state() argument
919 static int pop_stack(struct bpf_verifier_env *env, int *prev_insn_idx, int *insn_idx, bool pop_log)
in pop_stack() argument
952 push_stack(struct bpf_verifier_env *env, int insn_idx, int prev_insn_idx, bool speculative) push_stack() argument
2286 check_stack_write_fixed_off(struct bpf_verifier_env *env, struct bpf_func_state *state, int off, int size, int value_regno, int insn_idx) check_stack_write_fixed_off() argument
2413 check_stack_write_var_off(struct bpf_verifier_env *env, struct bpf_func_state *state, int ptr_regno, int off, int size, int value_regno, int insn_idx) check_stack_write_var_off() argument
2743 check_stack_write(struct bpf_verifier_env *env, int ptr_regno, int off, int size, int value_regno, int insn_idx) check_stack_write() argument
2978 check_ctx_access(struct bpf_verifier_env *env, int insn_idx, int off, int size, enum bpf_access_type t, enum bpf_reg_type *reg_type, u32 *btf_id) check_ctx_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
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
3895 check_xadd(struct bpf_verifier_env *env, int insn_idx, struct bpf_insn *insn) check_xadd() argument
5062 check_func_call(struct bpf_verifier_env *env, struct bpf_insn *insn, int *insn_idx) check_func_call() argument
5160 prepare_func_exit(struct bpf_verifier_env *env, int *insn_idx) prepare_func_exit() argument
5222 record_func_map(struct bpf_verifier_env *env, struct bpf_call_arg_meta *meta, int func_id, int insn_idx) record_func_map() argument
5257 record_func_key(struct bpf_verifier_env *env, struct bpf_call_arg_meta *meta, int func_id, int insn_idx) record_func_key() argument
5306 check_helper_call(struct bpf_verifier_env *env, int func_id, int insn_idx) check_helper_call() argument
7822 check_cond_jmp_op(struct bpf_verifier_env *env, struct bpf_insn *insn, int *insn_idx) check_cond_jmp_op() argument
9407 is_state_visited(struct bpf_verifier_env *env, int insn_idx) is_state_visited() argument
[all...] |