Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
drivers/thunderbolt/tunnel.c tb_tunnel_destroy() -> tb_path_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | path | 1-u64max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &tb_tunnel_lock | ||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &sw->tb->lock | ||
| HALF_LOCKED2 | &tb->lock |
drivers/thunderbolt/test.c tb_test_path_mixed_chain() -> tb_path_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | path | 4096-ptr_max |
| PARAM_VALUE | 0 | path->alloc_hopid | 1 |
| PARAM_VALUE | 0 | path->hops | 4096-ptr_max |
| PARAM_VALUE | 0 | path->name | 4405314753250148352 |
| PARAM_VALUE | 0 | path->path_length | 5 |
| PARAM_VALUE | 0 | path->tb | 0 |
| BUF_SIZE | 0 | path | 48-s32max |
| BUF_SIZE | 0 | path | 48-s32max |
| BUF_SIZE | 0 | path->name | 6 |
| DATA_SOURCE | 0 | path | r tb_path_alloc |
| STR_LEN | 0 | path->name | 5 |
| TERMINATED | 0 | path->name | 1 |
| NOCHECK_CALL |
drivers/thunderbolt/test.c tb_test_path_mixed_chain_reverse() -> tb_path_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | path | 4096-ptr_max |
| PARAM_VALUE | 0 | path->alloc_hopid | 1 |
| PARAM_VALUE | 0 | path->hops | 4096-ptr_max |
| PARAM_VALUE | 0 | path->name | 4405314753250148352 |
| PARAM_VALUE | 0 | path->path_length | 5 |
| PARAM_VALUE | 0 | path->tb | 0 |
| BUF_SIZE | 0 | path | 48-s32max |
| BUF_SIZE | 0 | path | 48-s32max |
| BUF_SIZE | 0 | path->name | 6 |
| DATA_SOURCE | 0 | path | r tb_path_alloc |
| STR_LEN | 0 | path->name | 5 |
| TERMINATED | 0 | path->name | 1 |
| NOCHECK_CALL |
drivers/thunderbolt/test.c tb_test_path_not_bonded_lane0() -> tb_path_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | path | 4096-ptr_max |
| PARAM_VALUE | 0 | path->alloc_hopid | 1 |
| PARAM_VALUE | 0 | path->hops | 4096-ptr_max |
| PARAM_VALUE | 0 | path->name | 6261021649134755840 |
| PARAM_VALUE | 0 | path->path_length | 2 |
| PARAM_VALUE | 0 | path->tb | 0 |
| BUF_SIZE | 0 | path | 48-s32max |
| BUF_SIZE | 0 | path | 48-s32max |
| BUF_SIZE | 0 | path->name | 10 |
| DATA_SOURCE | 0 | path | r tb_path_alloc |
| STR_LEN | 0 | path->name | 9 |
| TERMINATED | 0 | path->name | 1 |
| NOCHECK_CALL |
drivers/thunderbolt/test.c tb_test_path_not_bonded_lane1() -> tb_path_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | path | 4096-ptr_max |
| PARAM_VALUE | 0 | path->alloc_hopid | 1 |
| PARAM_VALUE | 0 | path->hops | 4096-ptr_max |
| PARAM_VALUE | 0 | path->name | 4405314753250148352 |
| PARAM_VALUE | 0 | path->path_length | 2 |
| PARAM_VALUE | 0 | path->tb | 0 |
| BUF_SIZE | 0 | path | 48-s32max |
| BUF_SIZE | 0 | path | 48-s32max |
| BUF_SIZE | 0 | path->name | 6 |
| DATA_SOURCE | 0 | path | r tb_path_alloc |
| STR_LEN | 0 | path->name | 5 |
| TERMINATED | 0 | path->name | 1 |
| NOCHECK_CALL |
drivers/thunderbolt/test.c tb_test_path_not_bonded_lane1_chain() -> tb_path_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | path | 4096-ptr_max |
| PARAM_VALUE | 0 | path->alloc_hopid | 1 |
| PARAM_VALUE | 0 | path->hops | 4096-ptr_max |
| PARAM_VALUE | 0 | path->name | 4405314753250148352 |
| PARAM_VALUE | 0 | path->path_length | 4 |
| PARAM_VALUE | 0 | path->tb | 0 |
| BUF_SIZE | 0 | path | 48-s32max |
| BUF_SIZE | 0 | path | 48-s32max |
| BUF_SIZE | 0 | path->name | 6 |
| DATA_SOURCE | 0 | path | r tb_path_alloc |
| STR_LEN | 0 | path->name | 5 |
| TERMINATED | 0 | path->name | 1 |
| NOCHECK_CALL |
drivers/thunderbolt/test.c tb_test_path_not_bonded_lane1_chain_reverse() -> tb_path_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | path | 4096-ptr_max |
| PARAM_VALUE | 0 | path->alloc_hopid | 1 |
| PARAM_VALUE | 0 | path->hops | 4096-ptr_max |
| PARAM_VALUE | 0 | path->name | 4405314753250148352 |
| PARAM_VALUE | 0 | path->path_length | 4 |
| PARAM_VALUE | 0 | path->tb | 0 |
| BUF_SIZE | 0 | path | 48-s32max |
| BUF_SIZE | 0 | path | 48-s32max |
| BUF_SIZE | 0 | path->name | 6 |
| DATA_SOURCE | 0 | path | r tb_path_alloc |
| STR_LEN | 0 | path->name | 5 |
| TERMINATED | 0 | path->name | 1 |
| NOCHECK_CALL |
drivers/thunderbolt/path.c tb_path_alloc() -> tb_path_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | path | 4096-ptr_max |
| PARAM_VALUE | 0 | path->alloc_hopid | 1 |
| PARAM_VALUE | 0 | path->path_length | 0-1073741823 |
| BUF_SIZE | 0 | path | 48-42949672968 |
| BUF_SIZE | 0 | path | 48-42949672968 |
| DATA_SOURCE | 0 | path | r _kzalloc_noprof |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/thunderbolt/path.c tb_path_discover() -> tb_path_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | path | 4096-ptr_max |
| PARAM_VALUE | 0 | path->activated | 1 |
| PARAM_VALUE | 0 | path->name | 528298769611386880,3063415040341495808,4405314753250148352,5039675290851368960,6261021649134755840,7907967756726915072,8297347012087414784 |
| BUF_SIZE | 0 | path | 48-u64max |
| BUF_SIZE | 0 | path | 48-u64max |
| BUF_SIZE | 0 | path->name | 6-8,10 |
| DATA_SOURCE | 0 | path | r _kzalloc_noprof |
| TERMINATED | 0 | path->name | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &tb->lock |