Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/gadget/udc/aspeed-vhub/dev.c ast_vhub_dev_reset() -> ast_vhub_dev_enable()

Type Parameter Key Value
PARAM_VALUE 0 d 4096-ptr_max
PARAM_VALUE 0 d->driver 1-u64max
PARAM_VALUE 0 d->enabled 0
DATA_SOURCE 0 d $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &vhub->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct ast_vhub)->lock

drivers/usb/gadget/udc/aspeed-vhub/dev.c ast_vhub_dev_reset() -> ast_vhub_dev_enable()

Type Parameter Key Value
PARAM_VALUE 0 d 4096-ptr_max
PARAM_VALUE 0 d->driver 4096-ptr_max
PARAM_VALUE 0 d->driver->reset 4096-ptr_max
PARAM_VALUE 0 d->enabled 0
PARAM_VALUE 0 d->gadget.dev.driver_data->config 0
PARAM_VALUE 0 d->gadget.dev.driver_data->ev_next 0-5
PARAM_VALUE 0 d->gadget.dev.driver_data->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 d->gadget.dev.driver_data->queue.sema.count 0-4294967295
PARAM_VALUE 0 d->gadget.dev.driver_data->queue.sema.first_waiter->up 0-1
PARAM_VALUE 0 d->gadget.dev.driver_data->queue.sema.lock.dep_map->name 0-255
PARAM_VALUE 0 d->gadget.dev.driver_data->queue.sema.lock.owner (-1)
PARAM_VALUE 0 d->gadget.dev.driver_data->queue.sema.lock.owner_cpu 4294967295
PARAM_VALUE 0 d->gadget.dev.driver_data->queue.size s32min-16
PARAM_VALUE 0 d->gadget.dev.driver_data->state 2,6
PARAM_VALUE 0 d->gadget.dev.driver_data->suspended 0
PARAM_VALUE 0 d->gadget.ops->vbus_draw 0,4096-ptr_max
PARAM_VALUE 0 d->gadget.speed 0
PARAM_VALUE 0 d->gadget.state 5
PARAM_VALUE 0 d->gadget.state_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 d->vhub 4096-ptr_max
PARAM_VALUE 0 d->vhub->lock.rlock.dep_map->name 0-255
DATA_SOURCE 0 d $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &vhub->lock
LOCK2 0 &d->vhub->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct ast_vhub)->lock