Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 stuser 4096-ptr_max
PARAM_VALUE 0 stuser->data_len 0-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-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
BUF_SIZE 0 stuser s32min-(-2),1-s32max
BUF_SIZE 0 stuser s32min-(-2),1-s32max
FUZZY_MAX 0 stuser->data_len 1024
HARD_MAX 0 stuser->data_len 1024
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