Defined in 36 files as a variable:

Defined in 2 files as a prototype:

Defined in 337 files as a member:

Defined in 4 files as a macro:

Defined in 7 files as a label:

Defined in 11 files as a function:

Referenced in 2244 files:

Smatch caller information:

drivers/usb/gadget/udc/goku_udc.c dma_advance() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 0 shpnt->dev 4096-ptr_max
PARAM_VALUE 0 shpnt->dev->regs 4096-ptr_max
PARAM_VALUE 0 shpnt->num 0-3
PARAM_VALUE 1 status_byte 4096-ptr_max
PARAM_VALUE 2 host_byte 0
BUF_SIZE 0 shpnt (-1),272,408
BUF_SIZE 0 shpnt (-1),272,408
CAPPED_DATA 0 &shpnt->queue 1
DATA_SOURCE 0 shpnt $1
PARAM_COMPARE 0 &shpnt->queue != $0->queue.next
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 status_byte->req 0-u64max
HOST_DATA 1 status_byte->req->actual 0-u32max
HOST_DATA 1 status_byte->req->dma 0-u64max
HOST_DATA 1 status_byte->req->dma_mapped 0-1
HOST_DATA 1 status_byte->req->frame_number 0-u32max
HOST_DATA 1 status_byte->req->is_last 0-1
HOST_DATA 1 status_byte->req->length 0-u32max
HOST_DATA 1 status_byte->req->no_interrupt 0-1
HOST_DATA 1 status_byte->req->num_mapped_sgs 0-u32max
HOST_DATA 1 status_byte->req->num_sgs 0-u32max
HOST_DATA 1 status_byte->req->sg_was_mapped 0-1
HOST_DATA 1 status_byte->req->short_not_ok 0-1
HOST_DATA 1 status_byte->req->status s32min-s32max
HOST_DATA 1 status_byte->req->stream_id 0-u16max
HOST_DATA 1 status_byte->req->zero 0-1
LOCK2 &dev->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct goku_udc)->lock

drivers/usb/gadget/udc/goku_udc.c goku_dequeue() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 0 shpnt->dev 4096-ptr_max
PARAM_VALUE 0 shpnt->dev->driver 1-u64max
PARAM_VALUE 0 shpnt->dev->ep0state 0-5,7-u32max
PARAM_VALUE 0 shpnt->dev->regs 4096-ptr_max
PARAM_VALUE 0 shpnt->dma 1
PARAM_VALUE 0 shpnt->num 0-3
PARAM_VALUE 0 shpnt->queue.next 4096-ptr_max
PARAM_VALUE 0 shpnt->stopped 0
PARAM_VALUE 1 status_byte 4096-ptr_max
PARAM_VALUE 2 host_byte (-104)
CAPPED_DATA 0 shpnt->queue.next 1
CAPPED_DATA 0 &shpnt->queue 1
CAPPED_DATA 1 &status_byte->queue 1
PARAM_COMPARE 1 &status_byte->queue == $0->queue.next
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->lock
LOCK2 flags
HALF_LOCKED2 &ctx->ctx_lock
HALF_LOCKED2 &epdata->dev->lock
HALF_LOCKED2 &epdata->lock
HALF_LOCKED2 &epfile->dmabufs_mutex
HALF_LOCKED2 &epfile->ffs->eps_lock
HALF_LOCKED2 &ffs->eps_lock
HALF_LOCKED2 &port->port_lock
HALF_LOCKED2 irq
TYPE_LOCK (struct goku_udc)->lock

drivers/usb/gadget/udc/goku_udc.c goku_dequeue() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 0 shpnt->dev 4096-ptr_max
PARAM_VALUE 0 shpnt->dev->driver 1-u64max
PARAM_VALUE 0 shpnt->dev->ep0state 0-5,7-u32max
PARAM_VALUE 0 shpnt->num 0-3
PARAM_VALUE 1 status_byte 4096-ptr_max
PARAM_VALUE 2 host_byte (-104)
CAPPED_DATA 0 &shpnt->queue 1
CAPPED_DATA 1 &status_byte->queue 1
PARAM_COMPARE 1 &status_byte->queue != $1->queue.next
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->lock
LOCK2 flags
HALF_LOCKED2 &ctx->ctx_lock
HALF_LOCKED2 &epdata->dev->lock
HALF_LOCKED2 &epdata->lock
HALF_LOCKED2 &epfile->dmabufs_mutex
HALF_LOCKED2 &epfile->ffs->eps_lock
HALF_LOCKED2 &ffs->eps_lock
HALF_LOCKED2 &port->port_lock
HALF_LOCKED2 irq
TYPE_LOCK (struct goku_udc)->lock

drivers/usb/gadget/udc/goku_udc.c nuke() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 1 status_byte 4096-ptr_max
PARAM_VALUE 2 host_byte (-108),0
BUF_SIZE 0 shpnt (-1),544
BUF_SIZE 0 shpnt (-1),544
CAPPED_DATA 0 &shpnt->queue 1
DATA_SOURCE 0 shpnt $0
DATA_SOURCE 2 host_byte $1
PARAM_COMPARE 0 &shpnt->queue != $0->queue.next
HARD_MAX 2 host_byte 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct goku_udc)->lock

drivers/usb/gadget/udc/goku_udc.c read_fifo() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 0 shpnt->dev 4096-ptr_max
PARAM_VALUE 0 shpnt->dev->regs->EPxSizeLA 4096-ptr_max
PARAM_VALUE 0 shpnt->num 0-3
PARAM_VALUE 1 status_byte 4096-ptr_max
PARAM_VALUE 2 host_byte 0
DATA_SOURCE 0 shpnt $0
DATA_SOURCE 1 status_byte $1 [m]
NOCHECK_CALL

drivers/usb/gadget/udc/goku_udc.c write_fifo() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 0 shpnt->dev 4096-ptr_max
PARAM_VALUE 0 shpnt->dev->regs 4096-ptr_max
PARAM_VALUE 0 shpnt->num 0-3
PARAM_VALUE 1 status_byte 4096-ptr_max
PARAM_VALUE 2 host_byte 0
DATA_SOURCE 0 shpnt $0
DATA_SOURCE 1 status_byte $1
NOCHECK_CALL

drivers/usb/gadget/udc/net2280.c dma_done() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 0 shpnt->dma 1-u64max
PARAM_VALUE 1 status_byte 4096-ptr_max
PARAM_VALUE 1 status_byte->td 4096-ptr_max
PARAM_VALUE 2 host_byte (-104),(-75),0
BUF_SIZE 0 shpnt (-1),1440
BUF_SIZE 0 shpnt (-1),1440
CAPPED_DATA 1 status_byte 1
DATA_SOURCE 0 shpnt $0
DATA_SOURCE 1 status_byte $1
DATA_SOURCE 2 host_byte $3
HARD_MAX 2 host_byte 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 flags
HALF_LOCKED2 0 &shpnt->dev->lock

drivers/usb/gadget/udc/net2280.c handle_ep_small() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 0 shpnt->dev 4096-ptr_max
PARAM_VALUE 0 shpnt->dev->protocol_stall 1
PARAM_VALUE 0 shpnt->is_in 0
PARAM_VALUE 0 shpnt->num 0
PARAM_VALUE 0 shpnt->queue.next 4096-ptr_max
PARAM_VALUE 0 shpnt->regs 4096-ptr_max
PARAM_VALUE 0 shpnt->responded 1
PARAM_VALUE 0 shpnt->stopped 1
PARAM_VALUE 1 status_byte 4096-ptr_max
PARAM_VALUE 2 host_byte (-75)
CAPPED_DATA 0 &shpnt->queue 1
CAPPED_DATA 1 status_byte->req.actual 1
CAPPED_DATA 1 status_byte->req.length 1
DATA_SOURCE 0 shpnt $0
PARAM_COMPARE 0 &shpnt->queue != $0->queue.next
PARAM_COMPARE 1 status_byte->req.actual == $1->req.length
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct net2280)->lock

drivers/usb/gadget/udc/net2280.c handle_ep_small() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 0 shpnt->dma 0
PARAM_VALUE 0 shpnt->queue.next 4096-ptr_max
PARAM_VALUE 0 shpnt->regs 4096-ptr_max
PARAM_VALUE 1 status_byte 4096-ptr_max
PARAM_VALUE 2 host_byte 0
CAPPED_DATA 0 &shpnt->queue 1
DATA_SOURCE 0 shpnt $0
PARAM_COMPARE 0 &shpnt->queue != $0->queue.next
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct net2280)->lock

drivers/usb/gadget/udc/net2280.c handle_stat0_irqs() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 1 status_byte 4096-ptr_max
PARAM_VALUE 2 host_byte (-71),0
BUF_SIZE 0 shpnt 1440
BUF_SIZE 0 shpnt 1440
CAPPED_DATA 0 &shpnt->queue 1
FUZZY_MAX 2 host_byte 0
PARAM_COMPARE 0 &shpnt->queue != $0->queue.next
HARD_MAX 2 host_byte 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct net2280)->lock

drivers/usb/gadget/udc/net2280.c net2280_dequeue() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 0 shpnt->dma 0
PARAM_VALUE 0 shpnt->queue.next 4096-ptr_max
PARAM_VALUE 0 shpnt->stopped 1
PARAM_VALUE 1 status_byte 4096-ptr_max
PARAM_VALUE 2 host_byte (-104)
CAPPED_DATA 0 shpnt->queue.next 1
CAPPED_DATA 0 &shpnt->queue 1
CAPPED_DATA 1 &status_byte->queue 1
PARAM_COMPARE 1 &status_byte->queue == $0->queue.next
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &shpnt->dev->lock
HALF_LOCKED2 &ctx->ctx_lock
HALF_LOCKED2 &epdata->dev->lock
HALF_LOCKED2 &epdata->lock
HALF_LOCKED2 &epfile->dmabufs_mutex
HALF_LOCKED2 &epfile->ffs->eps_lock
HALF_LOCKED2 &ffs->eps_lock
HALF_LOCKED2 &port->port_lock
HALF_LOCKED2 irq
TYPE_LOCK (struct net2280)->lock

drivers/usb/gadget/udc/net2280.c net2280_dequeue() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 0 shpnt->dma 0,4096-ptr_max
PARAM_VALUE 1 status_byte 4096-ptr_max
PARAM_VALUE 2 host_byte (-104)
CAPPED_DATA 0 &shpnt->queue 1
PARAM_COMPARE 1 &status_byte->queue != $0->queue.next
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &shpnt->dev->lock
HALF_LOCKED2 &ctx->ctx_lock
HALF_LOCKED2 &epdata->dev->lock
HALF_LOCKED2 &epdata->lock
HALF_LOCKED2 &epfile->dmabufs_mutex
HALF_LOCKED2 &epfile->ffs->eps_lock
HALF_LOCKED2 &ffs->eps_lock
HALF_LOCKED2 &port->port_lock
HALF_LOCKED2 irq
TYPE_LOCK (struct net2280)->lock

drivers/usb/gadget/udc/net2280.c net2280_queue() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 0 shpnt->dev 4096-ptr_max
PARAM_VALUE 0 shpnt->dev->driver 1-u64max
PARAM_VALUE 0 shpnt->dev->gadget.speed 1-u32max
PARAM_VALUE 0 shpnt->dma 0
PARAM_VALUE 0 shpnt->num 0
PARAM_VALUE 0 shpnt->queue.next 4096-ptr_max
PARAM_VALUE 0 shpnt->regs 4096-ptr_max
PARAM_VALUE 0 shpnt->stopped 1
PARAM_VALUE 1 status_byte 4096-ptr_max
PARAM_VALUE 1 status_byte->queue.next 4096-ptr_max
PARAM_VALUE 2 host_byte 0
CAPPED_DATA 0 &shpnt->queue 1
CAPPED_DATA 1 &status_byte->queue 1
PARAM_COMPARE 0 &shpnt->queue == $0->queue.next
PARAM_COMPARE 1 &status_byte->queue == $1->queue.next
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->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 net2280)->lock

drivers/usb/gadget/udc/net2280.c net2280_queue() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 0 shpnt->dev 4096-ptr_max
PARAM_VALUE 0 shpnt->dev->driver 1-u64max
PARAM_VALUE 0 shpnt->dev->gadget.speed 1-u32max
PARAM_VALUE 0 shpnt->dma 0
PARAM_VALUE 0 shpnt->is_in 0
PARAM_VALUE 0 shpnt->num 0
PARAM_VALUE 0 shpnt->queue.next 4096-ptr_max
PARAM_VALUE 0 shpnt->regs 4096-ptr_max
PARAM_VALUE 0 shpnt->stopped 0
PARAM_VALUE 1 status_byte 4096-ptr_max
PARAM_VALUE 1 status_byte->queue.next 4096-ptr_max
PARAM_VALUE 1 status_byte->req.status (-75)
PARAM_VALUE 2 host_byte 0
CAPPED_DATA 0 &shpnt->queue 1
CAPPED_DATA 1 &status_byte->queue 1
PARAM_COMPARE 0 &shpnt->queue == $0->queue.next
PARAM_COMPARE 1 &status_byte->queue == $1->queue.next
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->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 net2280)->lock

drivers/usb/gadget/udc/net2280.c net2280_queue() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 0 shpnt->desc 1-u64max
PARAM_VALUE 0 shpnt->dev 4096-ptr_max
PARAM_VALUE 0 shpnt->dev->driver 1-u64max
PARAM_VALUE 0 shpnt->dev->gadget.speed 1-u32max
PARAM_VALUE 0 shpnt->dma 0
PARAM_VALUE 0 shpnt->is_in 0
PARAM_VALUE 0 shpnt->num 1-255
PARAM_VALUE 0 shpnt->queue.next 4096-ptr_max
PARAM_VALUE 0 shpnt->regs 4096-ptr_max
PARAM_VALUE 0 shpnt->stopped 0
PARAM_VALUE 1 status_byte 4096-ptr_max
PARAM_VALUE 1 status_byte->queue.next 4096-ptr_max
PARAM_VALUE 2 host_byte 0
CAPPED_DATA 0 &shpnt->queue 1
CAPPED_DATA 1 &status_byte->queue 1
PARAM_COMPARE 0 &shpnt->queue == $0->queue.next
PARAM_COMPARE 1 &status_byte->queue == $1->queue.next
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->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 net2280)->lock

drivers/usb/gadget/udc/net2280.c nuke() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 0 shpnt->dma 0,4096-ptr_max
PARAM_VALUE 1 status_byte 4096-ptr_max
PARAM_VALUE 2 host_byte (-108)
CAPPED_DATA 0 &shpnt->queue 1
DATA_SOURCE 0 shpnt $0
PARAM_COMPARE 0 &shpnt->queue != $0->queue.next
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 flags
HALF_LOCKED2 0 &shpnt->dev->lock
TYPE_LOCK (struct net2280)->lock

drivers/usb/gadget/udc/lpc32xx_udc.c lpc32xx_ep_dequeue() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 0 shpnt->hwep_num_base 1-u32max
PARAM_VALUE 1 status_byte 4096-ptr_max
PARAM_VALUE 2 host_byte (-104)
CAPPED_DATA 0 &shpnt->queue 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &shpnt->udc->lock
HALF_LOCKED2 &ctx->ctx_lock
HALF_LOCKED2 &epdata->dev->lock
HALF_LOCKED2 &epdata->lock
HALF_LOCKED2 &epfile->dmabufs_mutex
HALF_LOCKED2 &epfile->ffs->eps_lock
HALF_LOCKED2 &ffs->eps_lock
HALF_LOCKED2 &port->port_lock
HALF_LOCKED2 irq
TYPE_LOCK (struct lpc32xx_udc)->lock

drivers/usb/gadget/udc/lpc32xx_udc.c nuke() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 0 shpnt->udc 1-u64max
PARAM_VALUE 1 status_byte 4096-ptr_max
PARAM_VALUE 2 host_byte (-108),(-103),(-71),0
BUF_SIZE 0 shpnt (-1),2048
BUF_SIZE 0 shpnt (-1),2048
CAPPED_DATA 0 &shpnt->queue 1
DATA_SOURCE 0 shpnt $0
DATA_SOURCE 2 host_byte $1
PARAM_COMPARE 0 &shpnt->queue != $0->queue.next
HARD_MAX 2 host_byte 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &udc->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct lpc32xx_udc)->lock

drivers/usb/gadget/udc/lpc32xx_udc.c udc_ep0_in_req() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 1 status_byte 4096-ptr_max
PARAM_VALUE 2 host_byte 0
BUF_SIZE 0 shpnt 2048
BUF_SIZE 0 shpnt 2048
CAPPED_DATA 0 &shpnt->queue 1
PARAM_COMPARE 0 &shpnt->queue != $0->queue.next
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &udc->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct lpc32xx_udc)->lock

drivers/usb/gadget/udc/lpc32xx_udc.c udc_ep0_in_req() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 0 shpnt->ep.maxpacket 2-u16max
PARAM_VALUE 1 status_byte 4096-ptr_max
PARAM_VALUE 2 host_byte 0
BUF_SIZE 0 shpnt 2048
BUF_SIZE 0 shpnt 2048
CAPPED_DATA 0 shpnt->ep.maxpacket 1
CAPPED_DATA 0 &shpnt->queue 1
PARAM_COMPARE 0 &shpnt->queue != $0->queue.next
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &udc->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct lpc32xx_udc)->lock

drivers/usb/gadget/udc/lpc32xx_udc.c udc_ep0_out_req() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 1 status_byte 4096-ptr_max
PARAM_VALUE 1 status_byte->req.length 0
PARAM_VALUE 2 host_byte 0
BUF_SIZE 0 shpnt 2048
BUF_SIZE 0 shpnt 2048
CAPPED_DATA 0 &shpnt->queue 1
PARAM_COMPARE 0 &shpnt->queue != $0->queue.next
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &udc->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct lpc32xx_udc)->lock

drivers/usb/gadget/udc/lpc32xx_udc.c udc_ep0_out_req() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 0 shpnt->ep.maxpacket 1-u16max
PARAM_VALUE 1 status_byte 4096-ptr_max
PARAM_VALUE 1 status_byte->req.length 1-u32max
PARAM_VALUE 2 host_byte 0
BUF_SIZE 0 shpnt 2048
BUF_SIZE 0 shpnt 2048
CAPPED_DATA 0 &shpnt->queue 1
PARAM_COMPARE 0 &shpnt->queue != $0->queue.next
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &udc->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct lpc32xx_udc)->lock

drivers/usb/gadget/udc/lpc32xx_udc.c udc_handle_dma_ep() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 0 shpnt->req_pending 0
PARAM_VALUE 0 shpnt->udc 4096-ptr_max
PARAM_VALUE 0 shpnt->udc->dev 0,4096-ptr_max
PARAM_VALUE 1 status_byte 4096-ptr_max
PARAM_VALUE 1 status_byte->dd_desc_ptr 4096-ptr_max
PARAM_VALUE 1 status_byte->dd_desc_ptr->dd_status 1-u32max
PARAM_VALUE 2 host_byte (-103)
DATA_SOURCE 0 shpnt $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &udc->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct lpc32xx_udc)->lock

drivers/usb/gadget/udc/lpc32xx_udc.c udc_handle_dma_ep() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 0 shpnt->req_pending 0
PARAM_VALUE 0 shpnt->udc 4096-ptr_max
PARAM_VALUE 0 shpnt->udc->dev 0,4096-ptr_max
PARAM_VALUE 1 status_byte 4096-ptr_max
PARAM_VALUE 1 status_byte->dd_desc_ptr 4096-ptr_max
PARAM_VALUE 1 status_byte->dd_desc_ptr->dd_status 1-u32max
PARAM_VALUE 2 host_byte (-103)
DATA_SOURCE 0 shpnt $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &udc->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct lpc32xx_udc)->lock

drivers/usb/gadget/udc/lpc32xx_udc.c udc_handle_dma_ep() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 0 shpnt->req_pending 0
PARAM_VALUE 0 shpnt->udc 4096-ptr_max
PARAM_VALUE 0 shpnt->udc->dev 0,4096-ptr_max
PARAM_VALUE 1 status_byte 4096-ptr_max
PARAM_VALUE 1 status_byte->dd_desc_ptr 4096-ptr_max
PARAM_VALUE 1 status_byte->dd_desc_ptr->dd_status 1-u32max
PARAM_VALUE 2 host_byte (-103)
DATA_SOURCE 0 shpnt $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &udc->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct lpc32xx_udc)->lock

drivers/usb/gadget/udc/lpc32xx_udc.c udc_handle_dma_ep() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 0 shpnt->req_pending 0
PARAM_VALUE 0 shpnt->udc 4096-ptr_max
PARAM_VALUE 0 shpnt->udc->dev 0,4096-ptr_max
PARAM_VALUE 1 status_byte 4096-ptr_max
PARAM_VALUE 1 status_byte->dd_desc_ptr 4096-ptr_max
PARAM_VALUE 1 status_byte->dd_desc_ptr->dd_status 1-u32max
PARAM_VALUE 2 host_byte (-103)
DATA_SOURCE 0 shpnt $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &udc->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct lpc32xx_udc)->lock

drivers/usb/gadget/udc/lpc32xx_udc.c udc_handle_dma_ep() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 0 shpnt->udc 1-u64max
PARAM_VALUE 1 status_byte 4096-ptr_max
PARAM_VALUE 1 status_byte->dd_desc_ptr 4096-ptr_max
PARAM_VALUE 1 status_byte->dd_desc_ptr->dd_status 1-u32max
PARAM_VALUE 2 host_byte 0
DATA_SOURCE 0 shpnt $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &udc->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct lpc32xx_udc)->lock

drivers/usb/gadget/udc/lpc32xx_udc.c udc_handle_eps() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 0 shpnt->hwep_num 1-u32max
PARAM_VALUE 0 shpnt->is_in 1
PARAM_VALUE 1 status_byte 4096-ptr_max
PARAM_VALUE 2 host_byte 0
DATA_SOURCE 0 shpnt $1
FUZZY_MAX 0 shpnt->hwep_num 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &udc->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct lpc32xx_udc)->lock

drivers/usb/gadget/udc/fsl_udc_core.c dtd_complete_irq() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 0 shpnt->ep.name 1-u64max
PARAM_VALUE 1 status_byte 4096-ptr_max
PARAM_VALUE 1 status_byte->req.status (-84),(-71),(-32),0
PARAM_VALUE 2 host_byte (-84),(-71),(-32),0
CAPPED_DATA 0 &shpnt->queue 1
CAPPED_DATA 1 status_byte->dtd_count 1
CAPPED_DATA 1 &status_byte->queue 1
DATA_SOURCE 2 host_byte r process_ep_req
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 host_byte unit_byte
LOCK2 &udc->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct fsl_udc)->lock

drivers/usb/gadget/udc/fsl_udc_core.c ep0_req_complete() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 0 shpnt->ep.name 1-u64max
PARAM_VALUE 1 status_byte 4096-ptr_max
PARAM_VALUE 1 status_byte->req.status (-84),(-71),(-32),0
PARAM_VALUE 2 host_byte 0
CAPPED_DATA 1 status_byte->dtd_count 1
DATA_SOURCE 0 shpnt $1
DATA_SOURCE 1 status_byte $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &udc->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct fsl_udc)->lock

drivers/usb/gadget/udc/fsl_udc_core.c fsl_ep_dequeue() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 0 shpnt->ep.desc 4096-ptr_max
PARAM_VALUE 0 shpnt->stopped 1
PARAM_VALUE 1 status_byte 4096-ptr_max
PARAM_VALUE 1 status_byte->tail 4096-ptr_max
PARAM_VALUE 2 host_byte (-104)
CAPPED_DATA 0 &shpnt->queue 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &shpnt->udc->lock
HALF_LOCKED2 &ctx->ctx_lock
HALF_LOCKED2 &epdata->dev->lock
HALF_LOCKED2 &epdata->lock
HALF_LOCKED2 &epfile->dmabufs_mutex
HALF_LOCKED2 &epfile->ffs->eps_lock
HALF_LOCKED2 &ffs->eps_lock
HALF_LOCKED2 &port->port_lock
HALF_LOCKED2 irq
TYPE_LOCK (struct fsl_udc)->lock

drivers/usb/gadget/udc/fsl_udc_core.c nuke() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 1 status_byte 4096-ptr_max
PARAM_VALUE 2 host_byte (-108)
CAPPED_DATA 0 &shpnt->queue 1
DATA_SOURCE 0 shpnt $0
DATA_SOURCE 2 host_byte $1
PARAM_COMPARE 0 &shpnt->queue != $0->queue.next
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 host_byte unit_byte
HALF_LOCKED2 &udc->connect_lock
HALF_LOCKED2 &udc->lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &udc_controller->lock
TYPE_LOCK (struct fsl_udc)->lock

drivers/scsi/pcmcia/aha152x_core.c busfree_run() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 2 host_byte 0
DATA_SOURCE 0 shpnt $0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/scsi/pcmcia/aha152x_core.c busfree_run() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 2 host_byte 5
DATA_SOURCE 0 shpnt $0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/scsi/pcmcia/aha152x_core.c busfree_run() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 2 host_byte 8
DATA_SOURCE 0 shpnt $0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/scsi/pcmcia/aha152x_core.c busfree_run() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 1 status_byte 0
PARAM_VALUE 2 host_byte 7
DATA_SOURCE 0 shpnt $0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/scsi/pcmcia/aha152x_core.c cmd_init() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 1 status_byte 0
PARAM_VALUE 2 host_byte 7
DATA_SOURCE 0 shpnt $0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/scsi/pcmcia/aha152x_core.c parerr_run() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 1 status_byte 0
PARAM_VALUE 2 host_byte 6
DATA_SOURCE 0 shpnt $0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/scsi/pcmcia/aha152x_core.c rsti_run() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.bus 0,4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.class 0,4096-ptr_max
PARAM_VALUE 0 shpnt->shost_gendev.driver 0,4096-ptr_max
PARAM_VALUE 1 status_byte 0
PARAM_VALUE 2 host_byte 8
DATA_SOURCE 0 shpnt $0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/scsi/pcmcia/aha152x_core.c seldo_run() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 1 status_byte 0
PARAM_VALUE 2 host_byte 1
DATA_SOURCE 0 shpnt $0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/scsi/pcmcia/aha152x_core.c selto_run() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 1 status_byte 0
PARAM_VALUE 2 host_byte 5
DATA_SOURCE 0 shpnt $0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/scsi/pcmcia/aha152x_core.c selto_run() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 1 status_byte 0
PARAM_VALUE 2 host_byte 2
DATA_SOURCE 0 shpnt $0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/scsi/pcmcia/aha152x_core.c selto_run() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 1 status_byte 0
PARAM_VALUE 2 host_byte 1
DATA_SOURCE 0 shpnt $0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/usb/host/sl811-hcd.c sl811h_irq() -> done()

Type Parameter Key Value
PARAM_VALUE 0 shpnt 4096-ptr_max
PARAM_VALUE 0 shpnt->addr_reg 4096-ptr_max
PARAM_VALUE 0 shpnt->data_reg 4096-ptr_max
PARAM_VALUE 0 shpnt->lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 host_byte 0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &shpnt->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct sl811)->lock

Smatch assignments to (struct mmc_request)->done:

drivers/mmc/core/block.c __mmc_blk_ioctl_cmd() -> (struct mmc_request)->done [0]

drivers/mmc/core/block.c mmc_blk_cqe_issue_flush() -> (struct mmc_request)->done [0]

drivers/mmc/core/block.c mmc_blk_cqe_issue_rw_rq() -> (struct mmc_request)->done [0]

drivers/mmc/core/block.c mmc_blk_cqe_prep_dcmd() -> (struct mmc_request)->done [0]

drivers/mmc/core/block.c mmc_blk_cqe_start_req() -> (struct mmc_request)->done [7038937104643203072]

drivers/mmc/core/block.c mmc_blk_data_prep() -> (struct mmc_request)->done [0]

drivers/mmc/core/block.c mmc_blk_hsq_issue_rw_rq() -> (struct mmc_request)->done [0,429396076522299392]

drivers/mmc/core/block.c mmc_blk_mq_issue_rw_rq() -> (struct mmc_request)->done [0,6569461247470579712]

drivers/mmc/core/block.c mmc_blk_rw_rq_prep() -> (struct mmc_request)->done [0]

drivers/mmc/core/block.c mmc_sd_num_wr_blocks() -> (struct mmc_request)->done [0]

drivers/mmc/core/sdio_ops.c mmc_io_rw_extended() -> (struct mmc_request)->done [0]

drivers/mmc/host/sdhci-uhs2.c __sdhci_uhs2_irq() -> (struct mmc_request)->done [min-max]

drivers/mmc/host/sdhci-uhs2.c sdhci_uhs2_irq() -> (struct mmc_request)->done [min-max]

drivers/mmc/host/sdhci-uhs2.c sdhci_uhs2_request() -> (struct mmc_request)->done [min-max]

drivers/mmc/host/sdhci-uhs2.c sdhci_uhs2_thread_irq() -> (struct mmc_request)->done [min-max]

drivers/mmc/core/mmc_test.c mmc_test_broken_transfer() -> (struct mmc_request)->done [0]

drivers/mmc/core/mmc_test.c mmc_test_buffer_transfer() -> (struct mmc_request)->done [0]

drivers/mmc/core/mmc_test.c mmc_test_nonblock_transfer() -> (struct mmc_request)->done [0-u64max]

drivers/mmc/core/mmc_test.c mmc_test_ongoing_transfer() -> (struct mmc_request)->done [min-max]

drivers/mmc/core/mmc_test.c mmc_test_req_alloc() -> (struct mmc_request)->done [0]

drivers/mmc/core/mmc_test.c mmc_test_req_reset() -> (struct mmc_request)->done [0]

drivers/mmc/core/mmc_test.c mmc_test_simple_transfer() -> (struct mmc_request)->done [0]

drivers/mmc/core/mmc_test.c mmc_test_start_areq() -> (struct mmc_request)->done [8283609542540963840]

drivers/mmc/core/mmc_ops.c mmc_read_tuning() -> (struct mmc_request)->done [0]

drivers/mmc/core/mmc_ops.c mmc_send_adtc_data() -> (struct mmc_request)->done [0]

drivers/mmc/core/mmc_ops.c mmc_send_bus_test() -> (struct mmc_request)->done [0]

drivers/mmc/core/mmc_ops.c mmc_send_tuning() -> (struct mmc_request)->done [0]

drivers/net/wireless/broadcom/brcm80211/brcmfmac/bcmsdh.c brcmf_sdiod_sglist_rw() -> (struct mmc_request)->done [0]

drivers/mmc/core/core.c __mmc_start_req() -> (struct mmc_request)->done [8039316214707961856]

drivers/mmc/core/core.c mmc_wait_for_cmd() -> (struct mmc_request)->done [0]

drivers/mmc/core/sd.c sd_write_ext_reg() -> (struct mmc_request)->done [0]

drivers/mmc/host/sdhci.c sdhci_card_event() -> (struct mmc_request)->done [min-max]

drivers/mmc/host/sdhci.c sdhci_cmd_irq() -> (struct mmc_request)->done [min-max]

drivers/mmc/host/sdhci.c sdhci_complete_work() -> (struct mmc_request)->done [min-max]

drivers/mmc/host/sdhci.c sdhci_data_irq() -> (struct mmc_request)->done [min-max]

drivers/mmc/host/sdhci.c sdhci_error_out_mrqs() -> (struct mmc_request)->done [min-max]

drivers/mmc/host/sdhci.c sdhci_finish_command() -> (struct mmc_request)->done [min-max]

drivers/mmc/host/sdhci.c sdhci_irq() -> (struct mmc_request)->done [min-max]

drivers/mmc/host/sdhci.c sdhci_remove_host() -> (struct mmc_request)->done [min-max]

drivers/mmc/host/sdhci.c sdhci_request() -> (struct mmc_request)->done [min-max]

drivers/mmc/host/sdhci.c sdhci_request_atomic() -> (struct mmc_request)->done [min-max]

drivers/mmc/host/sdhci.c sdhci_send_tuning() -> (struct mmc_request)->done [0]

drivers/mmc/host/sdhci.c sdhci_thread_irq() -> (struct mmc_request)->done [min-max]

drivers/mmc/host/sdhci.c sdhci_timeout_data_timer() -> (struct mmc_request)->done [min-max]

drivers/mmc/host/sdhci.c sdhci_timeout_timer() -> (struct mmc_request)->done [min-max]

drivers/mmc/core/sd_ops.c mmc_app_sd_status() -> (struct mmc_request)->done [0]

drivers/mmc/core/sd_ops.c mmc_app_send_scr() -> (struct mmc_request)->done [0]

drivers/mmc/core/sd_ops.c mmc_wait_for_app_cmd() -> (struct mmc_request)->done [0]

drivers/net/wireless/ath/ath6kl/sdio.c ath6kl_sdio_scat_rw() -> (struct mmc_request)->done [0]