Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/perf/dwc_pcie_pmu.c dwc_pcie_cleanup_devices() -> dwc_pcie_unregister_dev()

Type Parameter Key Value
PARAM_VALUE 0 dev_info 4096-ptr_max
PARAM_VALUE 0 dev_info->plat_dev->dev.power.wakeirq->status 0-4294967295
CAPPED_DATA 0 &dev_info->dev_node 1
NOCHECK_CALL

drivers/perf/dwc_pcie_pmu.c dwc_pcie_pmu_notifier() -> dwc_pcie_unregister_dev()

Type Parameter Key Value
PARAM_VALUE 0 dev_info 4096-ptr_max
PARAM_VALUE 0 dev_info->pdev 4096-ptr_max
CAPPED_DATA 0 dev_info->pdev 1
DATA_SOURCE 0 dev_info r dwc_pcie_find_dev_info
NOCHECK_CALL