Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 36 files:
- drivers/base/platform.c
- drivers/cache/sifive_ccache.c, line 264
- drivers/clocksource/sh_mtu2.c, line 416
- drivers/crypto/ccp/sp-platform.c, line 73
- drivers/dma/dw-axi-dmac/dw-axi-dmac-platform.c, line 1460
- drivers/dma/fsl-edma-main.c, line 481
- drivers/dma/loongson/loongson1-apb-dma.c, line 567
- drivers/dma/milbeaut-hdmac.c, line 462
- drivers/dma/milbeaut-xdmac.c, line 317
- drivers/dma/uniphier-mdmac.c, line 387
- drivers/gpio/gpio-bcm-kona.c, line 586
- drivers/gpio/gpio-ep93xx.c
- drivers/gpio/gpio-mvebu.c, line 1161
- drivers/gpio/gpio-mxc.c, line 436
- drivers/gpio/gpio-tegra.c, line 692
- drivers/gpio/gpio-tegra186.c, line 864
- drivers/hwmon/pwm-fan.c, line 578
- drivers/iommu/arm/arm-smmu/arm-smmu.c, line 2156
- drivers/iommu/riscv/iommu-platform.c, line 118
- drivers/iommu/rockchip-iommu.c, line 1256
- drivers/irqchip/irq-bcm7120-l2.c, line 227
- drivers/irqchip/irq-imx-intmux.c, line 209
- drivers/mfd/loongson-se.c, line 216
- drivers/mmc/host/renesas_sdhi_core.c, line 1284
- drivers/net/ethernet/amd/xgbe/xgbe-platform.c
- drivers/net/ethernet/engleder/tsnep_main.c, line 2493
- drivers/net/ethernet/freescale/fec_main.c, line 5146
- drivers/perf/arm_pmu_platform.c, line 101
- drivers/perf/hisilicon/hisi_uncore_l3c_pmu.c, line 579
- drivers/pinctrl/actions/pinctrl-owl.c, line 980
- drivers/pinctrl/pinctrl-apple-gpio.c, line 448
- drivers/pinctrl/renesas/core.c, line 49
- drivers/pinctrl/sunxi/pinctrl-sun50i-h5.c, line 552
- drivers/soc/tegra/cbb/tegra-cbb.c, line 112
- drivers/tty/serial/mps2-uart.c, line 527
- drivers/tty/serial/mvebu-uart.c, line 944
Smatch caller information:
drivers/crypto/ccp/sp-platform.c sp_get_irqs() -> platform_irq_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/dma/milbeaut-hdmac.c milbeaut_hdmac_probe() -> platform_irq_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/gpio/gpio-ep93xx.c ep93xx_gpio_probe() -> platform_irq_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->num_resources | 1-u32max |
| CAPPED_DATA | 0 | dev->num_resources | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/gpio/gpio-ep93xx.c ep93xx_setup_irqs() -> platform_irq_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->num_resources | 1-u32max |
| CAPPED_DATA | 0 | dev->num_resources | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/dma/fsl-edma-main.c fsl_edma2_irq_init() -> platform_irq_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->num_resources | 1-u32max |
| CAPPED_DATA | 0 | dev->num_resources | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/hwmon/pwm-fan.c pwm_fan_probe() -> platform_irq_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.power.entry.prev->next | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/dma/dw-axi-dmac/dw-axi-dmac-platform.c axi_req_irqs() -> platform_irq_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.dma_mem->pfn_base | 0-s64max |
| PARAM_VALUE | 0 | dev->dev.driver | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->num_resources | 1-u32max |
| CAPPED_DATA | 0 | dev->num_resources | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/gpio/gpio-tegra.c tegra_gpio_probe() -> platform_irq_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.driver | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/pinctrl/renesas/core.c sh_pfc_map_resources() -> platform_irq_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->id_entry | 4096-ptr_max |
| CAPPED_DATA | 0 | dev->num_resources | 1 |
| DATA_SOURCE | 0 | dev | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/base/platform.c devm_platform_get_irqs_affinity() -> platform_irq_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/net/ethernet/engleder/tsnep_main.c tsnep_queue_init() -> platform_irq_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.driver_data | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/iommu/rockchip-iommu.c rk_iommu_probe() -> platform_irq_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.driver | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.driver_data | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.of_node | 1-u64max |
| PARAM_VALUE | 0 | dev->num_resources | 1-u32max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/dma/loongson/loongson1-apb-dma.c ls1x_dma_probe() -> platform_irq_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/gpio/gpio-tegra186.c tegra186_gpio_probe() -> platform_irq_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/net/ethernet/amd/xgbe/xgbe-platform.c xgbe_platform_probe() -> platform_irq_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.driver_data | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->num_resources | 0-s32max |
| CAPPED_DATA | 0 | dev | 1 |
| CAPPED_DATA | 0 | dev->num_resources | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/net/ethernet/amd/xgbe/xgbe-platform.c xgbe_platform_probe() -> platform_irq_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.driver_data | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/dma/uniphier-mdmac.c uniphier_mdmac_probe() -> platform_irq_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/iommu/arm/arm-smmu/arm-smmu.c arm_smmu_device_probe() -> platform_irq_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.of_node | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->num_resources | 1-u32max |
| CAPPED_DATA | 0 | dev->num_resources | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/gpio/gpio-mxc.c mxc_gpio_probe() -> platform_irq_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->num_resources | 1-u32max |
| CAPPED_DATA | 0 | dev->num_resources | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/mmc/host/renesas_sdhi_core.c renesas_sdhi_probe() -> platform_irq_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.dma_mem->pfn_base | 0-s64max |
| PARAM_VALUE | 0 | dev->dev.iommu->attach_deferred | 0-1 |
| PARAM_VALUE | 0 | dev->dev.iommu->max_pasids | 0-4294967295 |
| PARAM_VALUE | 0 | dev->num_resources | 1-u32max |
| CAPPED_DATA | 0 | dev->num_resources | 1 |
| CAPPED_DATA | 0 | &dev->dev | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/irqchip/irq-bcm7120-l2.c bcm7120_l2_intc_probe() -> platform_irq_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| STR_LEN | 0 | dev | 10 |
| STR_LEN | 0 | dev | 10 |
drivers/tty/serial/mps2-uart.c mps2_of_get_port() -> platform_irq_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.of_node | 1-u64max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/irqchip/irq-imx-intmux.c imx_intmux_probe() -> platform_irq_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/tty/serial/mvebu-uart.c mvebu_uart_probe() -> platform_irq_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.driver_data | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->id | s32min-1 |
| PARAM_VALUE | 0 | dev->num_resources | 1-u32max |
| CAPPED_DATA | 0 | dev->num_resources | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| BIT_INFO | 0 | dev->id | 0x0,0x7fffffff |
| HARD_MAX | 0 | dev->id | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/gpio/gpio-bcm-kona.c bcm_kona_gpio_probe() -> platform_irq_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/clocksource/sh_mtu2.c sh_mtu2_setup() -> platform_irq_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.dma_ops->dma_supported | 0,2528523692154392576,3617072262637035520,5023592177070743552,5276104885786021888 |
| PARAM_VALUE | 0 | dev->dev.dma_ops->map_phys | 0,2506261230157742080,4169194063996235776,4848421345171935232,6326163439792029696 |
| PARAM_VALUE | 0 | dev->dev.dma_ops->map_sg | 0,2118452656510775296,2518538481676259328,5872201013595766784,6630017431831871488 |
| PARAM_VALUE | 0 | dev->dev.dma_ops->mmap | 0,5761417605877342208,7694740394750603264 |
| PARAM_VALUE | 0 | dev->dev.dma_ops->unmap_phys | 0,3634718672199266304,5690836758666383360,6257189515678003200,7756707427785986048 |
| PARAM_VALUE | 0 | dev->dev.dma_ops->unmap_sg | 0,1256335292805263360,8472845699660435456,8676762248147066880,8920167536469053440 |
| PARAM_VALUE | 0 | dev->dev.power.last_status | (-1) |
| PARAM_VALUE | 0 | dev->dev.power.runtime_status | 0,2 |
| PARAM_VALUE | 0 | dev->num_resources | 1-u32max |
| DATA_SOURCE | 0 | dev | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/net/ethernet/freescale/fec_main.c fec_enet_get_irq_cnt() -> platform_irq_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.dma_mem->pfn_base | 0-s64max |
| PARAM_VALUE | 0 | dev->dev.of_node | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.pins->p->dev->kobj.kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | dev->dev.pins->p->dev->power.links_count | 0-4294967295 |
| PARAM_VALUE | 0 | dev->dev.power.autosuspend_delay | 100 |
| PARAM_VALUE | 0 | dev->dev.power.last_status | (-1) |
| PARAM_VALUE | 0 | dev->dev.power.qos | 0,4096-u64max |
| PARAM_VALUE | 0 | dev->dev.power.request | 0-4 |
| PARAM_VALUE | 0 | dev->dev.power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | dev->dev.power.runtime_status | 0,2 |
| PARAM_VALUE | 0 | dev->dev.power.use_autosuspend | 1 |
| PARAM_VALUE | 0 | dev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | dev->num_resources | 1-u32max |
| CAPPED_DATA | 0 | dev->num_resources | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/pinctrl/actions/pinctrl-owl.c owl_pinctrl_probe() -> platform_irq_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.dma_mem->pfn_base | 0-s64max |
| PARAM_VALUE | 0 | dev->dev.iommu->attach_deferred | 0-1 |
| PARAM_VALUE | 0 | dev->dev.iommu->max_pasids | 0-4294967295 |
| PARAM_VALUE | 0 | dev->num_resources | 1-u32max |
| CAPPED_DATA | 0 | dev->num_resources | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/iommu/riscv/iommu-platform.c riscv_iommu_platform_probe() -> platform_irq_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->num_resources | 1-u32max |
| CAPPED_DATA | 0 | dev->num_resources | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/dma/milbeaut-xdmac.c milbeaut_xdmac_probe() -> platform_irq_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/gpio/gpio-mvebu.c mvebu_gpio_probe() -> platform_irq_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |