Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/gadget/udc/lpc32xx_udc.c lpc32xx_get_frame() -> udc_get_current_frame()

Type Parameter Key Value
PARAM_VALUE 0 udc 4096-ptr_max
PARAM_VALUE 0 udc->clocked 1
DATA_SOURCE 0 udc r to_udc
PREEMPT_ADD <- disables preempt
LOCK2 &pool->lock
LOCK2 &queue->irqlock
LOCK2 flags
LOCK2 flags
LOCK2 0 &udc->lock
TYPE_LOCK (struct lpc32xx_udc)->lock
TYPE_LOCK (struct uvc_video_queue)->irqlock