Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pci/setup-bus.c __pci_bridge_assign_resources() -> pdev_assign_resources_sorted()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 add_list 718384639102701568,8560124796257009664
PARAM_VALUE 1 add_list->prev 564158543502589952,718384639102701568,4631702038681018368,5298376780504485888,5406002737162002432,8560124796257009664
PARAM_VALUE 2 fail_head 722649387332542464,4679281871605235712
PARAM_VALUE 2 fail_head->prev 722649387332542464,4679281871605235712
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 add_list $1
DATA_SOURCE 2 fail_head $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev->current_state 0-3[c]
HOST_DATA 0 dev->pcie_flags_reg 0-u16max
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &pci_bus_sem
HALF_LOCKED2 global &pci_rescan_remove_lock