Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pci/pci.c __pci_set_power_state() -> __pci_bus_set_current_state()

Type Parameter Key Value
PARAM_VALUE 0 bus->self->link_bwctrl->cdev (-4095)-s64max
PARAM_VALUE 1 state 4
PARAM_VALUE 2 locked 0
DATA_SOURCE 2 locked $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->dev.mutex
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &vgasr_mutex