Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/usb/usbip/stub_rx.c stub_recv_cmd_unlink() -> stub_enqueue_ret_unlink()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->devid 0
PARAM_VALUE 0 sdev->ud.status 2
PARAM_VALUE 1 seqnum 0
PARAM_VALUE 2 status 0
CAPPED_DATA 0 &sdev->priv_init 1
DATA_SOURCE 0 sdev $0
PREEMPT_ADD <- disables preempt
RX_PATH
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &sdev->priv_lock
TYPE_LOCK (struct stub_device)->priv_lock

drivers/usb/usbip/stub_tx.c stub_complete() -> stub_enqueue_ret_unlink()

Type Parameter Key Value
PARAM_VALUE 0 sdev 4096-ptr_max
PARAM_VALUE 0 sdev->ud.tcp_socket 1-u64max
PARAM_VALUE 2 status 0-4294967293,u32max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &sdev->priv_lock
TYPE_LOCK (struct stub_device)->priv_lock