Defined in 2 files as a function:
- drivers/thunderbolt/icm.c, line 639 (as a function)
- drivers/thunderbolt/test.c, line 36 (as a function)
Referenced in 2 files:
Smatch caller information:
drivers/thunderbolt/icm.c __icm_tr_device_connected() -> alloc_switch()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent_sw | 4096-ptr_max |
| PARAM_VALUE | 0 | parent_sw->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | parent_sw->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | parent_sw->dev.power.request | 0-4 |
| PARAM_VALUE | 0 | parent_sw->dev.power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | parent_sw->dev.power.wakeirq | 0,4096-ptr_max |
| PARAM_VALUE | 0 | parent_sw->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | parent_sw->dev.type | 0,4096-ptr_max |
| PARAM_VALUE | 2 | uuid | 4096-ptr_max |
| DATA_SOURCE | 0 | parent_sw | r tb_switch_find_by_route |
| DATA_SOURCE | 1 | route | r get_route |
| LOCK2 | &tb->lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct tb)->lock |
drivers/thunderbolt/icm.c icm_fr_device_connected() -> alloc_switch()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent_sw | 4096-ptr_max |
| PARAM_VALUE | 0 | parent_sw->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | parent_sw->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | parent_sw->dev.power.request | 0-4 |
| PARAM_VALUE | 0 | parent_sw->dev.power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | parent_sw->dev.power.wakeirq | 0,4096-ptr_max |
| PARAM_VALUE | 0 | parent_sw->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | parent_sw->dev.type | 0,4096-ptr_max |
| PARAM_VALUE | 2 | uuid | 4096-ptr_max |
| DATA_SOURCE | 0 | parent_sw | r tb_switch_find_by_link_depth |
| LOCK2 | &tb->lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct tb)->lock |
drivers/thunderbolt/test.c alloc_dev_default() -> alloc_switch()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent_sw->last_seen.file | 8090938237943001088 |
| PARAM_VALUE | 0 | parent_sw->last_seen.line | 99 |
| PARAM_VALUE | 1 | route | 1,3,769,771,1281,1283,1793,1795,197377,197379,328449,328963,329473,460545,50529025,50529027,50661121,50792193,12935430913,12935430915,12935694081,21525628673,3311470314241,3311470314243 |
| PARAM_VALUE | 2 | uuid | 1 |
| PARAM_VALUE | 3 | max_port_number | 19 |
| DATA_SOURCE | 0 | parent_sw | $0 |
| DATA_SOURCE | 1 | route | $2 |
| HARD_MAX | 1 | route | 3311470314243 |
drivers/thunderbolt/test.c alloc_host() -> alloc_switch()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | route | 0 |
| PARAM_VALUE | 2 | uuid | 7 |
| PARAM_VALUE | 3 | max_port_number | 13 |
| DATA_SOURCE | 0 | parent_sw | $0 |