Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
kernel/bpf/btf.c btf_type_resolve_func_ptr() -> btf_type_resolve_ptr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | btf | 1-ptr_max |
| PARAM_VALUE | 2 | res_id | 0 |
| BUF_SIZE | 0 | btf | s32min-s32max |
| BUF_SIZE | 0 | btf->struct_ops_tab | (-1),8-s32max |
| CAPPED_DATA | 0 | btf | 1 |
| DATA_SOURCE | 0 | btf | $0 |
| DATA_SOURCE | 1 | id | $1 |
| DATA_SOURCE | 2 | res_id | $2 |
kernel/bpf/verifier.c check_return_code() -> btf_type_resolve_ptr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | res_id | 0 |
kernel/bpf/bpf_struct_ops.c bpf_struct_ops_desc_init() -> btf_type_resolve_ptr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | btf | 4096-ptr_max |
| PARAM_VALUE | 1 | id | 1-u32max |
| PARAM_VALUE | 2 | res_id | 0 |
| BUF_SIZE | 0 | btf->struct_ops_tab | (-1),8-s32max |
| CAPPED_DATA | 0 | btf->start_id | 1 |
| DATA_SOURCE | 0 | btf | $1 |
| PARAM_COMPARE | 0 | btf->nr_types | > $0->start_id |
kernel/bpf/bpf_struct_ops.c bpf_struct_ops_map_update_elem() -> btf_type_resolve_ptr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | btf | 4096-ptr_max |
| PARAM_VALUE | 2 | res_id | 0 |
| LOCK2 | &st_map->lock | ||
| TYPE_LOCK | (struct bpf_struct_ops_map)->lock |
kernel/bpf/bpf_struct_ops.c is_module_member() -> btf_type_resolve_ptr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | btf | 4096-ptr_max |
| PARAM_VALUE | 2 | res_id | 0 |
| BUF_SIZE | 0 | btf->struct_ops_tab | (-1),8-s32max |
| CAPPED_DATA | 0 | btf->start_id | 1 |
| DATA_SOURCE | 0 | btf | $0 |
| DATA_SOURCE | 1 | id | $1 |
kernel/bpf/bpf_struct_ops.c prepare_arg_info() -> btf_type_resolve_ptr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | btf | 4096-ptr_max |
| PARAM_VALUE | 2 | res_id | 8322198288504950784 |
| BUF_SIZE | 0 | btf->struct_ops_tab | (-1),8-s32max |
| CAPPED_DATA | 0 | btf->start_id | 1 |
| DATA_SOURCE | 0 | btf | $0 |
| PARAM_COMPARE | 0 | btf->nr_types | > $0->start_id |