Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pci/switch/switchtec.c mrpc_cleanup_cmd() -> stuser_put()

Type Parameter Key Value
PARAM_VALUE 0 stuser 4096-ptr_max
PARAM_VALUE 0 stuser->cmd_comp.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 stuser->cmd_done 1
PARAM_VALUE 0 stuser->list.next->prev 4096-ptr_max
PARAM_VALUE 0 stuser->list.prev->next 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &stdev->mrpc_mutex

drivers/pci/switch/switchtec.c stdev_kill() -> stuser_put()

Type Parameter Key Value
PARAM_VALUE 0 stuser 4096-ptr_max
PARAM_VALUE 0 stuser->cmd_comp.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 stuser->cmd_done 1
CAPPED_DATA 0 &stuser->list 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock

drivers/pci/switch/switchtec.c switchtec_dev_release() -> stuser_put()

Type Parameter Key Value
BUF_SIZE 0 stuser (-1),26
BUF_SIZE 0 stuser (-1),26
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL