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 gntab_unmap_queue_data)->done:

drivers/block/xen-blkback/blkback.c end_block_io_op() -> (struct gntab_unmap_queue_data)->done [ignore]

drivers/block/xen-blkback/blkback.c xen_blkbk_unmap_and_respond() -> (struct gntab_unmap_queue_data)->done [6044186185631596544]

drivers/block/xen-blkback/xenbus.c read_per_ring_refs() -> (struct gntab_unmap_queue_data)->done [min-max]

drivers/block/xen-blkback/xenbus.c xen_blkif_disconnect() -> (struct gntab_unmap_queue_data)->done [min-max]

drivers/xen/gntdev.c __unmap_grant_pages() -> (struct gntab_unmap_queue_data)->done [3725841066168614912]

drivers/xen/gntdev.c __unmap_grant_pages_done() -> (struct gntab_unmap_queue_data)->done [0-u64max]

drivers/xen/gntdev.c find_grant_ptes() -> (struct gntab_unmap_queue_data)->done [0-u64max]

drivers/xen/gntdev.c gntdev_alloc_map() -> (struct gntab_unmap_queue_data)->done [min-max]

drivers/xen/gntdev.c gntdev_free_map() -> (struct gntab_unmap_queue_data)->done [min-max]

drivers/xen/gntdev.c gntdev_ioctl_get_offset_for_vaddr() -> (struct gntab_unmap_queue_data)->done [ignore]

drivers/xen/gntdev.c gntdev_ioctl_map_grant_ref() -> (struct gntab_unmap_queue_data)->done [min-max]

drivers/xen/gntdev.c gntdev_ioctl_unmap_grant_ref() -> (struct gntab_unmap_queue_data)->done [min-max]

drivers/xen/gntdev.c gntdev_mmap() -> (struct gntab_unmap_queue_data)->done [min-max]

drivers/xen/gntdev.c gntdev_put_map() -> (struct gntab_unmap_queue_data)->done [min-max]

drivers/xen/gntdev.c gntdev_release() -> (struct gntab_unmap_queue_data)->done [min-max]

drivers/xen/gntdev.c gntdev_vma_close() -> (struct gntab_unmap_queue_data)->done [0-u64max]

drivers/xen/gntdev.c gntdev_vma_find_normal_page() -> (struct gntab_unmap_queue_data)->done [ignore]

drivers/xen/gntdev.c gntdev_vma_open() -> (struct gntab_unmap_queue_data)->done [ignore]

drivers/xen/grant-table.c gnttab_unmap_refs_sync() -> (struct gntab_unmap_queue_data)->done [5771303998702292992]

drivers/xen/gntdev-dmabuf.c dmabuf_exp_from_refs() -> (struct gntab_unmap_queue_data)->done [min-max]

drivers/xen/gntdev-dmabuf.c dmabuf_exp_ops_release() -> (struct gntab_unmap_queue_data)->done [min-max]

drivers/xen/gntdev-dmabuf.c dmabuf_exp_remove_map() -> (struct gntab_unmap_queue_data)->done [min-max]