Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/usb/host/xhci-pci.c xhci_pci_run() -> xhci_run()

Type Parameter Key Value
PARAM_VALUE 0 hcd 4096-ptr_max
CAPPED_DATA 0 hcd 1
CAPPED_DATA 0 hcd->primary_hcd 1
DATA_SOURCE 0 hcd $0
PARAM_COMPARE 0 hcd >= $0->primary_hcd
PARAM_COMPARE 0 hcd >= $0->primary_hcd
UNITS 0 hcd unit_byte

drivers/usb/host/xhci.c xhci_resume() -> xhci_run()

Type Parameter Key Value
PARAM_VALUE 0 hcd 4096-ptr_max
PARAM_VALUE 0 hcd->self.root_hub 4096-ptr_max
PARAM_VALUE 0 hcd->self.root_hub->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 hcd->self.root_hub->dev.class 0,4096-ptr_max
PARAM_VALUE 0 hcd->self.root_hub->dev.driver 0,4096-ptr_max
PARAM_VALUE 0 hcd->self.root_hub->reset_resume 1
PARAM_VALUE 0 hcd->state s32min-(-1),1-s32max
CAPPED_DATA 0 hcd->primary_hcd 1
PARAM_COMPARE 0 hcd >= $0->primary_hcd
PARAM_COMPARE 0 hcd >= $0->primary_hcd
RX_PATH
TASK_NOT_RUNNING

drivers/usb/host/xhci.c xhci_resume() -> xhci_run()

Type Parameter Key Value
PARAM_VALUE 0 hcd 4096-ptr_max
PARAM_VALUE 0 hcd->self.root_hub 4096-ptr_max
PARAM_VALUE 0 hcd->self.root_hub->reset_resume 1
RX_PATH
TASK_NOT_RUNNING

drivers/usb/host/xhci-plat.c xhci_plat_start() -> xhci_run()

Type Parameter Key Value
PARAM_VALUE 0 hcd 4096-ptr_max
DATA_SOURCE 0 hcd $0