Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/core/driver.c usb_resume_complete() -> rebind_marked_interfaces()

Type Parameter Key Value
PARAM_VALUE 0 udev 4096-ptr_max
PARAM_VALUE 0 udev->state 1-u32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 global &system_transition_mutex

drivers/usb/core/driver.c usb_unbind_and_rebind_marked_interfaces() -> rebind_marked_interfaces()

Type Parameter Key Value
PARAM_VALUE 0 udev 4096-ptr_max
PARAM_VALUE 0 udev->actconfig 0,4096-ptr_max
PARAM_VALUE 0 udev->bus->sysdev->iommu->attach_deferred 0-1
PARAM_VALUE 0 udev->dev.iommu->attach_deferred 0-1
PARAM_VALUE 0 udev->dev.power.can_wakeup 0
PARAM_VALUE 0 udev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 udev->ep0.hcpriv->data_toggle 0
PARAM_VALUE 0 udev->ep0.hcpriv->needs_rescan 0-1
PARAM_VALUE 0 udev->ep0.hcpriv->qh_next.ptr 0
PARAM_VALUE 0 udev->ep0.hcpriv->qh_state 2,4
PARAM_VALUE 0 udev->ep0.hcpriv->unlink_cycle 0-4294967295
PARAM_VALUE 0 udev->ep0.hcpriv->unlink_reason 0-255
PARAM_VALUE 0 udev->have_langid 1
PARAM_VALUE 0 udev->state 0,2,5-8
PARAM_VALUE 0 udev->string_langid (-1)-u16max
PARAM_VALUE 0 udev->u1_params.timeout 0-127,255
PARAM_VALUE 0 udev->u2_params.timeout 0-255
PARAM_VALUE 0 *udev->toggle 0-4294967295
CAPPED_DATA 0 udev 1
DATA_SOURCE 0 udev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->dev.mutex
HALF_LOCKED2 &hdev->dev.mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &port_dev->status_lock
HALF_LOCKED2 &ud->sysfs_lock
HALF_LOCKED2 0 &udev->dev.mutex