Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pci/tsm.c pci_tsm_walk_fns_reverse() -> pci_tsm_walk_fns_reverse param 1()

Type Parameter Key Value
PARAM_VALUE 0 pdev 1-u64max
PARAM_VALUE 1 data 0
CAPPED_DATA 0 pdev->bus->number 1
CAPPED_DATA 0 pdev->devfn 1
DATA_SOURCE 0 pdev r pci_get_domain_bus_and_slot
DATA_SOURCE 1 data $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock

drivers/pci/tsm.c pci_tsm_walk_fns_reverse() -> pci_tsm_walk_fns_reverse param 1()

Type Parameter Key Value
PARAM_VALUE 0 pdev 4096-ptr_max
PARAM_VALUE 1 data 0
DATA_SOURCE 0 pdev r pci_get_slot
DATA_SOURCE 1 data $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock

drivers/pci/bus.c __pci_walk_bus_reverse() -> __pci_walk_bus_reverse param 1()

Type Parameter Key Value
PARAM_VALUE 0 pdev 4096-ptr_max
PARAM_VALUE 0 pdev->subordinate 0,4096-ptr_max
DATA_SOURCE 1 data $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &pci_bus_sem