Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
drivers/usb/core/hub.c usb_reset_and_verify_device() -> usb_release_bos_descriptor()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->actconfig | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->bos | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | dev->ep0.hcpriv->data_toggle | 0 |
| PARAM_VALUE | 0 | dev->ep0.hcpriv->needs_rescan | 0-1 |
| PARAM_VALUE | 0 | dev->ep0.hcpriv->qh_next.ptr | 0 |
| PARAM_VALUE | 0 | dev->ep0.hcpriv->qh_state | 2,4 |
| PARAM_VALUE | 0 | dev->ep0.hcpriv->unlink_cycle | 0-4294967295 |
| PARAM_VALUE | 0 | dev->ep0.hcpriv->unlink_reason | 0-255 |
| PARAM_VALUE | 0 | dev->have_langid | 1 |
| PARAM_VALUE | 0 | dev->string_langid | (-1)-u16max |
| PARAM_VALUE | 0 | *dev->toggle | 0-4294967295 |
| CAPPED_DATA | 0 | dev | 1 |
| CAPPED_DATA | 0 | dev->descriptor.bNumConfigurations | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &port_dev->status_lock | ||
| HALF_LOCKED2 | 0 | &dev->dev.mutex | |
| TYPE_LOCK | (struct usb_port)->status_lock |
drivers/usb/core/hub.c usb_reset_and_verify_device() -> usb_release_bos_descriptor()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | *dev->toggle | 0-4294967295 |
| CAPPED_DATA | 0 | dev | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &port_dev->status_lock | ||
| HALF_LOCKED2 | 0 | &dev->dev.mutex | |
| TYPE_LOCK | (struct usb_port)->status_lock |
drivers/usb/core/config.c usb_get_bos_descriptor() -> usb_release_bos_descriptor()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->bos | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->bus | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->bus->devmap | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->bus->devnum_next | 2 |
| PARAM_VALUE | 0 | dev->bus->sysdev->iommu->attach_deferred | 0-1 |
| PARAM_VALUE | 0 | dev->descriptor.bcdUSB | 513-u16max |
| PARAM_VALUE | 0 | dev->dev.kobj.sd->__parent | 0 |
| PARAM_VALUE | 0 | dev->dev.kobj.sd->attr.notify_next | 0,426918848001064960 |
| PARAM_VALUE | 0 | dev->dev.power.can_wakeup | 0 |
| PARAM_VALUE | 0 | dev->devnum | 1 |
| PARAM_VALUE | 0 | dev->ep0.desc.wMaxPacketSize | 64 |
| PARAM_VALUE | 0 | dev->state | 0,2,5-8 |
| BUF_SIZE | 0 | dev->bos | 48 |
| BUF_SIZE | 0 | dev->bos->desc | 5-u16max,u64max |
| DATA_SOURCE | 0 | dev | $0 |
| FUZZY_MAX | 0 | dev->descriptor.bcdUSB | 513 |
| BIT_INFO | 0 | dev->quirks | 0x0,0xfffdffff |
| NOCHECK_CALL | |||
| LOCK2 | global &usb_bus_idr_lock |
drivers/usb/core/usb.c usb_release_dev() -> usb_release_bos_descriptor()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &subsys->su_mutex |