Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/gadget/udc/snps_udc_plat.c udc_drd_work() -> stop_udc()

Type Parameter Key Value
PARAM_VALUE 0 udc 4096-ptr_max
PARAM_VALUE 0 udc->conn_type 0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/usb/gadget/udc/snps_udc_plat.c udc_plat_suspend() -> stop_udc()

Type Parameter Key Value
BUF_SIZE 0 udc s32min-(-2),1-s32max
BUF_SIZE 0 udc s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 udc unit_byte

drivers/usb/gadget/udc/snps_udc_plat.c udc_plat_suspend() -> stop_udc()

Type Parameter Key Value
PARAM_VALUE 0 udc 4096-ptr_max
PARAM_VALUE 0 udc->connected 0
PARAM_VALUE 0 udc->dev 0,4096-ptr_max
PARAM_VALUE 0 udc->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 udc->dev->class 0,4096-ptr_max
PARAM_VALUE 0 udc->dev->driver 0,4096-ptr_max
PARAM_VALUE 0 udc->driver 0,4096-ptr_max
PARAM_VALUE 0 udc->edev 4096-ptr_max
PARAM_VALUE 0 udc->edev->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 udc->edev->max_supported 1-s32max
PARAM_VALUE 0 udc->gadget.dev.driver_data->config 0
PARAM_VALUE 0 udc->gadget.dev.driver_data->delayed_status 0
PARAM_VALUE 0 udc->gadget.dev.driver_data->ev_next 0-5
PARAM_VALUE 0 udc->gadget.dev.driver_data->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 udc->gadget.dev.driver_data->queue.sema.count 0-4294967295
PARAM_VALUE 0 udc->gadget.dev.driver_data->queue.sema.first_waiter->up 0-1
PARAM_VALUE 0 udc->gadget.dev.driver_data->queue.sema.last_holder 0
PARAM_VALUE 0 udc->gadget.dev.driver_data->queue.sema.lock.owner (-1)
PARAM_VALUE 0 udc->gadget.dev.driver_data->queue.sema.lock.owner_cpu 4294967295
PARAM_VALUE 0 udc->gadget.dev.driver_data->suspended 0
PARAM_VALUE 0 udc->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 udc->regs 4096-ptr_max
BUF_SIZE 0 udc s32min-(-2),1-s32max
BUF_SIZE 0 udc s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 udc unit_byte