Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pci/pwrctrl/core.c pci_pwrctrl_create_device() -> pci_pwrctrl_is_required()

Type Parameter Key Value
PARAM_VALUE 0 np 4096-ptr_max
DATA_SOURCE 0 np $0
RX_PATH
TASK_NOT_RUNNING

drivers/pci/pwrctrl/core.c pci_pwrctrl_power_off_device() -> pci_pwrctrl_is_required()

Type Parameter Key Value
PARAM_VALUE 0 np 4096-ptr_max
DATA_SOURCE 0 np $0
RX_PATH
TASK_NOT_RUNNING

drivers/pci/pwrctrl/core.c pci_pwrctrl_power_on_device() -> pci_pwrctrl_is_required()

Type Parameter Key Value
PARAM_VALUE 0 np 4096-ptr_max
DATA_SOURCE 0 np $0
RX_PATH
TASK_NOT_RUNNING