Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/9p/trans_usbg.c usb9pfs_transmit() -> usb9pfs_queue_tx()

Type Parameter Key Value
PARAM_VALUE 0 usb9pfs 4096-ptr_max
PARAM_VALUE 0 usb9pfs->received.done 0-4294967293,u32max
PARAM_VALUE 0 usb9pfs->received.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 usb9pfs->received.wait.lock.owner (-1)
PARAM_VALUE 0 usb9pfs->received.wait.lock.owner_cpu u32max
PARAM_VALUE 0 usb9pfs->received.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 usb9pfs->received.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 1 p9_tx_req 4096-ptr_max
PARAM_VALUE 1 p9_tx_req->rc.cache 0,4096-ptr_max
PARAM_VALUE 1 p9_tx_req->rc.capacity 0-s32max,18446744071562067968-u64max
PARAM_VALUE 1 p9_tx_req->rc.id 0
PARAM_VALUE 1 p9_tx_req->rc.offset 0
PARAM_VALUE 1 p9_tx_req->rc.sdata 1-u64max
PARAM_VALUE 1 p9_tx_req->rc.size 0
PARAM_VALUE 1 p9_tx_req->rc.tag u16max
PARAM_VALUE 1 p9_tx_req->rc.zc 0
PARAM_VALUE 1 p9_tx_req->refcount.refs.counter 2
PARAM_VALUE 1 p9_tx_req->req_list.next 4096-ptr_max
PARAM_VALUE 1 p9_tx_req->req_list.next->next 4096-ptr_max
PARAM_VALUE 1 p9_tx_req->req_list.prev 4096-ptr_max
PARAM_VALUE 1 p9_tx_req->req_list.prev->next 4096-ptr_max
PARAM_VALUE 1 p9_tx_req->req_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 p9_tx_req->status 0
PARAM_VALUE 1 p9_tx_req->t_err 0
PARAM_VALUE 1 p9_tx_req->tc.cache 0,4096-ptr_max
PARAM_VALUE 1 p9_tx_req->tc.capacity 0-s32max,18446744071562067968-u64max
PARAM_VALUE 1 p9_tx_req->tc.id 8,12,14,16,18,20,22,24,26,30,32,40,50,52,54,70,72,74,76,100,104,108,110,112,114,116,118,120,122,124,126
PARAM_VALUE 1 p9_tx_req->tc.offset 0
PARAM_VALUE 1 p9_tx_req->tc.sdata 1-u64max
PARAM_VALUE 1 p9_tx_req->tc.zc 0
PARAM_VALUE 1 p9_tx_req->wq.head.next 4096-ptr_max
PARAM_VALUE 1 p9_tx_req->wq.head.next->next 4096-ptr_max
PARAM_VALUE 1 p9_tx_req->wq.head.prev 4096-ptr_max
PARAM_VALUE 1 p9_tx_req->wq.head.prev->next 4096-ptr_max
PARAM_VALUE 1 p9_tx_req->wq.head.prev->prev 4096-ptr_max
PARAM_VALUE 2 gfp_flags 2080
BUF_SIZE 0 usb9pfs 448,552
BUF_SIZE 0 usb9pfs 448,552
DATA_SOURCE 0 usb9pfs $0
DATA_SOURCE 1 p9_tx_req $1
STR_LEN 1 p9_tx_req->tc.id (-1),1,6,8
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 p9_tx_req->rc.capacity
NO_OVERFLOW_SIMPLE 1 p9_tx_req->tc.capacity
LOCK2 irq
LOCK2 0 &usb9pfs->lock
HALF_LOCKED2 &client->trans->sq_sem
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &v9ses->rename_sem
TYPE_LOCK (struct f_usb9pfs)->lock