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-pci.c xhci_pci_common_probe() -> xhci_ext_cap_init()

Type Parameter Key Value
PARAM_VALUE 0 xhci 4096-ptr_max
PARAM_VALUE 0 xhci->reset 0,4096-ptr_max
PARAM_VALUE 0 xhci->shared_hcd 4096-ptr_max
BUF_SIZE 0 xhci->reset (-1),8,96,280,1296
BUF_SIZE 0 xhci->shared_hcd s32min-s32max
DATA_SOURCE 0 xhci r hcd_to_xhci
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->dev.mutex

drivers/usb/host/xhci-pci.c xhci_pci_common_probe() -> xhci_ext_cap_init()

Type Parameter Key Value
PARAM_VALUE 0 xhci 4096-ptr_max
PARAM_VALUE 0 xhci->allow_single_roothub 1
PARAM_VALUE 0 xhci->reset 0,4096-ptr_max
BUF_SIZE 0 xhci->reset (-1),8,96,280,1296
DATA_SOURCE 0 xhci r hcd_to_xhci
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->dev.mutex