Defined in 1 files as a prototype:
Defined in 2 files as a function:
Referenced in 5 files:
- kernel/bpf/arraymap.c, line 555
- kernel/bpf/bloom_filter.c, line 188
- kernel/bpf/btf.c
- kernel/bpf/verifier.c
- tools/lib/bpf/btf.c, line 926
Smatch caller information:
kernel/bpf/arraymap.c array_map_check_btf() -> btf_type_is_void()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | t | $2 |
kernel/bpf/bloom_filter.c bloom_map_check_btf() -> btf_type_is_void()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | t | $2 |
kernel/bpf/btf.c btf_check_dtor_kfuncs() -> btf_type_is_void()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | t | 1-u64max |
| DATA_SOURCE | 0 | t | r btf_type_by_id |
kernel/bpf/btf.c btf_check_iter_kfuncs() -> btf_type_is_void()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | t | 1-u64max |
| DATA_SOURCE | 0 | t | r btf_type_by_id |
kernel/bpf/btf.c btf_modifier_resolve() -> btf_type_is_void()
| Type | Parameter | Key | Value |
|---|
kernel/bpf/btf.c btf_prepare_func_args() -> btf_type_is_void()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | t | 4096-ptr_max |
| DATA_SOURCE | 0 | t | r btf_type_skip_modifiers |
kernel/bpf/btf.c btf_ptr_resolve() -> btf_type_is_void()
| Type | Parameter | Key | Value |
|---|
kernel/bpf/btf.c btf_type_nosize() -> btf_type_is_void()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | t | 1-u64max |
| DATA_SOURCE | 0 | t | $0 |
kernel/bpf/btf.c btf_validate_prog_ctx_type() -> btf_type_is_void()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | t | 4096-ptr_max |
| DATA_SOURCE | 0 | t | r btf_type_by_id |
kernel/bpf/btf.c btf_validate_return_type() -> btf_type_is_void()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | t | 4096-ptr_max |
| DATA_SOURCE | 0 | t | r btf_type_skip_modifiers |
kernel/bpf/verifier.c bpf_get_call_summary() -> btf_type_is_void()
| Type | Parameter | Key | Value |
|---|
kernel/bpf/verifier.c check_kfunc_call() -> btf_type_is_void()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | t | 4096-ptr_max |
| DATA_SOURCE | 0 | t | r btf_type_skip_modifiers |
kernel/bpf/verifier.c check_special_kfunc() -> btf_type_is_void()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | t | 4096-ptr_max |
| DATA_SOURCE | 0 | t | r btf_type_by_id |
kernel/bpf/verifier.c get_kfunc_arg_type() -> btf_type_is_void()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | t | 4096-ptr_max |
| DATA_SOURCE | 0 | t | r btf_type_skip_modifiers |
kernel/bpf/verifier.c subprog_returns_void() -> btf_type_is_void()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | t | 4096-ptr_max |
| DATA_SOURCE | 0 | t | r btf_type_skip_modifiers |