Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/usb/core/message.c usb_set_configuration() -> usb_disable_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev.power.request 0-4
PARAM_VALUE 0 dev->dev.power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 dev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->state 0-5,7-u32max
PARAM_VALUE 0 *dev->toggle 0-4294967295
PARAM_VALUE 1 skip_ep0 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &(sdev->udev)->dev.mutex
HALF_LOCKED2 &dev->dev.mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 0 &dev->dev.mutex

drivers/usb/core/hub.c usb_disconnect() -> usb_disable_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 dev->dev.class 0,4096-ptr_max
PARAM_VALUE 0 dev->dev.driver 0,4096-ptr_max
PARAM_VALUE 0 dev->dev.kobj.sd->__parent 0
PARAM_VALUE 0 dev->dev.power.can_wakeup 0
PARAM_VALUE 0 dev->dev.power.idle_notification 0
PARAM_VALUE 0 dev->dev.power.request_pending 0
PARAM_VALUE 0 dev->dev.power.runtime_status 0,2
PARAM_VALUE 0 dev->dev.power.timer_expires 0
PARAM_VALUE 0 dev->dev.power.usage_count.counter 0-s32max
PARAM_VALUE 0 dev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->state 0,2,5-8
PARAM_VALUE 1 skip_ep0 0
CAPPED_DATA 0 dev->maxchild 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &dev->dev.mutex
HALF_LOCKED2 &hdev->dev.mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &port_dev->status_lock
HALF_LOCKED2 &udev->dev.mutex
HALF_LOCKED2 global &usb_bus_idr_lock
TYPE_LOCK (struct device)->mutex