312 struct btf_verifier_env {  struct
443 	s32 (*check_meta)(struct btf_verifier_env *env,
446 	int (*resolve)(struct btf_verifier_env *env,
448 	int (*check_member)(struct btf_verifier_env *env,
452 	int (*check_kflag_member)(struct btf_verifier_env *env,
456 	void (*log_details)(struct btf_verifier_env *env,
466 static int btf_resolve(struct btf_verifier_env *env,
469 static int btf_func_check(struct btf_verifier_env *env,
1415 __printf(2, 3) static void btf_verifier_log(struct btf_verifier_env *env,  in btf_verifier_log()
1429 __printf(4, 5) static void __btf_verifier_log_type(struct btf_verifier_env *env,  in __btf_verifier_log_type()
1479 static void btf_verifier_log_member(struct btf_verifier_env *env,  in btf_verifier_log_member()
1532 static void btf_verifier_log_vsi(struct btf_verifier_env *env,  in btf_verifier_log_vsi()
1559 static void btf_verifier_log_hdr(struct btf_verifier_env *env,  in btf_verifier_log_hdr()
1583 static int btf_add_type(struct btf_verifier_env *env, struct btf_type *t)  in btf_add_type()
1781 static int env_resolve_init(struct btf_verifier_env *env)  in env_resolve_init()
1817 static void btf_verifier_env_free(struct btf_verifier_env *env)  in btf_verifier_env_free()
1823 static bool env_type_is_resolve_sink(const struct btf_verifier_env *env,  in env_type_is_resolve_sink()
1848 static bool env_type_is_resolved(const struct btf_verifier_env *env,  in env_type_is_resolved()
1858 static int env_stack_push(struct btf_verifier_env *env,  in env_stack_push()
1888 static void env_stack_set_next_member(struct btf_verifier_env *env,  in env_stack_set_next_member()
1894 static void env_stack_pop_resolved(struct btf_verifier_env *env,  in env_stack_pop_resolved()
1907 static const struct resolve_vertex *env_stack_peak(struct btf_verifier_env *env)  in env_stack_peak()
2076 static int btf_df_check_member(struct btf_verifier_env *env,  in btf_df_check_member()
2086 static int btf_df_check_kflag_member(struct btf_verifier_env *env,  in btf_df_check_kflag_member()
2099 static int btf_generic_check_kflag_member(struct btf_verifier_env *env,  in btf_generic_check_kflag_member()
2118 static int btf_df_resolve(struct btf_verifier_env *env,  in btf_df_resolve()
2132 static int btf_int_check_member(struct btf_verifier_env *env,  in btf_int_check_member()
2170 static int btf_int_check_kflag_member(struct btf_verifier_env *env,  in btf_int_check_kflag_member()
2226 static s32 btf_int_check_meta(struct btf_verifier_env *env,  in btf_int_check_meta()
2290 static void btf_int_log(struct btf_verifier_env *env,  in btf_int_log()
2491 static int btf_modifier_check_member(struct btf_verifier_env *env,  in btf_modifier_check_member()
2516 static int btf_modifier_check_kflag_member(struct btf_verifier_env *env,  in btf_modifier_check_kflag_member()
2541 static int btf_ptr_check_member(struct btf_verifier_env *env,  in btf_ptr_check_member()
2567 static int btf_ref_type_check_meta(struct btf_verifier_env *env,  in btf_ref_type_check_meta()
2615 static int btf_modifier_resolve(struct btf_verifier_env *env,  in btf_modifier_resolve()
2657 static int btf_var_resolve(struct btf_verifier_env *env,  in btf_var_resolve()
2703 static int btf_ptr_resolve(struct btf_verifier_env *env,  in btf_ptr_resolve()
2800 static void btf_ref_type_log(struct btf_verifier_env *env,  in btf_ref_type_log()
2824 static s32 btf_fwd_check_meta(struct btf_verifier_env *env,  in btf_fwd_check_meta()
2850 static void btf_fwd_type_log(struct btf_verifier_env *env,  in btf_fwd_type_log()
2865 static int btf_array_check_member(struct btf_verifier_env *env,  in btf_array_check_member()
2894 static s32 btf_array_check_meta(struct btf_verifier_env *env,  in btf_array_check_meta()
2947 static int btf_array_resolve(struct btf_verifier_env *env,  in btf_array_resolve()
3012 static void btf_array_log(struct btf_verifier_env *env,  in btf_array_log()
3116 static int btf_struct_check_member(struct btf_verifier_env *env,  in btf_struct_check_member()
3141 static s32 btf_struct_check_meta(struct btf_verifier_env *env,  in btf_struct_check_meta()
3222 static int btf_struct_resolve(struct btf_verifier_env *env,  in btf_struct_resolve()
3293 static void btf_struct_log(struct btf_verifier_env *env,  in btf_struct_log()
4222 static int btf_enum_check_member(struct btf_verifier_env *env,  in btf_enum_check_member()
4247 static int btf_enum_check_kflag_member(struct btf_verifier_env *env,  in btf_enum_check_kflag_member()
4282 static s32 btf_enum_check_meta(struct btf_verifier_env *env,  in btf_enum_check_meta()
4341 static void btf_enum_log(struct btf_verifier_env *env,  in btf_enum_log()
4390 static s32 btf_enum64_check_meta(struct btf_verifier_env *env,  in btf_enum64_check_meta()
4493 static s32 btf_func_proto_check_meta(struct btf_verifier_env *env,  in btf_func_proto_check_meta()
4521 static void btf_func_proto_log(struct btf_verifier_env *env,  in btf_func_proto_log()
4580 static s32 btf_func_check_meta(struct btf_verifier_env *env,  in btf_func_check_meta()
4605 static int btf_func_resolve(struct btf_verifier_env *env,  in btf_func_resolve()
4629 static s32 btf_var_check_meta(struct btf_verifier_env *env,  in btf_var_check_meta()
4677 static void btf_var_log(struct btf_verifier_env *env, const struct btf_type *t)  in btf_var_log()
4693 static s32 btf_datasec_check_meta(struct btf_verifier_env *env,  in btf_datasec_check_meta()
4766 static int btf_datasec_resolve(struct btf_verifier_env *env,  in btf_datasec_resolve()
4806 static void btf_datasec_log(struct btf_verifier_env *env,  in btf_datasec_log()
4845 static s32 btf_float_check_meta(struct btf_verifier_env *env,  in btf_float_check_meta()
4870 static int btf_float_check_member(struct btf_verifier_env *env,  in btf_float_check_member()
4905 static void btf_float_log(struct btf_verifier_env *env,  in btf_float_log()
4920 static s32 btf_decl_tag_check_meta(struct btf_verifier_env *env,  in btf_decl_tag_check_meta()
4963 static int btf_decl_tag_resolve(struct btf_verifier_env *env,  in btf_decl_tag_resolve()
5009 static void btf_decl_tag_log(struct btf_verifier_env *env, const struct btf_type *t)  in btf_decl_tag_log()
5024 static int btf_func_proto_check(struct btf_verifier_env *env,  in btf_func_proto_check()
5119 static int btf_func_check(struct btf_verifier_env *env,  in btf_func_check()
5169 static s32 btf_check_meta(struct btf_verifier_env *env,  in btf_check_meta()
5211 static int btf_check_all_metas(struct btf_verifier_env *env)  in btf_check_all_metas()
5238 static bool btf_resolve_valid(struct btf_verifier_env *env,  in btf_resolve_valid()
5279 static int btf_resolve(struct btf_verifier_env *env,  in btf_resolve()
5312 static int btf_check_all_types(struct btf_verifier_env *env)  in btf_check_all_types()
5346 static int btf_parse_type_sec(struct btf_verifier_env *env)  in btf_parse_type_sec()
5369 static int btf_parse_str_sec(struct btf_verifier_env *env)  in btf_parse_str_sec()
5413 static int btf_check_sec_info(struct btf_verifier_env *env,  in btf_check_sec_info()
5466 static int btf_parse_hdr(struct btf_verifier_env *env)  in btf_parse_hdr()
5672 static int btf_check_type_tags(struct btf_verifier_env *env,  in btf_check_type_tags()
5739 	struct btf_verifier_env *env = NULL;  in btf_parse()
6166 static struct btf *btf_parse_base(struct btf_verifier_env *env, const char *name,  in BTF_ID()
6219 	struct btf_verifier_env *env = NULL;  in btf_parse_vmlinux()
6264 	struct btf_verifier_env *env = NULL;  in btf_parse_module()