Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/gadget/udc/core.c usb_ep_free_request() -> (struct usb_ep_ops)->free_request()

Type Parameter Key Value
PARAM_VALUE 0 ep 4096-ptr_max
PARAM_VALUE 0 ep->ops 4096-ptr_max
BUF_SIZE 0 ep (-1),64,72,640,1744
BUF_SIZE 0 ep (-1),64,72,640,1744
BUF_SIZE 0 ep->driver_data (-1),336
BUF_SIZE 1 req s32min,(-1)-s32max
BUF_SIZE 1 req s32min,(-1)-s32max
BUF_SIZE 1 req->buf (-1)-s32max
BUF_SIZE 1 req->context (-1),16,96,104,312
BUF_SIZE 1 req->ep (-1),72
DATA_SOURCE 0 ep $0
DATA_SOURCE 1 req $1
CONTAINER 0 -32-16+0 $(-1)
NOSPEC 1 req->actual
NOSPEC 1 req->length
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 req->actual 0-u32max[c]
HOST_DATA 1 req->frame_number 0-16383[c]
HOST_DATA 1 req->length 0-u32max[c]
HOST_DATA 1 req->zero 0-1
USER_DATA 0 ep->address 0-255[u]
USER_DATA 1 req->actual 0-64[c]
USER_DATA 1 req->ep->address 0-255[u]
USER_DATA 1 req->ep->desc->bDescriptorType 0-255
USER_DATA 1 req->ep->desc->bEndpointAddress 0-255
USER_DATA 1 req->ep->desc->bInterval 0-255
USER_DATA 1 req->ep->desc->bLength 0-255
USER_DATA 1 req->ep->desc->bRefresh 0-255
USER_DATA 1 req->ep->desc->bSynchAddress 0-255
USER_DATA 1 req->ep->desc->bmAttributes 0-255
USER_DATA 1 req->ep->desc->wMaxPacketSize 0-u16max
USER_DATA 1 req->length 0-u32max
USER_DATA 1 req->zero 0-1[c]
USER_DATA 1 *req->buf s64min-s64max
NO_OVERFLOW_SIMPLE 0 ep->num
NO_OVERFLOW_SIMPLE 1 req->dma
NO_OVERFLOW_SIMPLE 1 req->num_mapped_sgs
NO_OVERFLOW_SIMPLE 1 req->status
USER_PTR 1 req->buf
USER_PTR 1 req->ep->desc
HALF_LOCKED2 &ci->lock
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &dev->req_lock
HALF_LOCKED2 &ep->lock
HALF_LOCKED2 &epdata->dev->lock
HALF_LOCKED2 &epdata->lock
HALF_LOCKED2 &epfile->ffs->eps_lock
HALF_LOCKED2 &ffs->mutex
HALF_LOCKED2 &func->ffs->eps_lock
HALF_LOCKED2 &hidg->get_report_spinlock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq