Defined in 1 files as a function:

Referenced in 28 files:

Smatch caller information:

drivers/usb/gadget/legacy/inode.c activate_ep_files() -> put_dev()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->gadget 4096-ptr_max
PARAM_VALUE 0 data->gadget->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 data->gadget->ops 4096-ptr_max
PARAM_VALUE 0 data->req 4096-ptr_max
PARAM_VALUE 0 data->req->complete 1240551096769953792
PARAM_VALUE 0 data->req->context 0
PARAM_VALUE 0 data->req->ep 4096-ptr_max
PARAM_VALUE 0 data->req->ep->ops 4096-ptr_max
PARAM_VALUE 0 data->sb->s_export_op->encode_fh 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max
BUF_SIZE 0 data->req 104
DATA_SOURCE 0 data $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/gadget/legacy/inode.c dev_release() -> put_dev()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->buf 0
PARAM_VALUE 0 data->gadget_registered 0
PARAM_VALUE 0 data->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 data->state 0
BUF_SIZE 0 data (-1),26
BUF_SIZE 0 data (-1),26
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/gadget/legacy/inode.c gadgetfs_fill_super() -> put_dev()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->count.refs.counter 1
PARAM_VALUE 0 data->sb 4096-ptr_max
PARAM_VALUE 0 data->sb->s_active.counter 0-s32max
PARAM_VALUE 0 data->sb->s_blocksize 4096
PARAM_VALUE 0 data->sb->s_magic 2934382311
PARAM_VALUE 0 data->sb->s_op 5040702877070127104
PARAM_VALUE 0 data->sb->s_root 4096-ptr_max
PARAM_VALUE 0 data->sb->s_time_gran 1
PARAM_VALUE 0 data->sb->s_umount.osq.tail.counter 0-s32max
PARAM_VALUE 0 data->state 0
PARAM_VALUE 0 data->wait.head.next 4096-ptr_max
PARAM_VALUE 0 data->wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 data->wait.head.prev 4096-ptr_max
PARAM_VALUE 0 data->wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 data->wait.head.prev->prev 4096-ptr_max
BUF_SIZE 0 data 584
BUF_SIZE 0 data->sb (-1),2880
DATA_SOURCE 0 data r dev_new
STR_LEN 0 data->sb (-1),8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 data->sb->s_flags 0-2147486719[c]
LOCK2 global &sb_mutex
HALF_LOCKED2 &fc->uapi_mutex

drivers/usb/gadget/legacy/inode.c gadgetfs_kill_sb() -> put_dev()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &sb_mutex
HALF_LOCKED2 &s->s_umount
HALF_LOCKED2 global &cifs_mount_mutex

drivers/usb/gadget/legacy/inode.c gadgetfs_unbind() -> put_dev()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 data->sb->s_root->d_children->first->pprev 1-u64max
PARAM_VALUE 0 data->sb->s_root->d_children.first 4096-ptr_max
PARAM_VALUE 0 data->sb->s_root->d_inode->i_rwsem.dep_map->name 0-255
PARAM_VALUE 0 data->sb->s_root->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 data->sb->s_root->d_inode->i_rwsem.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 data->sb->s_root->d_inode->i_rwsem.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 0 data->sb->s_root->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 data->sb->s_root->d_sb 4096-ptr_max
PARAM_VALUE 0 data->state 5
PARAM_VALUE 0 data->udc_usage s32min-0
BUF_SIZE 0 data s32min-(-2),1-s32max
BUF_SIZE 0 data s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 data unit_byte

drivers/usb/gadget/legacy/inode.c put_ep() -> put_dev()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &data->lock