Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pci/pci.c pcibios_reset_secondary_bus() -> (struct pci_host_bridge)->reset_root_port()

Type Parameter Key Value
PARAM_VALUE 0 bridge 4096-ptr_max
PARAM_VALUE 0 bridge->reset_root_port 1-u64max
PARAM_VALUE 1 pdev 4096-ptr_max
PARAM_VALUE 1 pdev->bus 4096-ptr_max
PARAM_VALUE 1 pdev->bus->parent 0
PARAM_VALUE 1 pdev->link_bwctrl->cdev (-22),(-19),(-12),0-s64max
DATA_SOURCE 0 bridge r pci_find_host_bridge
DATA_SOURCE 1 pdev $0
CONTAINER 0 -1928+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ctrl->reset_lock