Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/usbip/vudc_transfer.c v_timer() -> v_enqueue_ret_submit()

Type Parameter Key Value
PARAM_VALUE 0 udc 4096-ptr_max
PARAM_VALUE 0 udc->ep 4096-ptr_max
PARAM_VALUE 0 udc->gadget.speed 1-3,5
PARAM_VALUE 0 udc->lock_tx.rlock.dep_map->name 0-255
PARAM_VALUE 1 urb_p 4096-ptr_max
PARAM_VALUE 1 urb_p->ep 0,4096-ptr_max
PARAM_VALUE 1 urb_p->urb 4096-ptr_max
PARAM_VALUE 1 urb_p->urb->status s32min-(-116),(-114)-s32max
PARAM_VALUE 1 urb_p->urb->unlinked 0
CAPPED_DATA 0 &udc->gadget.ep_list 1
CAPPED_DATA 0 &udc->urb_queue 1
CAPPED_DATA 1 &urb_p->urb_entry 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &udc->lock
LOCK2 0 &udc->lock_tx
TYPE_LOCK (struct vudc)->lock
TYPE_LOCK (struct vudc)->lock_tx