Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/mtu3/mtu3_gadget.c mtu3_gadget_queue() -> mtu3_insert_gpd()

Type Parameter Key Value
PARAM_VALUE 0 mep 4096-ptr_max
PARAM_VALUE 0 mep->desc 1-u64max
PARAM_VALUE 0 mep->mtu 4096-ptr_max
PARAM_VALUE 0 mep->mtu->g.dev.parent->dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 mep->mtu->g.dev.parent->dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 mep->mtu->g.dev.parent->dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 mep->mtu->g.dev.parent->dma_uses_io_tlb 1
PARAM_VALUE 0 mep->req_list.prev 4096-ptr_max
PARAM_VALUE 0 mep->req_list.prev->next 4096-ptr_max
PARAM_VALUE 0 mep->req_list.prev->next->next 4096-ptr_max
PARAM_VALUE 1 mreq 4096-ptr_max
PARAM_VALUE 1 mreq->list.next 4096-ptr_max
PARAM_VALUE 1 mreq->mep 4096-ptr_max
PARAM_VALUE 1 mreq->mtu 4096-ptr_max
PARAM_VALUE 1 mreq->request.actual 0
PARAM_VALUE 1 mreq->request.status (-115)
CAPPED_DATA 0 mep 1
CAPPED_DATA 0 mep->gpd_ring.end 1
CAPPED_DATA 1 mreq->mep 1
DATA_SOURCE 0 mep r to_mtu3_ep
DATA_SOURCE 1 mreq r to_mtu3_request
PARAM_COMPARE 0 mep == $1->mep
PARAM_COMPARE 0 mep == $1->mep
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &mtu->lock
LOCK2 flags
HALF_LOCKED2 &cdev->lock
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &dev->lock_printer_io
HALF_LOCKED2 &epdata->dev->lock
HALF_LOCKED2 &epdata->lock
HALF_LOCKED2 &epfile->ffs->eps_lock
HALF_LOCKED2 &hidg->get_report_spinlock
HALF_LOCKED2 &midi->transmit_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &port->lock
HALF_LOCKED2 &usb9pfs->lock
HALF_LOCKED2 &video->req_lock
HALF_LOCKED2 cdev_flags
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct mtu3)->lock