Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pci/setup-bus.c __assign_resources_sorted() -> pci_required_resource_failed()

Type Parameter Key Value
PARAM_VALUE 0 fail_head 910416553925730304
PARAM_VALUE 0 fail_head->next 0-910416553925730303,910416553925730305-u64max
PARAM_VALUE 1 type 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 fail_head 4679281871605235712
PARAM_VALUE 0 fail_head->next 0-4679281871605235711,4679281871605235713-u64max
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &pci_bus_sem
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &of->mutex