Defined in 2 files as a macro:
- drivers/usb/gadget/udc/max3420_udc.c, line 187 (as a macro)
- drivers/usb/gadget/udc/udc-xilinx.c, line 104 (as a macro)
Defined in 2 files as a function:
- drivers/usb/gadget/udc/at91_udc.h, line 147 (as a function)
- drivers/usb/gadget/udc/lpc32xx_udc.c, line 182 (as a function)
Referenced in 4 files:
- drivers/usb/gadget/udc/at91_udc.c
- drivers/usb/gadget/udc/lpc32xx_udc.c
- drivers/usb/gadget/udc/max3420_udc.c
- drivers/usb/gadget/udc/udc-xilinx.c
Smatch caller information:
drivers/usb/gadget/udc/lpc32xx_udc.c lpc32xx_get_frame() -> to_udc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | g | 4096-ptr_max |
| DATA_SOURCE | 0 | g | $0 |
| LOCK2 | &pool->lock | ||
| LOCK2 | &queue->irqlock | ||
| LOCK2 | flags | ||
| TYPE_LOCK | (struct uvc_video_queue)->irqlock |
drivers/usb/gadget/udc/lpc32xx_udc.c lpc32xx_pullup() -> to_udc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | g | 4096-ptr_max |
| DATA_SOURCE | 0 | g | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | &udc->connect_lock | ||
| HALF_LOCKED2 | 0 | &g->dev.mutex | |
| HALF_LOCKED2 | 0 | &g->udc->connect_lock | |
| TYPE_LOCK | (struct usb_udc)->connect_lock |
drivers/usb/gadget/udc/lpc32xx_udc.c lpc32xx_start() -> to_udc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | g | 4096-ptr_max |
| DATA_SOURCE | 0 | g | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &udc->connect_lock | ||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | 0 | &g->dev.mutex | |
| TYPE_LOCK | (struct usb_udc)->connect_lock |
drivers/usb/gadget/udc/lpc32xx_udc.c lpc32xx_stop() -> to_udc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | g | 4096-ptr_max |
| DATA_SOURCE | 0 | g | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &udc->connect_lock | ||
| HALF_LOCKED2 | &dev->mutex | ||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | 0 | &g->dev.mutex | |
| TYPE_LOCK | (struct usb_udc)->connect_lock |
drivers/usb/gadget/udc/lpc32xx_udc.c lpc32xx_vbus_session() -> to_udc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | g | 4096-ptr_max |
| DATA_SOURCE | 0 | g | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |