Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
- kernel/bpf/bpf_struct_ops.c
- kernel/bpf/btf.c
- kernel/bpf/verifier.c
- tools/lib/bpf/relo_core.c, line 38
Smatch caller information:
kernel/bpf/relo_core.c btf__resolve_size() -> btf_resolve_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | type_size | 4156593411025948672 |
| CAPPED_DATA | 0 | btf->start_id | 1 |
| DATA_SOURCE | 0 | btf | $0 |
| DATA_SOURCE | 1 | type | r btf_type_by_id |
| HALF_LOCKED2 | global &cand_cache_mutex |
kernel/bpf/btf.c btf_ctx_arg_offset() -> btf_resolve_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | type_size | 8119711865485713408 |
| DATA_SOURCE | 0 | btf | $0 |
| DATA_SOURCE | 1 | type | r btf_type_by_id |
kernel/bpf/btf.c btf_prepare_func_args() -> btf_resolve_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | type | 4096-ptr_max |
| PARAM_VALUE | 2 | type_size | 5471228226239393792 |
| DATA_SOURCE | 1 | type | r btf_type_skip_modifiers |
kernel/bpf/btf.c btf_show_obj_safe() -> btf_resolve_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | type_size | 6542115327917076480 |
| DATA_SOURCE | 1 | type | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
kernel/bpf/verifier.c __check_pseudo_btf_id() -> btf_resolve_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | btf | 4096-ptr_max |
| PARAM_VALUE | 0 | btf->nr_types | 0-4294967295 |
| PARAM_VALUE | 0 | btf->start_id | 0-4294967295 |
| PARAM_VALUE | 1 | type | 4096-ptr_max |
| PARAM_VALUE | 2 | type_size | 4651165809287143424 |
| BUF_SIZE | 0 | btf | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | btf | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | btf | $3 |
| DATA_SOURCE | 1 | type | r btf_type_skip_modifiers |
kernel/bpf/verifier.c bpf_kfunc_stack_access_bytes() -> btf_resolve_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | btf | 4096-ptr_max |
| PARAM_VALUE | 1 | type | 4096-ptr_max |
| PARAM_VALUE | 2 | type_size | 7593670323024302080 |
| CAPPED_DATA | 0 | btf | 1 |
| DATA_SOURCE | 1 | type | r btf_type_skip_modifiers |
kernel/bpf/verifier.c check_helper_call() -> btf_resolve_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | type | 4096-ptr_max |
| PARAM_VALUE | 2 | type_size | 5659654494358540288 |
| DATA_SOURCE | 1 | type | r btf_type_skip_modifiers |
kernel/bpf/verifier.c check_kfunc_call() -> btf_resolve_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | btf | 4096-ptr_max |
| PARAM_VALUE | 1 | type | 4096-2875726118925660159,2875726118925660161-ptr_max |
| PARAM_VALUE | 2 | type_size | 3423983439901589504 |
| DATA_SOURCE | 1 | type | r btf_type_skip_modifiers |
kernel/bpf/bpf_struct_ops.c bpf_struct_ops_map_update_elem() -> btf_resolve_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | btf | 4096-ptr_max |
| PARAM_VALUE | 2 | type_size | 6494467578317635584 |
| CAPPED_DATA | 0 | btf->start_id | 1 |
| DATA_SOURCE | 1 | type | r btf_type_by_id |
| LOCK2 | &st_map->lock | ||
| TYPE_LOCK | (struct bpf_struct_ops_map)->lock |
kernel/bpf/bpf_struct_ops.c check_zero_holes() -> btf_resolve_size()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | type_size | 2559344541355208704 |
| CAPPED_DATA | 0 | btf->start_id | 1 |
| DATA_SOURCE | 0 | btf | $0 |
| DATA_SOURCE | 1 | type | r btf_type_by_id |