Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pci/switch/switchtec.c mrpc_cmd_submit() -> stuser_set_state()

Type Parameter Key Value
PARAM_VALUE 0 stuser 4096-ptr_max
PARAM_VALUE 1 state 2
NOCHECK_CALL
HALF_LOCKED2 &stdev->mrpc_mutex

drivers/pci/switch/switchtec.c mrpc_complete_cmd() -> stuser_set_state()

Type Parameter Key Value
PARAM_VALUE 0 stuser 4096-ptr_max
PARAM_VALUE 0 stuser->status 0,2-u32max
PARAM_VALUE 1 state 3
NOCHECK_CALL
HOST_DATA 0 stuser->cmd 0-u32max
HOST_DATA 0 stuser->cmd_done 0-1
HOST_DATA 0 stuser->data_len 0-u64max
HOST_DATA 0 stuser->event_cnt s32min-s32max
HOST_DATA 0 stuser->kref.refcount.refs.counter s32min-s32max
HOST_DATA 0 stuser->read_len 0-u64max
HOST_DATA 0 stuser->return_code 0-u32max
HOST_DATA 0 stuser->state 0-u32max
HOST_DATA 0 stuser->status 0,2-u32max
HOST_DATA 0 *stuser 0-u64max
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &stdev->mrpc_mutex
HALF_LOCKED2 _T->lock

drivers/pci/switch/switchtec.c mrpc_error_complete_cmd() -> stuser_set_state()

Type Parameter Key Value
PARAM_VALUE 0 stuser 4096-ptr_max
PARAM_VALUE 1 state 4
NOCHECK_CALL
LOCK2 &stdev->mrpc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct switchtec_dev)->mrpc_mutex

drivers/pci/switch/switchtec.c mrpc_queue_cmd() -> stuser_set_state()

Type Parameter Key Value
PARAM_VALUE 0 stuser 4096-ptr_max
PARAM_VALUE 0 stuser->data_len 0-1024
PARAM_VALUE 0 stuser->read_len 1024
PARAM_VALUE 0 stuser->state 0
PARAM_VALUE 0 stuser->stdev->alive 1
PARAM_VALUE 0 stuser->stdev->mrpc_mutex.dep_map->name 0-255
PARAM_VALUE 0 stuser->stdev->mrpc_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 stuser->stdev->mrpc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 stuser->stdev->mrpc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 state 1
BUF_SIZE 0 stuser s32min-(-2),1-s32max
BUF_SIZE 0 stuser s32min-(-2),1-s32max
DATA_SOURCE 0 stuser $0
FUZZY_MAX 0 stuser->data_len 1024
HARD_MAX 0 stuser->data_len 1024
NOCHECK_CALL
USER_DATA 0 stuser->cmd 0-u32max
USER_DATA 0 stuser->data_len 0-1024
USER_PTR 0 &stuser->data
LOCK2 &stdev->mrpc_mutex
TYPE_LOCK (struct switchtec_dev)->mrpc_mutex

drivers/pci/switch/switchtec.c switchtec_dev_read() -> stuser_set_state()

Type Parameter Key Value
PARAM_VALUE 0 stuser 4096-ptr_max
PARAM_VALUE 0 stuser->cmd_done 1
PARAM_VALUE 0 stuser->read_len 0-1024
PARAM_VALUE 0 stuser->state 3
PARAM_VALUE 0 stuser->stdev 4096-ptr_max
PARAM_VALUE 0 stuser->stdev->alive 1
PARAM_VALUE 0 stuser->stdev->mrpc_mutex.dep_map->name 0-255
PARAM_VALUE 0 stuser->stdev->mrpc_mutex.first_waiter 0,4096-5159360019465732095,5159360019465732097-ptr_max
PARAM_VALUE 0 stuser->stdev->mrpc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 stuser->stdev->mrpc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 stuser->stdev->mrpc_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 state 0
BUF_SIZE 0 stuser s32min-(-2),1-s32max
BUF_SIZE 0 stuser s32min-(-2),1-s32max
FUZZY_MAX 0 stuser->read_len 1024
HARD_MAX 0 stuser->read_len 1024
NOCHECK_CALL
USER_DATA 0 stuser->read_len 0-1024
LOCK2 &stdev->mrpc_mutex
TYPE_LOCK (struct switchtec_dev)->mrpc_mutex