Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/thunderbolt/stream.c tbstream_dev_fops_open() -> tbstream_dev_put()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->lock.dep_map->name 0-255
PARAM_VALUE 0 sdev->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 sdev->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 sdev->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 sdev->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 sdev->lock.wait_lock.owner (-1)
PARAM_VALUE 0 sdev->lock.wait_lock.owner_cpu u32max
CAPPED_DATA 0 &sdev->lock 1
DATA_SOURCE 0 sdev r to_tbstream_dev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/thunderbolt/stream.c tbstream_dev_fops_open() -> tbstream_dev_put()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->lock.dep_map->name 0-255
PARAM_VALUE 0 sdev->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 sdev->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 sdev->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 sdev->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 sdev->stream 0,4096-ptr_max
CAPPED_DATA 0 &sdev->lock 1
DATA_SOURCE 0 sdev r to_tbstream_dev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/thunderbolt/stream.c tbstream_dev_fops_release() -> tbstream_dev_put()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->lock.dep_map->name 0-255
PARAM_VALUE 0 sdev->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 sdev->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 sdev->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 sdev->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 sdev->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 sdev->lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 sdev->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 sdev->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 sdev->lock.wait_lock.dep_map->name 0-255
CAPPED_DATA 0 &sdev->lock 1
DATA_SOURCE 0 sdev r to_tbstream_dev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/thunderbolt/stream.c tbstream_dev_item_release() -> tbstream_dev_put()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->misc.list.next->prev 4096-ptr_max
PARAM_VALUE 0 sdev->misc.list.prev->next 4096-ptr_max
PARAM_VALUE 0 sdev->misc.minor s32min-255
DATA_SOURCE 0 sdev r tbstream_dev_from_group
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dentry->d_inode->i_rwsem
HALF_LOCKED2 &dentry->d_lockref.lock
HALF_LOCKED2 &dir->i_rwsem
HALF_LOCKED2 &hba->hba_access_mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &opts->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &subsys->su_mutex
HALF_LOCKED2 &target->i_rwsem
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &dynamic_netconsole_mutex
HALF_LOCKED2 global &func_lock
HALF_LOCKED2 global &target_cleanup_list_lock
HALF_LOCKED2 global &target_list_lock
HALF_LOCKED2 su_mutex

drivers/thunderbolt/stream.c tbstream_group_attach_stream() -> tbstream_dev_put()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
CAPPED_DATA 0 &sdev->list 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock

drivers/thunderbolt/stream.c tbstream_group_detach_stream() -> tbstream_dev_put()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->stream 0
CAPPED_DATA 0 &sdev->list 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->mutex
LOCK2 _T->lock
TYPE_LOCK (struct device)->mutex

drivers/thunderbolt/stream.c tbstream_resume() -> tbstream_dev_put()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->users s32min-(-1),1-s32max
CAPPED_DATA 0 &sdev->list 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/thunderbolt/stream.c tbstream_resume() -> tbstream_dev_put()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
CAPPED_DATA 0 &sdev->list 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/thunderbolt/stream.c tbstream_suspend() -> tbstream_dev_put()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
CAPPED_DATA 0 &sdev->list 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL