Open Menu /

Documented in 2 files:

Defined in 3 files as a member:

Defined in 2 files as a function:

Referenced in 7 files:

Smatch caller information:

drivers/usb/gadget/udc/pxa27x_udc.c ep_end_in_req() -> req_done()

Type Parameter Key Value
PARAM_VALUE 0 ep 4096-ptr_max
PARAM_VALUE 0 ep->dev 4096-ptr_max
PARAM_VALUE 0 ep->dev->ep0state 0,4-5
PARAM_VALUE 0 ep->fifo_size 16,64,256
PARAM_VALUE 0 ep->idx 0-14
PARAM_VALUE 0 ep->type 0-3
PARAM_VALUE 1 req 4096-ptr_max
PARAM_VALUE 2 status 0
PARAM_VALUE 3 pflags 0,6797661702805516288
BUF_SIZE 0 ep (-1),2640
BUF_SIZE 0 ep (-1),2640
DATA_SOURCE 0 ep $0
DATA_SOURCE 1 req $1
DATA_SOURCE 3 pflags $2
FUZZY_MAX 0 ep->type 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 0 &ep->lock

drivers/usb/gadget/udc/pxa27x_udc.c ep_end_out_req() -> req_done()

Type Parameter Key Value
PARAM_VALUE 0 ep 4096-ptr_max
PARAM_VALUE 0 ep->dev 4096-ptr_max
PARAM_VALUE 0 ep->dev->ep0state 0,4-5
PARAM_VALUE 0 ep->fifo_size 16,64,256
PARAM_VALUE 0 ep->idx 0-14
PARAM_VALUE 0 ep->type 0-3
PARAM_VALUE 1 req 4096-ptr_max
PARAM_VALUE 2 status 0
PARAM_VALUE 3 pflags 0,6797661702805516288
BUF_SIZE 0 ep (-1),2640
BUF_SIZE 0 ep (-1),2640
DATA_SOURCE 0 ep $0
DATA_SOURCE 1 req $1
DATA_SOURCE 3 pflags $2
FUZZY_MAX 0 ep->type 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 0 &ep->lock

drivers/usb/gadget/udc/pxa27x_udc.c nuke() -> req_done()

Type Parameter Key Value
PARAM_VALUE 0 ep 4096-ptr_max
PARAM_VALUE 0 ep->dev 4096-ptr_max
PARAM_VALUE 0 ep->idx 0-14
PARAM_VALUE 1 req 4096-ptr_max
PARAM_VALUE 2 status (-108),(-71),(-32),0
PARAM_VALUE 3 pflags 7814647012243451904
BUF_SIZE 0 ep (-1),2640
BUF_SIZE 0 ep (-1),2640
CAPPED_DATA 0 &ep->queue 1
DATA_SOURCE 0 ep $0
DATA_SOURCE 2 status $1
PARAM_COMPARE 0 &ep->queue != $0->queue.next
HARD_MAX 2 status 0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &ep->lock
TYPE_LOCK (struct pxa_ep)->lock

drivers/usb/gadget/udc/pxa27x_udc.c pxa_ep_dequeue() -> req_done()

Type Parameter Key Value
PARAM_VALUE 0 ep 4096-ptr_max
PARAM_VALUE 0 ep->idx 1-14
PARAM_VALUE 0 ep->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 req 4096-ptr_max
PARAM_VALUE 2 status (-104)
PARAM_VALUE 3 pflags 0
CAPPED_DATA 0 &ep->queue 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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

drivers/virtio/virtio_ring.c vring_interrupt() -> (struct virtqueue)->callback()

Type Parameter Key Value
PARAM_VALUE 0 ep 4096-ptr_max
PARAM_VALUE 0 ep->callback 1-u64max
CONTAINER 0 -16+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 &vp_dev->lock
HALF_LOCKED2 flags