Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/usb/host/xhci-mem.c xhci_parse_frame_interval() -> xhci_microframes_to_exponent()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | udev | 4096-ptr_max |
| PARAM_VALUE | 0 | udev->bus->sysdev->dma_io_tlb_mem->can_grow | 0-1 |
| 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 | 1-2 |
| 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 |
| PARAM_VALUE | 3 | min_exponent | 3 |
| PARAM_VALUE | 4 | max_exponent | 10 |
| 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_parse_microframe_interval() -> xhci_microframes_to_exponent()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | udev | 4096-ptr_max |
| PARAM_VALUE | 0 | udev->bus->sysdev->dma_io_tlb_mem->can_grow | 0-1 |
| 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 |
| PARAM_VALUE | 0 | *udev->toggle | 0-4294967295 |
| PARAM_VALUE | 1 | ep | 4096-ptr_max |
| PARAM_VALUE | 1 | ep->desc.bInterval | 1-255 |
| 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 |
| PARAM_VALUE | 2 | desc_interval | 1-255 |
| PARAM_VALUE | 3 | min_exponent | 0 |
| PARAM_VALUE | 4 | max_exponent | 15 |
| DATA_SOURCE | 0 | udev | $0 |
| DATA_SOURCE | 1 | ep | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 2 | desc_interval | unit_array_size |
| LOCK2 | hcd->bandwidth_mutex | ||
| HALF_LOCKED2 | 0 | &udev->dev.mutex |