Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/usb/host/xhci-mem.c xhci_get_endpoint_interval() -> xhci_parse_exponent_interval()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | udev | 4096-ptr_max |
| PARAM_VALUE | 0 | udev->descriptor.bcdUSB | 544 |
| PARAM_VALUE | 0 | udev->dev.iommu_group->default_domain | 0-s64max |
| PARAM_VALUE | 0 | udev->dev.iommu_group->id | s32min-s32max |
| PARAM_VALUE | 0 | udev->dev.iommu_group->owner_cnt | 0-4294967295 |
| PARAM_VALUE | 0 | udev->dev.kobj.parent->kset->kobj.release.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 0 | udev->dev.kobj.parent->kset->kobj.release.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 0 | udev->dev.kobj.parent->kset->kobj.release.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 0 | udev->dev.kobj.release.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 0 | udev->dev.kobj.release.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 0 | udev->dev.kobj.release.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 0 | udev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | udev->parent | 1-u64max |
| PARAM_VALUE | 0 | udev->slot_id | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | udev->speed | 3,5-6 |
| PARAM_VALUE | 0 | *udev->toggle | 0-4294967295 |
| PARAM_VALUE | 1 | ep | 4096-ptr_max |
| PARAM_VALUE | 1 | ep->desc.bmAttributes | 1-255 |
| PARAM_VALUE | 1 | ep->desc.wMaxPacketSize | 0 |
| PARAM_VALUE | 1 | ep->eusb2_isoc_ep_comp.bDescriptorType | 1-255 |
| CAPPED_DATA | 0 | udev | 1 |
| DATA_SOURCE | 0 | udev | $0 |
| DATA_SOURCE | 1 | ep | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | hcd->bandwidth_mutex | ||
| HALF_LOCKED2 | 0 | &udev->dev.mutex |
drivers/usb/host/xhci-mem.c xhci_get_endpoint_interval() -> xhci_parse_exponent_interval()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | udev | 4096-ptr_max |
| PARAM_VALUE | 0 | udev->descriptor.bcdUSB | 544 |
| PARAM_VALUE | 0 | udev->dev.iommu_group->default_domain | 0-s64max |
| PARAM_VALUE | 0 | udev->dev.iommu_group->id | s32min-s32max |
| PARAM_VALUE | 0 | udev->dev.iommu_group->owner_cnt | 0-4294967295 |
| PARAM_VALUE | 0 | udev->dev.kobj.parent->kset->kobj.release.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 0 | udev->dev.kobj.parent->kset->kobj.release.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 0 | udev->dev.kobj.parent->kset->kobj.release.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 0 | udev->dev.kobj.release.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 0 | udev->dev.kobj.release.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 0 | udev->dev.kobj.release.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 0 | udev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | udev->parent | 1-u64max |
| PARAM_VALUE | 0 | udev->slot_id | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | udev->speed | 2 |
| PARAM_VALUE | 0 | *udev->toggle | 0-4294967295 |
| PARAM_VALUE | 1 | ep | 4096-ptr_max |
| PARAM_VALUE | 1 | ep->desc.wMaxPacketSize | 0 |
| PARAM_VALUE | 1 | ep->eusb2_isoc_ep_comp.bDescriptorType | 1-255 |
| CAPPED_DATA | 0 | udev | 1 |
| DATA_SOURCE | 0 | udev | $0 |
| DATA_SOURCE | 1 | ep | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | hcd->bandwidth_mutex | ||
| HALF_LOCKED2 | 0 | &udev->dev.mutex |