函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

Source Code:kernel\bpf\btf.c Create Date:2022-07-27 14:35:42
Last Modify:2020-03-12 14:18:49 Copyright©Brick
首页 函数Tree
注解内核,赢得工具下载SCCTEnglish

函数名称：btf_modifier_resolve

函数原型：static int btf_modifier_resolve(struct btf_verifier_env *env, const struct resolve_vertex *v)

返回类型：int

参数：

类型参数名称
struct btf_verifier_env *env
const struct resolve_vertex *v
1682  t等于t
1684  next_type_id等于type
1685  btf等于btf
1687  next_type等于btf_type_by_id(btf, next_type_id)
1688  如果非next_type或Types that act only as a source, not sink or intermediate* type when resolving.则
1689  btf_verifier_log_type(env, t, "Invalid type_id")
1690  返回:负EINVAL
1693  如果非env_type_is_resolve_sink(env, next_type)且非env_type_is_resolved(env, next_type_id)则返回:env_stack_push(env, next_type, next_type_id)
1703  如果非btf_type_id_size(btf, & next_type_id, NULL)则
1704  如果env_type_is_resolved(env, next_type_id)则next_type等于The input param "type_id" must point to a needs_resolve type
1708  如果非btf_type_is_void(next_type)且非btf_type_is_fwd(next_type)且非btf_type_is_func_proto(next_type)则
1711  btf_verifier_log_type(env, t, "Invalid type_id")
1712  返回:负EINVAL
1716  env_stack_pop_resolved(env, next_type_id, 0)
1718  返回:0