Defined in 2 files as a member:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/usb/gadget/udc/lpc32xx_udc.c lpc32xx_start() -> vbus_work()

Type Parameter Key Value
PARAM_VALUE 0 udc 4096-ptr_max
PARAM_VALUE 0 udc->dev 4096-ptr_max
PARAM_VALUE 0 udc->driver 4096-ptr_max
PARAM_VALUE 0 udc->driver->max_speed 2-u32max
PARAM_VALUE 0 udc->driver->setup 1-u64max
PARAM_VALUE 0 udc->enabled 1
PARAM_VALUE 0 udc->gadget.is_selfpowered 1
PARAM_VALUE 0 udc->last_vbus 0
PARAM_VALUE 0 udc->vbus 0
DATA_SOURCE 0 udc r to_udc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &udc->connect_lock
HALF_LOCKED2 &gadget->dev.mutex
HALF_LOCKED2 &of->mutex
TYPE_LOCK (struct usb_udc)->connect_lock

drivers/usb/gadget/udc/lpc32xx_udc.c lpc32xx_usb_vbus_irq() -> vbus_work()

Type Parameter Key Value
DATA_SOURCE 0 udc $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL