Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

drivers/pci/pcie/aer_inject.c aer_inject() -> get_service_data()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
CAPABLE 0 21

drivers/pci/pcie/aer.c aer_irq() -> get_service_data()

Type Parameter Key Value
DATA_SOURCE 0 dev $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/pci/pcie/aer.c aer_isr() -> get_service_data()

Type Parameter Key Value
DATA_SOURCE 0 dev $1
RX_PATH
TASK_NOT_RUNNING

drivers/pci/pcie/aer.c aer_remove() -> get_service_data()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->mutex

drivers/pci/pcie/aer.c aer_resume() -> get_service_data()

Type Parameter Key Value
DATA_SOURCE 0 dev $0

drivers/pci/pcie/aer.c aer_suspend() -> get_service_data()

Type Parameter Key Value
DATA_SOURCE 0 dev $0

drivers/pci/hotplug/pciehp_core.c pciehp_disable_interrupt() -> get_service_data()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $0

drivers/pci/hotplug/pciehp_core.c pciehp_remove() -> get_service_data()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->mutex

drivers/pci/hotplug/pciehp_core.c pciehp_resume() -> get_service_data()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $0

drivers/pci/hotplug/pciehp_core.c pciehp_resume_noirq() -> get_service_data()

Type Parameter Key Value
DATA_SOURCE 0 dev $0

drivers/pci/hotplug/pciehp_core.c pciehp_runtime_resume() -> get_service_data()

Type Parameter Key Value
DATA_SOURCE 0 dev $0

drivers/pci/hotplug/pciehp_hpc.c pciehp_slot_reset() -> get_service_data()

Type Parameter Key Value
DATA_SOURCE 0 dev $0

drivers/pci/pcie/pme.c pcie_pme_irq() -> get_service_data()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/pci/pcie/pme.c pcie_pme_remove() -> get_service_data()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->mutex

drivers/pci/pcie/pme.c pcie_pme_resume() -> get_service_data()

Type Parameter Key Value
DATA_SOURCE 0 dev $0

drivers/pci/pcie/pme.c pcie_pme_suspend() -> get_service_data()

Type Parameter Key Value
DATA_SOURCE 0 dev $0