Documented in 1 files:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/pci/setup-bus.c pbus_reassign_bridge_resources() -> pbus_select_window()

Type Parameter Key Value
PARAM_VALUE 0 bus 4096-ptr_max
PARAM_VALUE 0 bus->parent 1-u64max
PARAM_VALUE 1 res 4096-ptr_max
PARAM_VALUE 1 res->parent 0-1,4096-ptr_max
DATA_SOURCE 0 bus $0 [m]
DATA_SOURCE 1 res $1 [m]
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &pci_bus_sem
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &of->mutex

drivers/pci/setup-bus.c pbus_size_mem() -> pbus_select_window()

Type Parameter Key Value
PARAM_VALUE 0 bus 4096-ptr_max
PARAM_VALUE 1 res 4096-ptr_max
PARAM_VALUE 1 res->flags 1-u64max
PARAM_VALUE 1 res->parent 0
CAPPED_DATA 0 &bus->devices 1
DATA_SOURCE 0 bus $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &pci_bus_sem
HALF_LOCKED2 global &pci_rescan_remove_lock

drivers/pci/setup-bus.c pci_do_resource_release_and_resize() -> pbus_select_window()

Type Parameter Key Value
PARAM_VALUE 0 bus 4096-ptr_max
PARAM_VALUE 1 res 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &of->mutex

drivers/pci/setup-bus.c pci_do_resource_release_and_resize() -> pbus_select_window()

Type Parameter Key Value
PARAM_VALUE 0 bus 4096-ptr_max
PARAM_VALUE 1 res 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &of->mutex

drivers/pci/setup-bus.c remove_dev_resources() -> pbus_select_window()

Type Parameter Key Value
PARAM_VALUE 1 res 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &pci_rescan_remove_lock