Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/gadget/udc/aspeed_udc.c ast_udc_stop() -> ast_udc_stop_activity()

Type Parameter Key Value
PARAM_VALUE 0 udc 4096-ptr_max
PARAM_VALUE 0 udc->driver 0
PARAM_VALUE 0 udc->gadget.speed 0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &udc->connect_lock
LOCK2 flags
LOCK2 0 &udc->lock
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &gadget->dev.mutex
HALF_LOCKED2 &of->mutex
TYPE_LOCK (struct ast_udc_dev)->lock
TYPE_LOCK (struct usb_udc)->connect_lock