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_disable_device_endpoints() -> usb_hcd_alloc_bandwidth()

Type Parameter Key Value
PARAM_VALUE 0 udev 4096-ptr_max
PARAM_VALUE 0 udev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 *udev->toggle 0-4294967295
PARAM_VALUE 1 new_config 0
PARAM_VALUE 2 cur_alt 0
PARAM_VALUE 3 new_alt 0
DATA_SOURCE 0 udev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 hcd->bandwidth_mutex
HALF_LOCKED2 0 &udev->dev.mutex

drivers/usb/core/message.c usb_reset_configuration() -> usb_hcd_alloc_bandwidth()

Type Parameter Key Value
PARAM_VALUE 0 udev 4096-ptr_max
PARAM_VALUE 0 udev->state 0-7,9-u32max
PARAM_VALUE 0 *udev->ep_in 0
PARAM_VALUE 0 *udev->ep_out 0
PARAM_VALUE 0 *udev->toggle 0-4294967295
PARAM_VALUE 2 cur_alt 0
PARAM_VALUE 3 new_alt 0
DATA_SOURCE 0 udev $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 hcd->bandwidth_mutex
HALF_LOCKED2 &board->big_gpib_mutex
HALF_LOCKED2 &dev->dev.mutex
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 global &ni_usb_hotplug_lock

drivers/usb/core/message.c usb_reset_configuration() -> usb_hcd_alloc_bandwidth()

Type Parameter Key Value
PARAM_VALUE 0 udev 4096-ptr_max
PARAM_VALUE 0 udev->state 0-7,9-u32max
PARAM_VALUE 0 *udev->ep_in 0
PARAM_VALUE 0 *udev->ep_out 0
PARAM_VALUE 0 *udev->toggle 0-4294967295
PARAM_VALUE 1 new_config 0
PARAM_VALUE 2 cur_alt 0
PARAM_VALUE 3 new_alt 0
DATA_SOURCE 0 udev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 hcd->bandwidth_mutex
HALF_LOCKED2 &board->big_gpib_mutex
HALF_LOCKED2 &dev->dev.mutex
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 global &ni_usb_hotplug_lock

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

Type Parameter Key Value
PARAM_VALUE 0 udev 4096-ptr_max
PARAM_VALUE 0 udev->dev.power.request 0-4
PARAM_VALUE 0 udev->dev.power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 udev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 *udev->toggle 0-4294967295
PARAM_VALUE 1 new_config 0,4096-ptr_max
PARAM_VALUE 2 cur_alt 0
PARAM_VALUE 3 new_alt 0
CAPPED_DATA 0 udev 1
DATA_SOURCE 0 udev $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 hcd->bandwidth_mutex
HALF_LOCKED2 &(sdev->udev)->dev.mutex
HALF_LOCKED2 &dev->dev.mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 0 &udev->dev.mutex

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

Type Parameter Key Value
PARAM_VALUE 0 udev 4096-ptr_max
PARAM_VALUE 0 udev->dev.power.request 0-4
PARAM_VALUE 0 udev->dev.power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 udev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 *udev->toggle 0-4294967295
PARAM_VALUE 1 new_config 0
PARAM_VALUE 2 cur_alt 0
PARAM_VALUE 3 new_alt 0
CAPPED_DATA 0 udev 1
DATA_SOURCE 0 udev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 hcd->bandwidth_mutex
HALF_LOCKED2 &(sdev->udev)->dev.mutex
HALF_LOCKED2 &dev->dev.mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 0 &udev->dev.mutex

drivers/usb/core/message.c usb_set_interface() -> usb_hcd_alloc_bandwidth()

Type Parameter Key Value
PARAM_VALUE 0 udev 4096-ptr_max
PARAM_VALUE 0 udev->actconfig 4096-ptr_max
PARAM_VALUE 0 udev->actconfig->desc.bNumInterfaces 1-255
PARAM_VALUE 0 udev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 udev->state 0-7,9-u32max
PARAM_VALUE 0 *udev->toggle 0-4294967295
PARAM_VALUE 1 new_config 0
PARAM_VALUE 2 cur_alt 4096-ptr_max
PARAM_VALUE 3 new_alt 4096-ptr_max
CAPPED_DATA 2 cur_alt->desc.bNumEndpoints 1
DATA_SOURCE 0 udev $0
DATA_SOURCE 3 new_alt r usb_altnum_to_altsetting
RX_PATH
TASK_NOT_RUNNING
LOCK2 hcd->bandwidth_mutex
HALF_LOCKED2 &dev->dev.mutex
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &dev->v4l2_lock
HALF_LOCKED2 &dev->v4l_lock
HALF_LOCKED2 &dvb->lock
HALF_LOCKED2 &dvbdev->i2c_mutex
HALF_LOCKED2 &hdev->req_lock
HALF_LOCKED2 &pdev->v4l2_lock
HALF_LOCKED2 &state->fe_lock
HALF_LOCKED2 &ttusb->semi2c
HALF_LOCKED2 _T->lock
HALF_LOCKED2 0 &udev->dev.mutex

drivers/usb/core/message.c usb_set_interface() -> usb_hcd_alloc_bandwidth()

Type Parameter Key Value
PARAM_VALUE 0 udev 4096-ptr_max
PARAM_VALUE 0 udev->actconfig 4096-ptr_max
PARAM_VALUE 0 udev->actconfig->desc.bNumInterfaces 1-255
PARAM_VALUE 0 udev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 udev->state 0-7,9-u32max
PARAM_VALUE 0 *udev->toggle 0-4294967295
PARAM_VALUE 1 new_config 0
PARAM_VALUE 2 cur_alt 4096-ptr_max
PARAM_VALUE 3 new_alt 4096-ptr_max
DATA_SOURCE 0 udev $0
DATA_SOURCE 2 cur_alt r usb_altnum_to_altsetting
BIT_INFO 0 udev->quirks 0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 hcd->bandwidth_mutex
HALF_LOCKED2 &dev->dev.mutex
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &dev->v4l2_lock
HALF_LOCKED2 &dev->v4l_lock
HALF_LOCKED2 &dvb->lock
HALF_LOCKED2 &dvbdev->i2c_mutex
HALF_LOCKED2 &hdev->req_lock
HALF_LOCKED2 &pdev->v4l2_lock
HALF_LOCKED2 &state->fe_lock
HALF_LOCKED2 &ttusb->semi2c
HALF_LOCKED2 _T->lock
HALF_LOCKED2 0 &udev->dev.mutex

drivers/usb/core/hub.c usb_reset_and_verify_device() -> usb_hcd_alloc_bandwidth()

Type Parameter Key Value
PARAM_VALUE 0 udev 4096-ptr_max
PARAM_VALUE 0 udev->actconfig 4096-ptr_max
PARAM_VALUE 0 udev->bos 0,4096-ptr_max
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->string_langid (-1)-u16max
PARAM_VALUE 0 *udev->toggle 0-4294967295
PARAM_VALUE 1 new_config 4096-ptr_max
PARAM_VALUE 2 cur_alt 0
PARAM_VALUE 3 new_alt 0
CAPPED_DATA 0 udev 1
CAPPED_DATA 0 udev->actconfig->desc.bNumInterfaces 1
CAPPED_DATA 0 udev->descriptor.bNumConfigurations 1
CAPPED_DATA 1 new_config->desc.bNumInterfaces 1
DATA_SOURCE 0 udev $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 hcd->bandwidth_mutex
HALF_LOCKED2 &port_dev->status_lock
HALF_LOCKED2 0 &udev->dev.mutex
TYPE_LOCK (struct usb_port)->status_lock