Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
- kernel/bpf/syscall.c, line 3757
- kernel/bpf/trampoline.c, line 1134
- kernel/bpf/verifier.c, line 19466
Smatch caller information:
kernel/bpf/syscall.c bpf_tracing_prog_attach() -> bpf_check_attach_target()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | log | 0 |
| PARAM_VALUE | 1 | prog | 4096-ptr_max |
| PARAM_VALUE | 1 | prog->aux | 4096-ptr_max |
| PARAM_VALUE | 1 | prog->aux->dst_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | prog->aux->dst_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 1 | prog->aux->dst_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 1 | prog->aux->dst_mutex.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 1 | prog->aux->dst_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | prog->aux->dst_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | prog->aux->dst_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 1 | prog->aux->dst_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | prog->aux->dst_trampoline | 0,4096-ptr_max |
| PARAM_VALUE | 1 | prog->expected_attach_type | 0,24-27,58 |
| PARAM_VALUE | 1 | prog->type | 26,28-29 |
| PARAM_VALUE | 2 | tgt_prog | 0,4096-ptr_max |
| PARAM_VALUE | 4 | tgt_info | 3014896408286572544 |
| PARAM_VALUE | 4 | tgt_info->fmodel.nr_args | 0 |
| PARAM_VALUE | 4 | tgt_info->fmodel.ret_flags | 0 |
| PARAM_VALUE | 4 | tgt_info->fmodel.ret_size | 0 |
| PARAM_VALUE | 4 | tgt_info->tgt_addr | 0 |
| PARAM_VALUE | 4 | tgt_info->tgt_mod | 0 |
| PARAM_VALUE | 4 | tgt_info->tgt_name | 0 |
| PARAM_VALUE | 4 | tgt_info->tgt_type | 0 |
| BUF_SIZE | 1 | prog | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | prog | s32min-(-2),1-s32max |
| BUF_SIZE | 2 | tgt_prog | s32min-(-2),0-s32max |
| BUF_SIZE | 2 | tgt_prog | s32min-(-2),0-s32max |
| CAPPED_DATA | 1 | prog->type | 1 |
| CAPPED_DATA | 1 | &prog->aux->dst_mutex | 1 |
| DATA_SOURCE | 1 | prog | $0 |
| DATA_SOURCE | 3 | btf_id | $2 [m] |
| BIT_INFO | 1 | prog->expected_attach_type | 0x0,0x3b |
| BIT_INFO | 1 | prog->type | 0x18,0x1f |
| UNITS | 3 | btf_id | unit_array_size |
| LOCK2 | 1 | &prog->aux->dst_mutex | |
| TYPE_LOCK | (struct bpf_prog_aux)->dst_mutex |
kernel/bpf/trampoline.c bpf_trampoline_link_cgroup_shim() -> bpf_check_attach_target()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | log | 0 |
| PARAM_VALUE | 1 | prog | 4096-ptr_max |
| PARAM_VALUE | 1 | prog->aux | 4096-ptr_max |
| PARAM_VALUE | 2 | tgt_prog | 0 |
| PARAM_VALUE | 4 | tgt_info | 6271061367293353984 |
| PARAM_VALUE | 4 | tgt_info->fmodel.nr_args | 0 |
| PARAM_VALUE | 4 | tgt_info->fmodel.ret_flags | 0 |
| PARAM_VALUE | 4 | tgt_info->fmodel.ret_size | 0 |
| PARAM_VALUE | 4 | tgt_info->tgt_addr | 0 |
| PARAM_VALUE | 4 | tgt_info->tgt_mod | 0 |
| PARAM_VALUE | 4 | tgt_info->tgt_name | 0 |
| PARAM_VALUE | 4 | tgt_info->tgt_type | 0 |
| BUF_SIZE | 1 | prog | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | prog | s32min-(-1),1-s32max |
| DATA_SOURCE | 1 | prog | $0 |
| UNITS | 3 | btf_id | unit_array_size |
| LOCK2 | global &cgroup_mutex |
kernel/bpf/verifier.c check_attach_btf_id() -> bpf_check_attach_target()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | log | 4096-ptr_max |
| PARAM_VALUE | 1 | prog | 4096-ptr_max |
| PARAM_VALUE | 1 | prog->aux | 4096-ptr_max |
| PARAM_VALUE | 1 | prog->type | 26,28-29 |
| PARAM_VALUE | 4 | tgt_info | 8984184910329344000 |
| PARAM_VALUE | 4 | tgt_info->fmodel.nr_args | 0 |
| PARAM_VALUE | 4 | tgt_info->fmodel.ret_flags | 0 |
| PARAM_VALUE | 4 | tgt_info->fmodel.ret_size | 0 |
| PARAM_VALUE | 4 | tgt_info->tgt_addr | 0 |
| PARAM_VALUE | 4 | tgt_info->tgt_mod | 0 |
| PARAM_VALUE | 4 | tgt_info->tgt_name | 0 |
| PARAM_VALUE | 4 | tgt_info->tgt_type | 0 |
| BIT_INFO | 1 | prog->type | 0x18,0x1f |
| UNITS | 3 | btf_id | unit_array_size |