Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/usb/host/xhci-mtk-sch.c xhci_mtk_reset_bandwidth() -> xhci_reset_bandwidth()

Type Parameter Key Value
PARAM_VALUE 0 hcd 4096-ptr_max
PARAM_VALUE 0 hcd->driver 4096-ptr_max
PARAM_VALUE 0 hcd->driver->check_bandwidth 1-u64max
PARAM_VALUE 0 hcd->self.controller 4096-ptr_max
PARAM_VALUE 1 udev 4096-ptr_max
PARAM_VALUE 1 udev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 1 *udev->toggle 0-4294967295
CAPPED_DATA 0 hcd 1
CAPPED_DATA 0 hcd->primary_hcd 1
CAPPED_DATA 1 udev 1
DATA_SOURCE 0 hcd $0
DATA_SOURCE 1 udev $1
PARAM_COMPARE 0 hcd >= $0->primary_hcd
PARAM_COMPARE 0 hcd >= $0->primary_hcd
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 hcd->bandwidth_mutex
HALF_LOCKED2 1 &udev->dev.mutex

drivers/usb/core/hcd.c usb_hcd_alloc_bandwidth() -> (struct hc_driver)->reset_bandwidth()

Type Parameter Key Value
PARAM_VALUE 0 hcd 4096-ptr_max
PARAM_VALUE 0 hcd->driver 4096-ptr_max
PARAM_VALUE 0 hcd->driver->check_bandwidth 1-u64max
PARAM_VALUE 1 udev 4096-ptr_max
PARAM_VALUE 1 udev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 1 *udev->toggle 0-4294967295
CAPPED_DATA 1 udev 1
DATA_SOURCE 0 hcd r bus_to_hcd
DATA_SOURCE 1 udev $0
CONTAINER 0 -280-568+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 hcd->bandwidth_mutex
HALF_LOCKED2 1 &udev->dev.mutex