Defined in 1 files as a function:
Referenced in 4 files:
- include/linux/btf.h, line 606
- kernel/bpf/btf.c
- kernel/bpf/verifier.c
- net/bpf/bpf_dummy_struct_ops.c, line 113
Smatch caller information:
net/bpf/bpf_dummy_struct_ops.c check_test_run_args() -> btf_type_is_ptr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | t | 4096-ptr_max |
| DATA_SOURCE | 0 | t | r btf_type_skip_modifiers |
kernel/bpf/btf.c __get_type_size() -> btf_type_is_ptr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | t | 4096-ptr_max |
kernel/bpf/btf.c btf_check_dtor_kfuncs() -> btf_type_is_ptr()
| 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_func_type_match() -> btf_type_is_ptr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | t | 4096-ptr_max |
| CAPPED_DATA | 0 | t->info | 1 |
| DATA_SOURCE | 0 | t | r btf_type_skip_modifiers |
kernel/bpf/btf.c btf_check_iter_arg() -> btf_type_is_ptr()
| 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_check_iter_kfuncs() -> btf_type_is_ptr()
| 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_ctx_access() -> btf_type_is_ptr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | t | 4096-ptr_max |
kernel/bpf/btf.c btf_ctx_arg_idx() -> btf_type_is_ptr()
| 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_ctx_arg_idx() -> btf_type_is_ptr()
| 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_find_kptr() -> btf_type_is_ptr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | t | $1 [m] |
kernel/bpf/btf.c btf_nested_type_is_trusted() -> btf_type_is_ptr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | t | r btf_type_by_id |
kernel/bpf/btf.c btf_prepare_func_args() -> btf_type_is_ptr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | t | 4096-ptr_max |
kernel/bpf/btf.c btf_ptr_resolve() -> btf_type_is_ptr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | t | r btf_type_id_resolve |
kernel/bpf/btf.c btf_resolve_valid() -> btf_type_is_ptr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | t | 4096-ptr_max |
| DATA_SOURCE | 0 | t | $1 |
kernel/bpf/btf.c btf_scan_type_tags() -> btf_type_is_ptr()
| 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_struct_walk() -> btf_type_is_ptr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | t | 4096-ptr_max |
kernel/bpf/btf.c btf_type_id_size() -> btf_type_is_ptr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | t | 4096-2875726118925660159,2875726118925660161-ptr_max |
| DATA_SOURCE | 0 | t | r btf_type_by_id |
kernel/bpf/btf.c btf_type_id_size() -> btf_type_is_ptr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | t | 4096-2875726118925660159,2875726118925660161-ptr_max |
| DATA_SOURCE | 0 | t | r btf_type_by_id |
kernel/bpf/btf.c btf_type_is_struct_ptr() -> btf_type_is_ptr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | t | 4096-ptr_max |
| DATA_SOURCE | 0 | t | $1 |
kernel/bpf/btf.c btf_type_needs_resolve() -> btf_type_is_ptr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | t | 4096-ptr_max |
| DATA_SOURCE | 0 | t | $0 |
kernel/bpf/btf.c btf_type_resolve_ptr() -> btf_type_is_ptr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | t | 4096-ptr_max |
| DATA_SOURCE | 0 | t | r btf_type_skip_modifiers |
| HALF_LOCKED2 | &st_map->lock |
kernel/bpf/btf.c btf_validate_return_type() -> btf_type_is_ptr()
| 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_var_resolve() -> btf_type_is_ptr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | t | r btf_type_id_resolve |
kernel/bpf/btf.c env_stack_push() -> btf_type_is_ptr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | t | 4096-ptr_max |
| DATA_SOURCE | 0 | t | $1 |
kernel/bpf/btf.c env_type_is_resolve_sink() -> btf_type_is_ptr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | t | 4096-ptr_max |
| DATA_SOURCE | 0 | t | $1 |
kernel/bpf/verifier.c __is_kfunc_ptr_arg_type() -> btf_type_is_ptr()
| 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_check_attach_target() -> btf_type_is_ptr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | t | r btf_type_by_id |
| HALF_LOCKED2 | global &cgroup_mutex |
kernel/bpf/verifier.c bpf_kfunc_stack_access_bytes() -> btf_type_is_ptr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | t | 4096-ptr_max |
| DATA_SOURCE | 0 | t | r btf_type_skip_modifiers |
kernel/bpf/verifier.c btf_type_is_struct_ptr() -> btf_type_is_ptr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | t | 4096-ptr_max |
| DATA_SOURCE | 0 | t | $1 |
kernel/bpf/verifier.c check_kfunc_args() -> btf_type_is_ptr()
| 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_kfunc_args() -> btf_type_is_ptr()
| 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_kfunc_call() -> btf_type_is_ptr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | t | 4096-ptr_max |
| DATA_SOURCE | 0 | t | r btf_type_skip_modifiers |
kernel/bpf/verifier.c get_kfunc_arg_type() -> btf_type_is_ptr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | t | 4096-ptr_max |
| DATA_SOURCE | 0 | t | r btf_type_skip_modifiers |