Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/host/xhci.c xhci_calculate_lpm_timeout() -> xhci_update_timeout_for_endpoint()

Type Parameter Key Value
PARAM_VALUE 1 udev 4096-ptr_max
PARAM_VALUE 1 udev->bos 4096-ptr_max
PARAM_VALUE 1 udev->bos->ss_cap 4096-ptr_max
PARAM_VALUE 1 udev->dev.iommu_group->default_domain 0-s64max
PARAM_VALUE 1 udev->dev.iommu_group->id s32min-s32max
PARAM_VALUE 1 udev->dev.iommu_group->owner_cnt 0-4294967295
PARAM_VALUE 1 udev->dev.kobj.parent->kset->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 1 udev->dev.kobj.parent->kset->kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 1 udev->dev.kobj.parent->kset->kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 1 udev->dev.kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 1 udev->dev.kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 1 udev->dev.kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 1 udev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 1 udev->lpm_capable 1
PARAM_VALUE 1 udev->lpm_disable_count 0
PARAM_VALUE 1 udev->parent 4096-ptr_max
PARAM_VALUE 1 udev->speed 5-u32max
PARAM_VALUE 1 udev->state 7-u32max
PARAM_VALUE 1 *udev->toggle 0-4294967295
PARAM_VALUE 2 desc 4096-ptr_max
PARAM_VALUE 3 state 1-2
PARAM_VALUE 4 timeout 3135043852231819264
PARAM_VALUE 4 *timeout 0
DATA_SOURCE 0 xhci r hcd_to_xhci
DATA_SOURCE 1 udev $1
DATA_SOURCE 3 state $2
FUZZY_MAX 1 udev->speed 5
FUZZY_MAX 3 state 1
HARD_MAX 3 state 2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 hcd->bandwidth_mutex
HALF_LOCKED2 1 &udev->dev.mutex

drivers/usb/host/xhci.c xhci_update_timeout_for_interface() -> xhci_update_timeout_for_endpoint()

Type Parameter Key Value
PARAM_VALUE 1 udev 4096-ptr_max
PARAM_VALUE 1 udev->actconfig 1-u64max
PARAM_VALUE 1 udev->actconfig->desc.bNumInterfaces 1-255
PARAM_VALUE 1 udev->actconfig->interface 4096-ptr_max
PARAM_VALUE 1 udev->bos 4096-ptr_max
PARAM_VALUE 1 udev->bos->ss_cap 4096-ptr_max
PARAM_VALUE 1 udev->bus->sysdev->dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 1 udev->dev.iommu_group->default_domain 0-s64max
PARAM_VALUE 1 udev->dev.iommu_group->id s32min-s32max
PARAM_VALUE 1 udev->dev.iommu_group->owner_cnt 0-4294967295
PARAM_VALUE 1 udev->dev.kobj.parent->kset->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 1 udev->dev.kobj.parent->kset->kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 1 udev->dev.kobj.parent->kset->kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 1 udev->dev.kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 1 udev->dev.kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 1 udev->dev.kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 1 udev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 1 udev->lpm_capable 1
PARAM_VALUE 1 udev->lpm_disable_count 0
PARAM_VALUE 1 udev->parent 4096-ptr_max
PARAM_VALUE 1 udev->speed 5-u32max
PARAM_VALUE 1 udev->state 7-u32max
PARAM_VALUE 1 *udev->toggle 0-4294967295
PARAM_VALUE 3 state 1-2
PARAM_VALUE 4 timeout 3135043852231819264
PARAM_VALUE 4 *timeout 1-255
DATA_SOURCE 0 xhci $0
DATA_SOURCE 1 udev $1
DATA_SOURCE 3 state $3
DATA_SOURCE 4 timeout $4
FUZZY_MAX 1 udev->speed 5
FUZZY_MAX 3 state 1
HARD_MAX 3 state 2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 hcd->bandwidth_mutex
HALF_LOCKED2 1 &udev->dev.mutex