| H A D | verifier.c | 274 struct bpf_verifier_env *env = private_data; verbose() local 285 verbose_invalid_scalar(struct bpf_verifier_env * env,struct bpf_reg_state * reg,struct bpf_retval_range range,const char * ctx,const char * reg_name) verbose_invalid_scalar() argument 340 bpf_subprog_is_global(const struct bpf_verifier_env * env,int subprog) bpf_subprog_is_global() argument 347 subprog_returns_void(struct bpf_verifier_env * env,int subprog) subprog_returns_void() argument 370 subprog_name(const struct bpf_verifier_env * env,int subprog) subprog_name() argument 381 bpf_mark_subprog_exc_cb(struct bpf_verifier_env * env,int subprog) bpf_mark_subprog_exc_cb() argument 390 subprog_is_exc_cb(struct bpf_verifier_env * env,int subprog) subprog_is_exc_cb() argument 480 is_async_cb_sleepable(struct bpf_verifier_env * env,struct bpf_insn * insn) is_async_cb_sleepable() argument 530 stack_slot_obj_get_spi(struct bpf_verifier_env * env,struct bpf_reg_state * reg,const char * obj_kind,int nr_slots) stack_slot_obj_get_spi() argument 557 dynptr_get_spi(struct bpf_verifier_env * env,struct bpf_reg_state * reg) dynptr_get_spi() argument 562 iter_get_spi(struct bpf_verifier_env * env,struct bpf_reg_state * reg,int nr_slots) iter_get_spi() argument 567 irq_flag_get_spi(struct bpf_verifier_env * env,struct bpf_reg_state * reg) irq_flag_get_spi() argument 622 mark_dynptr_stack_regs(struct bpf_verifier_env * env,struct bpf_reg_state * sreg1,struct bpf_reg_state * sreg2,enum bpf_dynptr_type type) mark_dynptr_stack_regs() argument 633 mark_dynptr_cb_reg(struct bpf_verifier_env * env,struct bpf_reg_state * reg,enum bpf_dynptr_type type) mark_dynptr_cb_reg() argument 643 mark_stack_slots_dynptr(struct bpf_verifier_env * env,struct bpf_reg_state * reg,enum bpf_arg_type arg_type,int insn_idx,int clone_ref_obj_id) mark_stack_slots_dynptr() argument 701 invalidate_dynptr(struct bpf_verifier_env * env,struct bpf_func_state * state,int spi) invalidate_dynptr() argument 714 unmark_stack_slots_dynptr(struct bpf_verifier_env * env,struct bpf_reg_state * reg) unmark_stack_slots_dynptr() argument 772 mark_reg_invalid(const struct bpf_verifier_env * env,struct bpf_reg_state * reg) mark_reg_invalid() argument 780 destroy_if_dynptr_stack_slot(struct bpf_verifier_env * env,struct bpf_func_state * state,int spi) destroy_if_dynptr_stack_slot() argument 851 is_dynptr_reg_valid_uninit(struct bpf_verifier_env * env,struct bpf_reg_state * reg) is_dynptr_reg_valid_uninit() argument 879 is_dynptr_reg_valid_init(struct bpf_verifier_env * env,struct bpf_reg_state * reg) is_dynptr_reg_valid_init() argument 908 is_dynptr_type_expected(struct bpf_verifier_env * env,struct bpf_reg_state * reg,enum bpf_arg_type arg_type) is_dynptr_type_expected() argument 936 mark_stack_slots_iter(struct bpf_verifier_env * env,struct bpf_kfunc_call_arg_meta * meta,struct bpf_reg_state * reg,int insn_idx,struct btf * btf,u32 btf_id,int nr_slots) mark_stack_slots_iter() argument 979 unmark_stack_slots_iter(struct bpf_verifier_env * env,struct bpf_reg_state * reg,int nr_slots) unmark_stack_slots_iter() argument 1007 is_iter_reg_valid_uninit(struct bpf_verifier_env * env,struct bpf_reg_state * reg,int nr_slots) is_iter_reg_valid_uninit() argument 1034 is_iter_reg_valid_init(struct bpf_verifier_env * env,struct bpf_reg_state * reg,struct btf * btf,u32 btf_id,int nr_slots) is_iter_reg_valid_init() argument 1069 mark_stack_slot_irq_flag(struct bpf_verifier_env * env,struct bpf_kfunc_call_arg_meta * meta,struct bpf_reg_state * reg,int insn_idx,int kfunc_class) mark_stack_slot_irq_flag() argument 1102 unmark_stack_slot_irq_flag(struct bpf_verifier_env * env,struct bpf_reg_state * reg,int kfunc_class) unmark_stack_slot_irq_flag() argument 1152 is_irq_flag_reg_valid_uninit(struct bpf_verifier_env * env,struct bpf_reg_state * reg) is_irq_flag_reg_valid_uninit() argument 1176 is_irq_flag_reg_valid_init(struct bpf_verifier_env * env,struct bpf_reg_state * reg) is_irq_flag_reg_valid_init() argument 1241 mark_stack_slot_misc(struct bpf_verifier_env * env,u8 * stype) mark_stack_slot_misc() argument 1359 grow_stack_state(struct bpf_verifier_env * env,struct bpf_func_state * state,int size) grow_stack_state() argument 1388 acquire_reference_state(struct bpf_verifier_env * env,int insn_idx) acquire_reference_state() argument 1402 acquire_reference(struct bpf_verifier_env * env,int insn_idx) acquire_reference() argument 1414 acquire_lock_state(struct bpf_verifier_env * env,int insn_idx,enum ref_state_type type,int id,void * ptr) acquire_lock_state() argument 1433 acquire_irq_state(struct bpf_verifier_env * env,int insn_idx) acquire_irq_state() argument 1630 state_htab_size(struct bpf_verifier_env * env) state_htab_size() argument 1635 bpf_explored_state(struct bpf_verifier_env * env,int idx) bpf_explored_state() argument 1670 pop_stack(struct bpf_verifier_env * env,int * prev_insn_idx,int * insn_idx,bool pop_log) pop_stack() argument 1711 push_stack(struct bpf_verifier_env * env,int insn_idx,int prev_insn_idx,bool speculative) push_stack() argument 1802 __mark_reg_const_zero(const struct bpf_verifier_env * env,struct bpf_reg_state * reg) __mark_reg_const_zero() argument 1812 mark_reg_known_zero(struct bpf_verifier_env * env,struct bpf_reg_state * regs,u32 regno) mark_reg_known_zero() argument 2399 reg_bounds_sanity_check(struct bpf_verifier_env * env,struct bpf_reg_state * reg,const char * ctx) reg_bounds_sanity_check() argument 2478 __mark_reg_unknown(const struct bpf_verifier_env * env,struct bpf_reg_state * reg) __mark_reg_unknown() argument 2485 mark_reg_unknown(struct bpf_verifier_env * env,struct bpf_reg_state * regs,u32 regno) mark_reg_unknown() argument 2491 __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 2510 bpf_mark_reg_not_init(const struct bpf_verifier_env * env,struct bpf_reg_state * reg) bpf_mark_reg_not_init() argument 2517 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 2547 init_reg_state(struct bpf_verifier_env * env,struct bpf_func_state * state) init_reg_state() argument 2573 init_func_state(struct bpf_verifier_env * env,struct bpf_func_state * state,int callsite,int frameno,int subprogno) init_func_state() argument 2586 push_async_cb(struct bpf_verifier_env * env,int insn_idx,int prev_insn_idx,int subprog,bool is_sleepable) push_async_cb() argument 2635 bpf_find_containing_subprog(struct bpf_verifier_env * env,int off) bpf_find_containing_subprog() argument 2656 bpf_find_subprog(struct bpf_verifier_env * env,int off) bpf_find_subprog() argument 2666 add_subprog(struct bpf_verifier_env * env,int off) add_subprog() argument 2689 bpf_find_exception_callback_insn_off(struct bpf_verifier_env * env) bpf_find_exception_callback_insn_off() argument 2808 __find_kfunc_desc_btf(struct bpf_verifier_env * env,s16 offset) __find_kfunc_desc_btf() argument 2884 find_kfunc_desc_btf(struct bpf_verifier_env * env,s16 offset) find_kfunc_desc_btf() argument 2902 find_kfunc_impl_proto(struct bpf_verifier_env * env,struct btf * btf,const char * func_name) find_kfunc_impl_proto() argument 2928 fetch_kfunc_meta(struct bpf_verifier_env * env,s32 func_id,s16 offset,struct bpf_kfunc_meta * kfunc) fetch_kfunc_meta() argument 2991 bpf_add_kfunc_call(struct bpf_verifier_env * env,u32 func_id,u16 offset) bpf_add_kfunc_call() argument 3091 add_subprog_and_kfunc(struct bpf_verifier_env * env) add_subprog_and_kfunc() argument 3154 check_subprogs(struct bpf_verifier_env * env) check_subprogs() argument 3217 sort_subprogs_topo(struct bpf_verifier_env * env) sort_subprogs_topo() argument 3298 mark_stack_slot_obj_read(struct bpf_verifier_env * env,struct bpf_reg_state * reg,int spi,int nr_slots) mark_stack_slot_obj_read() argument 3308 mark_dynptr_read(struct bpf_verifier_env * env,struct bpf_reg_state * reg) mark_dynptr_read() argument 3328 mark_iter_read(struct bpf_verifier_env * env,struct bpf_reg_state * reg,int spi,int nr_slots) mark_iter_read() argument 3334 mark_irq_flag_read(struct bpf_verifier_env * env,struct bpf_reg_state * reg) mark_irq_flag_read() argument 3434 mark_insn_zext(struct bpf_verifier_env * env,struct bpf_reg_state * reg) mark_insn_zext() argument 3447 __check_reg_arg(struct bpf_verifier_env * env,struct bpf_reg_state * regs,u32 regno,enum bpf_reg_arg_type t) __check_reg_arg() argument 3485 check_reg_arg(struct bpf_verifier_env * env,u32 regno,enum bpf_reg_arg_type t) check_reg_arg() argument 3499 mark_indirect_target(struct bpf_verifier_env * env,int idx) mark_indirect_target() argument 3598 bpf_verbose_insn(struct bpf_verifier_env * env,struct bpf_insn * insn) bpf_verbose_insn() argument 3645 mark_chain_precision(struct bpf_verifier_env * env,int regno) mark_chain_precision() argument 3653 mark_chain_precision_batch(struct bpf_verifier_env * env,struct bpf_verifier_state * starting_state) mark_chain_precision_batch() argument 3715 assign_scalar_id_before_mov(struct bpf_verifier_env * env,struct bpf_reg_state * src_reg) assign_scalar_id_before_mov() argument 3742 save_register_state(struct bpf_verifier_env * env,struct bpf_func_state * state,int spi,struct bpf_reg_state * reg,int size) save_register_state() argument 3770 check_fastcall_stack_contract(struct bpf_verifier_env * env,struct bpf_func_state * state,int insn_idx,int off) check_fastcall_stack_contract() argument 3809 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 3937 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 4062 mark_reg_stack_read(struct bpf_verifier_env * env,struct bpf_func_state * ptr_state,int min_off,int max_off,int dst_regno) mark_reg_stack_read() argument 4102 check_stack_read_fixed_off(struct bpf_verifier_env * env,struct bpf_func_state * reg_state,int off,int size,int dst_regno) check_stack_read_fixed_off() argument 4258 reg_state(struct bpf_verifier_env * env,int regno) reg_state() argument 4276 check_stack_read_var_off(struct bpf_verifier_env * env,int ptr_regno,int off,int size,int dst_regno) check_stack_read_var_off() argument 4308 check_stack_read(struct bpf_verifier_env * env,int ptr_regno,int off,int size,int dst_regno) check_stack_read() argument 4364 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 4387 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 4410 __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 4450 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 4505 __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 4537 check_ptr_off_reg(struct bpf_verifier_env * env,const struct bpf_reg_state * reg,int regno) check_ptr_off_reg() argument 4543 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 4622 in_sleepable(struct bpf_verifier_env * env) in_sleepable() argument 4630 in_rcu_cs(struct bpf_verifier_env * env) in_rcu_cs() argument 4682 btf_ld_kptr_type(struct bpf_verifier_env * env,struct btf_field * kptr_field) btf_ld_kptr_type() argument 4705 mark_uptr_ld_reg(struct bpf_verifier_env * env,u32 regno,struct btf_field * field) mark_uptr_ld_reg() argument 4721 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 4798 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 4864 may_access_direct_pkt_data(struct bpf_verifier_env * env,const struct bpf_call_arg_meta * meta,enum bpf_access_type t) may_access_direct_pkt_data() argument 4906 check_packet_access(struct bpf_verifier_env * env,u32 regno,int off,int size,bool zero_size_allowed) check_packet_access() argument 4940 __check_ctx_access(struct bpf_verifier_env * env,int insn_idx,int off,int size,enum bpf_access_type t,struct bpf_insn_access_aux * info) __check_ctx_access() argument 4972 check_ctx_access(struct bpf_verifier_env * env,int insn_idx,u32 regno,int off,int access_size,enum bpf_access_type t,struct bpf_insn_access_aux * info) check_ctx_access() argument 5000 check_flow_keys_access(struct bpf_verifier_env * env,int off,int size) check_flow_keys_access() argument 5012 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 5056 is_pointer_value(struct bpf_verifier_env * env,int regno) is_pointer_value() argument 5061 is_ctx_reg(struct bpf_verifier_env * env,int regno) is_ctx_reg() argument 5068 is_sk_reg(struct bpf_verifier_env * env,int regno) is_sk_reg() argument 5075 is_pkt_reg(struct bpf_verifier_env * env,int regno) is_pkt_reg() argument 5082 is_flow_key_reg(struct bpf_verifier_env * env,int regno) is_flow_key_reg() argument 5090 is_arena_reg(struct bpf_verifier_env * env,int regno) is_arena_reg() argument 5100 atomic_ptr_type_ok(struct bpf_verifier_env * env,int regno,struct bpf_insn * insn) atomic_ptr_type_ok() argument 5160 check_pkt_ptr_alignment(struct bpf_verifier_env * env,const struct bpf_reg_state * reg,int off,int size,bool strict) check_pkt_ptr_alignment() argument 5195 check_generic_ptr_alignment(struct bpf_verifier_env * env,const struct bpf_reg_state * reg,const char * pointer_desc,int off,int size,bool strict) check_generic_ptr_alignment() argument 5219 check_ptr_alignment(struct bpf_verifier_env * env,const struct bpf_reg_state * reg,int off,int size,bool strict_alignment_once) check_ptr_alignment() argument 5304 round_up_stack_depth(struct bpf_verifier_env * env,int stack_depth) round_up_stack_depth() argument 5326 check_max_stack_depth_subprog(struct bpf_verifier_env * env,int idx,struct bpf_subprog_call_depth_info * dinfo,bool priv_stack_supported) check_max_stack_depth_subprog() argument 5504 check_max_stack_depth(struct bpf_verifier_env * env) check_max_stack_depth() argument 5558 __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 5582 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 5598 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 5931 type_is_rcu(struct bpf_verifier_env * env,struct bpf_reg_state * reg,const char * field_name,u32 btf_id) type_is_rcu() argument 5943 type_is_rcu_or_null(struct bpf_verifier_env * env,struct bpf_reg_state * reg,const char * field_name,u32 btf_id) type_is_rcu_or_null() argument 5954 type_is_trusted(struct bpf_verifier_env * env,struct bpf_reg_state * reg,const char * field_name,u32 btf_id) type_is_trusted() argument 5966 type_is_trusted_or_null(struct bpf_verifier_env * env,struct bpf_reg_state * reg,const char * field_name,u32 btf_id) type_is_trusted_or_null() argument 5978 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 6135 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 6207 check_stack_slot_within_bounds(struct bpf_verifier_env * env,s64 off,struct bpf_func_state * state,enum bpf_access_type t) check_stack_slot_within_bounds() argument 6230 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 6322 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 6584 check_load_mem(struct bpf_verifier_env * env,struct bpf_insn * insn,bool strict_alignment_once,bool is_ldsx,bool allow_trust_mismatch,const char * ctx) check_load_mem() argument 6617 check_store_reg(struct bpf_verifier_env * env,struct bpf_insn * insn,bool strict_alignment_once) check_store_reg() argument 6645 check_atomic_rmw(struct bpf_verifier_env * env,struct bpf_insn * insn) check_atomic_rmw() argument 6734 check_atomic_load(struct bpf_verifier_env * env,struct bpf_insn * insn) check_atomic_load() argument 6753 check_atomic_store(struct bpf_verifier_env * env,struct bpf_insn * insn) check_atomic_store() argument 6772 check_atomic(struct bpf_verifier_env * env,struct bpf_insn * insn) check_atomic() argument 6816 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 6962 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 7053 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 7103 check_mem_reg(struct bpf_verifier_env * env,struct bpf_reg_state * reg,u32 regno,u32 mem_size) check_mem_reg() argument 7133 check_kfunc_mem_size_reg(struct bpf_verifier_env * env,struct bpf_reg_state * reg,u32 regno) check_kfunc_mem_size_reg() argument 7188 process_spin_lock(struct bpf_verifier_env * env,int regno,int flags) process_spin_lock() argument 7305 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 7359 process_timer_func(struct bpf_verifier_env * env,int regno,struct bpf_map_desc * map) process_timer_func() argument 7369 process_timer_helper(struct bpf_verifier_env * env,int regno,struct bpf_call_arg_meta * meta) process_timer_helper() argument 7375 process_timer_kfunc(struct bpf_verifier_env * env,int regno,struct bpf_kfunc_call_arg_meta * meta) process_timer_kfunc() argument 7381 process_kptr_func(struct bpf_verifier_env * env,int regno,struct bpf_call_arg_meta * meta) process_kptr_func() argument 7454 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 7534 iter_ref_obj_id(struct bpf_verifier_env * env,struct bpf_reg_state * reg,int spi) iter_ref_obj_id() argument 7570 process_iter_arg(struct bpf_verifier_env * env,int regno,int insn_idx,struct bpf_kfunc_call_arg_meta * meta) process_iter_arg() argument 7659 find_prev_entry(struct bpf_verifier_env * env,struct bpf_verifier_state * cur,int insn_idx) find_prev_entry() argument 7693 maybe_widen_reg(struct bpf_verifier_env * env,struct bpf_reg_state * rold,struct bpf_reg_state * rcur) maybe_widen_reg() argument 7705 widen_imprecise_scalars(struct bpf_verifier_env * env,struct bpf_verifier_state * old,struct bpf_verifier_state * cur) widen_imprecise_scalars() argument 7823 process_iter_next_call(struct bpf_verifier_env * env,int insn_idx,struct bpf_kfunc_call_arg_meta * meta) process_iter_next_call() argument 7900 resolve_map_arg_type(struct bpf_verifier_env * env,const struct bpf_call_arg_meta * meta,enum bpf_arg_type * arg_type) resolve_map_arg_type() argument 8044 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 8214 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 8294 get_dynptr_arg_reg(struct bpf_verifier_env * env,const struct bpf_func_proto * fn,struct bpf_reg_state * regs) get_dynptr_arg_reg() argument 8316 dynptr_id(struct bpf_verifier_env * env,struct bpf_reg_state * reg) dynptr_id() argument 8329 dynptr_ref_obj_id(struct bpf_verifier_env * env,struct bpf_reg_state * reg) dynptr_ref_obj_id() argument 8342 dynptr_get_type(struct bpf_verifier_env * env,struct bpf_reg_state * reg) dynptr_get_type() argument 8360 check_reg_const_str(struct bpf_verifier_env * env,struct bpf_reg_state * reg,u32 regno) check_reg_const_str() argument 8414 get_constant_map_key(struct bpf_verifier_env * env,struct bpf_reg_state * key,u32 key_size,s64 * value) get_constant_map_key() argument 8476 check_func_arg(struct bpf_verifier_env * env,u32 arg,struct bpf_call_arg_meta * meta,const struct bpf_func_proto * fn,int insn_idx) check_func_arg() argument 8746 may_update_sockmap(struct bpf_verifier_env * env,int func_id) may_update_sockmap() argument 8784 bpf_allow_tail_call_in_subprogs(struct bpf_verifier_env * env) bpf_allow_tail_call_in_subprogs() argument 8790 check_map_func_compatibility(struct bpf_verifier_env * env,struct bpf_map * map,int func_id) check_map_func_compatibility() argument 9147 clear_all_pkt_pointers(struct bpf_verifier_env * env) clear_all_pkt_pointers() argument 9204 release_reference(struct bpf_verifier_env * env,int ref_obj_id) release_reference() argument 9223 invalidate_non_owning_refs(struct bpf_verifier_env * env) invalidate_non_owning_refs() argument 9234 clear_caller_saved_regs(struct bpf_verifier_env * env,struct bpf_reg_state * regs) clear_caller_saved_regs() argument 9255 setup_func_entry(struct bpf_verifier_env * env,int subprog,int callsite,set_callee_state_fn set_callee_state_cb,struct bpf_verifier_state * state) setup_func_entry() argument 9303 btf_check_func_arg_match(struct bpf_verifier_env * env,int subprog,const struct btf * btf,struct bpf_reg_state * regs) btf_check_func_arg_match() argument 9404 btf_check_subprog_call(struct bpf_verifier_env * env,int subprog,struct bpf_reg_state * regs) btf_check_subprog_call() argument 9432 push_callback_call(struct bpf_verifier_env * env,struct bpf_insn * insn,int insn_idx,int subprog,set_callee_state_fn set_callee_state_cb) push_callback_call() argument 9504 check_func_call(struct bpf_verifier_env * env,struct bpf_insn * insn,int * insn_idx) check_func_call() argument 9594 map_set_for_each_callback_args(struct bpf_verifier_env * env,struct bpf_func_state * caller,struct bpf_func_state * callee) map_set_for_each_callback_args() argument 9621 set_callee_state(struct bpf_verifier_env * env,struct bpf_func_state * caller,struct bpf_func_state * callee,int insn_idx) set_callee_state() argument 9635 set_map_elem_callback_state(struct bpf_verifier_env * env,struct bpf_func_state * caller,struct bpf_func_state * callee,int insn_idx) set_map_elem_callback_state() argument 9661 set_loop_callback_state(struct bpf_verifier_env * env,struct bpf_func_state * caller,struct bpf_func_state * callee,int insn_idx) set_loop_callback_state() argument 9683 set_timer_callback_state(struct bpf_verifier_env * env,struct bpf_func_state * caller,struct bpf_func_state * callee,int insn_idx) set_timer_callback_state() argument 9713 set_find_vma_callback_state(struct bpf_verifier_env * env,struct bpf_func_state * caller,struct bpf_func_state * callee,int insn_idx) set_find_vma_callback_state() argument 9741 set_user_ringbuf_callback_state(struct bpf_verifier_env * env,struct bpf_func_state * caller,struct bpf_func_state * callee,int insn_idx) set_user_ringbuf_callback_state() argument 9764 set_rbtree_add_callback_state(struct bpf_verifier_env * env,struct bpf_func_state * caller,struct bpf_func_state * callee,int insn_idx) set_rbtree_add_callback_state() argument 9797 set_task_work_schedule_callback_state(struct bpf_verifier_env * env,struct bpf_func_state * caller,struct bpf_func_state * callee,int insn_idx) set_task_work_schedule_callback_state() argument 9833 in_rbtree_lock_required_cb(struct bpf_verifier_env * env) in_rbtree_lock_required_cb() argument 9860 prepare_func_exit(struct bpf_verifier_env * env,int * insn_idx) prepare_func_exit() argument 9950 do_refine_retval_range(struct bpf_verifier_env * env,struct bpf_reg_state * regs,int ret_type,int func_id,struct bpf_call_arg_meta * meta) do_refine_retval_range() argument 9989 record_func_map(struct bpf_verifier_env * env,struct bpf_call_arg_meta * meta,int func_id,int insn_idx) record_func_map() argument 10035 record_func_key(struct bpf_verifier_env * env,struct bpf_call_arg_meta * meta,int func_id,int insn_idx) record_func_key() argument 10071 check_reference_leak(struct bpf_verifier_env * env,bool exception_exit) check_reference_leak() argument 10098 check_resource_leak(struct bpf_verifier_env * env,bool exception_exit,bool check_lock,const char * prefix) check_resource_leak() argument 10131 check_bpf_snprintf_call(struct bpf_verifier_env * env,struct bpf_reg_state * regs) check_bpf_snprintf_call() argument 10169 check_get_func_ip(struct bpf_verifier_env * env) check_get_func_ip() argument 10190 cur_aux(const struct bpf_verifier_env * env) cur_aux() argument 10195 loop_flag_is_zero(struct bpf_verifier_env * env) loop_flag_is_zero() argument 10206 update_loop_inline_state(struct bpf_verifier_env * env,u32 subprogno) update_loop_inline_state() argument 10239 bpf_get_helper_proto(struct bpf_verifier_env * env,int func_id,const struct bpf_func_proto ** ptr) bpf_get_helper_proto() argument 10253 in_sleepable_context(struct bpf_verifier_env * env) in_sleepable_context() argument 10262 non_sleepable_context_description(struct bpf_verifier_env * env) non_sleepable_context_description() argument 10275 check_helper_call(struct bpf_verifier_env * env,struct bpf_insn * insn,int * insn_idx_p) check_helper_call() argument 10791 __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 10806 mark_btf_func_reg_size(struct bpf_verifier_env * env,u32 regno,size_t reg_size) mark_btf_func_reg_size() argument 11025 is_kfunc_arg_callback(struct bpf_verifier_env * env,const struct btf * btf,const struct btf_param * arg) is_kfunc_arg_callback() argument 11065 __btf_type_is_scalar_struct(struct bpf_verifier_env * env,const struct btf * btf,const struct btf_type * t,int rec) __btf_type_is_scalar_struct() argument 11371 get_kfunc_ptr_arg_type(struct bpf_verifier_env * env,struct bpf_kfunc_call_arg_meta * meta,const struct btf_type * t,const struct btf_type * ref_t,const char * ref_tname,const struct btf_param * args,int argno,int nargs) get_kfunc_ptr_arg_type() argument 11475 process_kf_arg_ptr_to_btf_id(struct bpf_verifier_env * env,struct bpf_reg_state * reg,const struct btf_type * ref_t,const char * ref_tname,u32 ref_id,struct bpf_kfunc_call_arg_meta * meta,int argno) process_kf_arg_ptr_to_btf_id() argument 11546 process_irq_flag(struct bpf_verifier_env * env,int regno,struct bpf_kfunc_call_arg_meta * meta) process_irq_flag() argument 11600 ref_set_non_owning(struct bpf_verifier_env * env,struct bpf_reg_state * reg) ref_set_non_owning() argument 11621 ref_convert_owning_non_owning(struct bpf_verifier_env * env,u32 ref_obj_id) ref_convert_owning_non_owning() argument 11697 check_reg_allocation_locked(struct bpf_verifier_env * env,struct bpf_reg_state * reg) check_reg_allocation_locked() argument 11820 check_kfunc_is_graph_root_api(struct bpf_verifier_env * env,enum btf_field_type head_field_type,u32 kfunc_btf_id) check_kfunc_is_graph_root_api() argument 11845 check_kfunc_is_graph_node_api(struct bpf_verifier_env * env,enum btf_field_type node_field_type,u32 kfunc_btf_id) check_kfunc_is_graph_node_api() argument 11874 __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 11924 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 11932 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 11941 __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 12005 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 12014 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 12029 check_css_task_iter_allowlist(struct bpf_verifier_env * env) check_css_task_iter_allowlist() argument 12045 check_kfunc_args(struct bpf_verifier_env * env,struct bpf_kfunc_call_arg_meta * meta,int insn_idx) check_kfunc_args() argument 12594 bpf_fetch_kfunc_arg_meta(struct bpf_verifier_env * env,s32 func_id,s16 offset,struct bpf_kfunc_call_arg_meta * meta) bpf_fetch_kfunc_arg_meta() argument 12630 bpf_helper_stack_access_bytes(struct bpf_verifier_env * env,struct bpf_insn * insn,int arg,int insn_idx) bpf_helper_stack_access_bytes() argument 12748 bpf_kfunc_stack_access_bytes(struct bpf_verifier_env * env,struct bpf_insn * insn,int arg,int insn_idx) bpf_kfunc_stack_access_bytes() argument 12813 check_special_kfunc(struct bpf_verifier_env * env,struct bpf_kfunc_call_arg_meta * meta,struct bpf_reg_state * regs,struct bpf_insn_aux_data * insn_aux,const struct btf_type * ptr_type,struct btf * desc_btf) check_special_kfunc() argument 12989 check_kfunc_call(struct bpf_verifier_env * env,struct bpf_insn * insn,int * insn_idx_p) check_kfunc_call() argument 13374 check_reg_sane_offset_scalar(struct bpf_verifier_env * env,const struct bpf_reg_state * reg,enum bpf_reg_type type) check_reg_sane_offset_scalar() argument 13403 check_reg_sane_offset_ptr(struct bpf_verifier_env * env,const struct bpf_reg_state * reg,enum bpf_reg_type type) check_reg_sane_offset_ptr() argument 13463 can_skip_alu_sanitation(const struct bpf_verifier_env * env,const struct bpf_insn * insn) can_skip_alu_sanitation() argument 13488 sanitize_val_alu(struct bpf_verifier_env * env,struct bpf_insn * insn) sanitize_val_alu() argument 13509 sanitize_speculative_path(struct bpf_verifier_env * env,const struct bpf_insn * insn,u32 next_idx,u32 curr_idx) sanitize_speculative_path() argument 13529 sanitize_ptr_alu(struct bpf_verifier_env * env,struct bpf_insn * insn,const struct bpf_reg_state * ptr_reg,const struct bpf_reg_state * off_reg,struct bpf_reg_state * dst_reg,struct bpf_sanitize_info * info,const bool commit_window) sanitize_ptr_alu() argument 13625 sanitize_mark_insn_seen(struct bpf_verifier_env * env) sanitize_mark_insn_seen() argument 13638 sanitize_err(struct bpf_verifier_env * env,const struct bpf_insn * insn,int reason,const struct bpf_reg_state * off_reg,const struct bpf_reg_state * dst_reg) sanitize_err() argument 13684 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 13707 sanitize_check_bounds(struct bpf_verifier_env * env,const struct bpf_insn * insn,const struct bpf_reg_state * dst_reg) sanitize_check_bounds() argument 13744 adjust_ptr_min_max_vals(struct bpf_verifier_env * env,struct bpf_insn * insn,const struct bpf_reg_state * ptr_reg,const struct bpf_reg_state * off_reg) adjust_ptr_min_max_vals() argument 14874 maybe_fork_scalars(struct bpf_verifier_env * env,struct bpf_insn * insn,struct bpf_reg_state * dst_reg) maybe_fork_scalars() argument 14907 adjust_scalar_min_max_vals(struct bpf_verifier_env * env,struct bpf_insn * insn,struct bpf_reg_state * dst_reg,struct bpf_reg_state src_reg) adjust_scalar_min_max_vals() argument 15065 adjust_reg_min_max_vals(struct bpf_verifier_env * env,struct bpf_insn * insn) adjust_reg_min_max_vals() argument 15233 check_alu_op(struct bpf_verifier_env * env,struct bpf_insn * insn) check_alu_op() argument 15508 simulate_both_branches_taken(struct bpf_verifier_env * env,u8 opcode,bool is_jmp32) simulate_both_branches_taken() argument 15541 is_scalar_branch_taken(struct bpf_verifier_env * env,struct bpf_reg_state * reg1,struct bpf_reg_state * reg2,u8 opcode,bool is_jmp32) is_scalar_branch_taken() argument 15765 is_branch_taken(struct bpf_verifier_env * env,struct bpf_reg_state * reg1,struct bpf_reg_state * reg2,u8 opcode,bool is_jmp32) is_branch_taken() argument 16004 regs_bounds_sanity_check_branches(struct bpf_verifier_env * env) regs_bounds_sanity_check_branches() argument 16207 collect_linked_regs(struct bpf_verifier_env * env,struct bpf_verifier_state * vstate,u32 id,struct linked_regs * linked_regs) collect_linked_regs() argument 16240 sync_linked_regs(struct bpf_verifier_env * env,struct bpf_verifier_state * vstate,struct bpf_reg_state * known_reg,struct linked_regs * linked_regs) sync_linked_regs() argument 16300 check_cond_jmp_op(struct bpf_verifier_env * env,struct bpf_insn * insn,int * insn_idx) check_cond_jmp_op() argument 16539 check_ld_imm(struct bpf_verifier_env * env,struct bpf_insn * insn) check_ld_imm() argument 16661 check_ld_abs(struct bpf_verifier_env * env,struct bpf_insn * insn) check_ld_abs() argument 16742 return_retval_range(struct bpf_verifier_env * env,struct bpf_retval_range * range) return_retval_range() argument 16850 program_returns_void(struct bpf_verifier_env * env) program_returns_void() argument 16882 check_return_code(struct bpf_verifier_env * env,int regno,const char * reg_name) check_return_code() argument 16967 check_global_subprog_return_code(struct bpf_verifier_env * env) check_global_subprog_return_code() argument 17001 bpf_verifier_inlines_helper_call(struct bpf_verifier_env * env,s32 imm) bpf_verifier_inlines_helper_call() argument 17020 bpf_get_call_summary(struct bpf_verifier_env * env,struct bpf_insn * call,struct bpf_call_summary * cs) bpf_get_call_summary() argument 17135 mark_fastcall_pattern_for_call(struct bpf_verifier_env * env,struct bpf_subprog_info * subprog,int insn_idx,s16 lowest_off) mark_fastcall_pattern_for_call() argument 17222 mark_fastcall_patterns(struct bpf_verifier_env * env) mark_fastcall_patterns() argument 17250 adjust_btf_func(struct bpf_verifier_env * env) adjust_btf_func() argument 17299 bpf_clear_singular_ids(struct bpf_verifier_env * env,struct bpf_verifier_state * st) bpf_clear_singular_ids() argument 17377 save_aux_ptr_type(struct bpf_verifier_env * env,enum bpf_reg_type type,bool allow_trust_mismatch) save_aux_ptr_type() argument 17430 process_bpf_exit_full(struct bpf_verifier_env * env,bool * do_print_state,bool exception_exit) process_bpf_exit_full() argument 17490 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 17524 check_indirect_jump(struct bpf_verifier_env * env,struct bpf_insn * insn) check_indirect_jump() argument 17582 do_check_insn(struct bpf_verifier_env * env,bool * do_print_state) do_check_insn() argument 17678 do_check(struct bpf_verifier_env * env) do_check() argument 17896 __add_used_btf(struct bpf_verifier_env * env,struct btf * btf) __add_used_btf() argument 17937 __check_pseudo_btf_id(struct bpf_verifier_env * env,struct bpf_insn * insn,struct bpf_insn_aux_data * aux,struct btf * btf) __check_pseudo_btf_id() argument 18020 check_pseudo_btf_id(struct bpf_verifier_env * env,struct bpf_insn * insn,struct bpf_insn_aux_data * aux) check_pseudo_btf_id() argument 18073 check_map_prog_compatibility(struct bpf_verifier_env * env,struct bpf_map * map,struct bpf_prog * prog) check_map_prog_compatibility() argument 18178 __add_used_map(struct bpf_verifier_env * env,struct bpf_map * map) __add_used_map() argument 18225 add_used_map(struct bpf_verifier_env * env,int fd) add_used_map() argument 18239 check_alu_fields(struct bpf_verifier_env * env,struct bpf_insn * insn) check_alu_fields() argument 18313 check_jmp_fields(struct bpf_verifier_env * env,struct bpf_insn * insn) check_jmp_fields() argument 18371 check_insn_fields(struct bpf_verifier_env * env,struct bpf_insn * insn) check_insn_fields() argument 18431 check_and_resolve_insns(struct bpf_verifier_env * env) check_and_resolve_insns() argument 18579 release_maps(struct bpf_verifier_env * env) release_maps() argument 18586 release_btfs(struct bpf_verifier_env * env) release_btfs() argument 18592 convert_pseudo_ld_imm64(struct bpf_verifier_env * env) convert_pseudo_ld_imm64() argument 18607 release_insn_arrays(struct bpf_verifier_env * env) release_insn_arrays() argument 18628 sanitize_dead_code(struct bpf_verifier_env * env) sanitize_dead_code() argument 18646 free_states(struct bpf_verifier_env * env) free_states() argument 18689 do_check_common(struct bpf_verifier_env * env,int subprog) do_check_common() argument 18847 do_check_subprogs(struct bpf_verifier_env * env) do_check_subprogs() argument 18897 do_check_main(struct bpf_verifier_env * env) do_check_main() argument 18909 print_verification_stats(struct bpf_verifier_env * env) print_verification_stats() argument 18942 check_struct_ops_btf_id(struct bpf_verifier_env * env) check_struct_ops_btf_id() argument 19543 check_attach_btf_id(struct bpf_verifier_env * env) check_attach_btf_id() argument 19650 add_fd_from_fd_array(struct bpf_verifier_env * env,int fd) add_fd_from_fd_array() argument 19675 process_fd_array(struct bpf_verifier_env * env,union bpf_attr * attr,bpfptr_t uattr) process_fd_array() argument 19711 specialize_kfunc(struct bpf_verifier_env * env,struct bpf_kfunc_desc * desc,int insn_idx) specialize_kfunc() argument 19777 bpf_fixup_kfunc_call(struct bpf_verifier_env * env,struct bpf_insn * insn,struct bpf_insn * insn_buf,int insn_idx,int * cnt) bpf_fixup_kfunc_call() argument 19918 struct bpf_verifier_env *env; bpf_check() local [all...] |
| H A D | btf.c | 1546 btf_verifier_log(struct btf_verifier_env * env,const char * fmt,...) btf_verifier_log() argument 1560 __btf_verifier_log_type(struct btf_verifier_env * env,const struct btf_type * t,bool log_details,const char * fmt,...) __btf_verifier_log_type() argument 1604 btf_verifier_log_type(env,t,...) global() argument 1606 btf_verifier_log_basic(env,t,...) global() argument 1610 btf_verifier_log_member(struct btf_verifier_env * env,const struct btf_type * struct_type,const struct btf_member * member,const char * fmt,...) btf_verifier_log_member() argument 1663 btf_verifier_log_vsi(struct btf_verifier_env * env,const struct btf_type * datasec_type,const struct btf_var_secinfo * vsi,const char * fmt,...) btf_verifier_log_vsi() argument 1690 btf_verifier_log_hdr(struct btf_verifier_env * env,u32 btf_data_size) btf_verifier_log_hdr() argument 1719 btf_add_type(struct btf_verifier_env * env,struct btf_type * t) btf_add_type() argument 1926 env_resolve_init(struct btf_verifier_env * env) env_resolve_init() argument 1962 btf_verifier_env_free(struct btf_verifier_env * env) btf_verifier_env_free() argument 1968 env_type_is_resolve_sink(const struct btf_verifier_env * env,const struct btf_type * next_type) env_type_is_resolve_sink() argument 1993 env_type_is_resolved(const struct btf_verifier_env * env,u32 type_id) env_type_is_resolved() argument 2003 env_stack_push(struct btf_verifier_env * env,const struct btf_type * t,u32 type_id) env_stack_push() argument 2033 env_stack_set_next_member(struct btf_verifier_env * env,u16 next_member) env_stack_set_next_member() argument 2039 env_stack_pop_resolved(struct btf_verifier_env * env,u32 resolved_type_id,u32 resolved_size) env_stack_pop_resolved() argument 2052 env_stack_peak(struct btf_verifier_env * env) env_stack_peak() argument 2221 btf_df_check_member(struct btf_verifier_env * env,const struct btf_type * struct_type,const struct btf_member * member,const struct btf_type * member_type) btf_df_check_member() argument 2231 btf_df_check_kflag_member(struct btf_verifier_env * env,const struct btf_type * struct_type,const struct btf_member * member,const struct btf_type * member_type) btf_df_check_kflag_member() argument 2244 btf_generic_check_kflag_member(struct btf_verifier_env * env,const struct btf_type * struct_type,const struct btf_member * member,const struct btf_type * member_type) btf_generic_check_kflag_member() argument 2263 btf_df_resolve(struct btf_verifier_env * env,const struct resolve_vertex * v) btf_df_resolve() argument 2277 btf_int_check_member(struct btf_verifier_env * env,const struct btf_type * struct_type,const struct btf_member * member,const struct btf_type * member_type) btf_int_check_member() argument 2315 btf_int_check_kflag_member(struct btf_verifier_env * env,const struct btf_type * struct_type,const struct btf_member * member,const struct btf_type * member_type) btf_int_check_kflag_member() argument 2371 btf_int_check_meta(struct btf_verifier_env * env,const struct btf_type * t,u32 meta_left) btf_int_check_meta() argument 2435 btf_int_log(struct btf_verifier_env * env,const struct btf_type * t) btf_int_log() argument 2636 btf_modifier_check_member(struct btf_verifier_env * env,const struct btf_type * struct_type,const struct btf_member * member,const struct btf_type * member_type) btf_modifier_check_member() argument 2661 btf_modifier_check_kflag_member(struct btf_verifier_env * env,const struct btf_type * struct_type,const struct btf_member * member,const struct btf_type * member_type) btf_modifier_check_kflag_member() argument 2686 btf_ptr_check_member(struct btf_verifier_env * env,const struct btf_type * struct_type,const struct btf_member * member,const struct btf_type * member_type) btf_ptr_check_member() argument 2712 btf_ref_type_check_meta(struct btf_verifier_env * env,const struct btf_type * t,u32 meta_left) btf_ref_type_check_meta() argument 2760 btf_modifier_resolve(struct btf_verifier_env * env,const struct resolve_vertex * v) btf_modifier_resolve() argument 2802 btf_var_resolve(struct btf_verifier_env * env,const struct resolve_vertex * v) btf_var_resolve() argument 2848 btf_ptr_resolve(struct btf_verifier_env * env,const struct resolve_vertex * v) btf_ptr_resolve() argument 2945 btf_ref_type_log(struct btf_verifier_env * env,const struct btf_type * t) btf_ref_type_log() argument 2969 btf_fwd_check_meta(struct btf_verifier_env * env,const struct btf_type * t,u32 meta_left) btf_fwd_check_meta() argument 2995 btf_fwd_type_log(struct btf_verifier_env * env,const struct btf_type * t) btf_fwd_type_log() argument 3010 btf_array_check_member(struct btf_verifier_env * env,const struct btf_type * struct_type,const struct btf_member * member,const struct btf_type * member_type) btf_array_check_member() argument 3039 btf_array_check_meta(struct btf_verifier_env * env,const struct btf_type * t,u32 meta_left) btf_array_check_meta() argument 3092 btf_array_resolve(struct btf_verifier_env * env,const struct resolve_vertex * v) btf_array_resolve() argument 3157 btf_array_log(struct btf_verifier_env * env,const struct btf_type * t) btf_array_log() argument 3261 btf_struct_check_member(struct btf_verifier_env * env,const struct btf_type * struct_type,const struct btf_member * member,const struct btf_type * member_type) btf_struct_check_member() argument 3286 btf_struct_check_meta(struct btf_verifier_env * env,const struct btf_type * t,u32 meta_left) btf_struct_check_meta() argument 3367 btf_struct_resolve(struct btf_verifier_env * env,const struct resolve_vertex * v) btf_struct_resolve() argument 3438 btf_struct_log(struct btf_verifier_env * env,const struct btf_type * t) btf_struct_log() argument 4383 btf_enum_check_member(struct btf_verifier_env * env,const struct btf_type * struct_type,const struct btf_member * member,const struct btf_type * member_type) btf_enum_check_member() argument 4408 btf_enum_check_kflag_member(struct btf_verifier_env * env,const struct btf_type * struct_type,const struct btf_member * member,const struct btf_type * member_type) btf_enum_check_kflag_member() argument 4443 btf_enum_check_meta(struct btf_verifier_env * env,const struct btf_type * t,u32 meta_left) btf_enum_check_meta() argument 4502 btf_enum_log(struct btf_verifier_env * env,const struct btf_type * t) btf_enum_log() argument 4551 btf_enum64_check_meta(struct btf_verifier_env * env,const struct btf_type * t,u32 meta_left) btf_enum64_check_meta() argument 4654 btf_func_proto_check_meta(struct btf_verifier_env * env,const struct btf_type * t,u32 meta_left) btf_func_proto_check_meta() argument 4682 btf_func_proto_log(struct btf_verifier_env * env,const struct btf_type * t) btf_func_proto_log() argument 4741 btf_func_check_meta(struct btf_verifier_env * env,const struct btf_type * t,u32 meta_left) btf_func_check_meta() argument 4766 btf_func_resolve(struct btf_verifier_env * env,const struct resolve_vertex * v) btf_func_resolve() argument 4790 btf_var_check_meta(struct btf_verifier_env * env,const struct btf_type * t,u32 meta_left) btf_var_check_meta() argument 4838 btf_var_log(struct btf_verifier_env * env,const struct btf_type * t) btf_var_log() argument 4854 btf_datasec_check_meta(struct btf_verifier_env * env,const struct btf_type * t,u32 meta_left) btf_datasec_check_meta() argument 4927 btf_datasec_resolve(struct btf_verifier_env * env,const struct resolve_vertex * v) btf_datasec_resolve() argument 4967 btf_datasec_log(struct btf_verifier_env * env,const struct btf_type * t) btf_datasec_log() argument 5006 btf_float_check_meta(struct btf_verifier_env * env,const struct btf_type * t,u32 meta_left) btf_float_check_meta() argument 5031 btf_float_check_member(struct btf_verifier_env * env,const struct btf_type * struct_type,const struct btf_member * member,const struct btf_type * member_type) btf_float_check_member() argument 5066 btf_float_log(struct btf_verifier_env * env,const struct btf_type * t) btf_float_log() argument 5081 btf_decl_tag_check_meta(struct btf_verifier_env * env,const struct btf_type * t,u32 meta_left) btf_decl_tag_check_meta() argument 5119 btf_decl_tag_resolve(struct btf_verifier_env * env,const struct resolve_vertex * v) btf_decl_tag_resolve() argument 5165 btf_decl_tag_log(struct btf_verifier_env * env,const struct btf_type * t) btf_decl_tag_log() argument 5180 btf_func_proto_check(struct btf_verifier_env * env,const struct btf_type * t) btf_func_proto_check() argument 5275 btf_func_check(struct btf_verifier_env * env,const struct btf_type * t) btf_func_check() argument 5325 btf_check_meta(struct btf_verifier_env * env,const struct btf_type * t,u32 meta_left) btf_check_meta() argument 5367 btf_check_all_metas(struct btf_verifier_env * env) btf_check_all_metas() argument 5394 btf_resolve_valid(struct btf_verifier_env * env,const struct btf_type * t,u32 type_id) btf_resolve_valid() argument 5435 btf_resolve(struct btf_verifier_env * env,const struct btf_type * t,u32 type_id) btf_resolve() argument 5468 btf_check_all_types(struct btf_verifier_env * env) btf_check_all_types() argument 5502 btf_parse_type_sec(struct btf_verifier_env * env) btf_parse_type_sec() argument 5525 btf_parse_str_sec(struct btf_verifier_env * env) btf_parse_str_sec() argument 5557 btf_parse_layout_sec(struct btf_verifier_env * env) btf_parse_layout_sec() argument 5607 btf_check_sec_info(struct btf_verifier_env * env,u32 btf_data_size) btf_check_sec_info() argument 5664 btf_parse_hdr(struct btf_verifier_env * env) btf_parse_hdr() argument 5870 btf_check_type_tags(struct btf_verifier_env * env,struct btf * btf,int start_id) btf_check_type_tags() argument 5937 struct btf_verifier_env *env = NULL; btf_parse() local 6424 struct btf_verifier_env *env = NULL; btf_parse_vmlinux() local 6469 struct btf_verifier_env *env = NULL; btf_parse_module() local 7836 btf_prepare_func_args(struct bpf_verifier_env * env,int subprog) btf_prepare_func_args() argument [all...] |