Defined in 2 files as a function:
- drivers/thunderbolt/debugfs.c, line 1818 (as a function)
- drivers/thunderbolt/debugfs.c, line 1870 (as a function)
Referenced in 1 files:
Smatch caller information:
drivers/thunderbolt/debugfs.c tb_switch_debugfs_remove() -> margining_switch_remove()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sw->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | sw->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | sw->dev.parent->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | sw->dev.power.wakeirq->status | 0-4294967295 |
| DATA_SOURCE | 0 | sw | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &tb->lock |