Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pci/setup-bus.c pci_bus_release_bridge_resources() -> pci_bus_release_bridge_resources()

Type Parameter Key Value
PARAM_VALUE 0 bus 4096-ptr_max
PARAM_VALUE 1 b_win 4096-ptr_max
PARAM_VALUE 1 b_win->parent 1-u64max
PARAM_VALUE 2 rel_type 1
CAPPED_DATA 1 b_win->parent 1
DATA_SOURCE 1 b_win r pci_bus_resource_n
DATA_SOURCE 2 rel_type $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/pci/setup-bus.c pci_prepare_next_assign_round() -> pci_bus_release_bridge_resources()

Type Parameter Key Value
PARAM_VALUE 1 b_win 1-u64max
PARAM_VALUE 2 rel_type 0-1
DATA_SOURCE 1 b_win r pbus_select_window_for_type
DATA_SOURCE 2 rel_type $2
FUZZY_MAX 2 rel_type 1
HARD_MAX 2 rel_type 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &pci_rescan_remove_lock