From 14544e114c70624186966f788fc1f2daf0e65a35 Mon Sep 17 00:00:00 2001 From: Axel Heider Date: Fri, 17 Nov 2023 21:42:07 +0100 Subject: [PATCH] remove NUM_PPI --- src/plat/allwinnerA20/config.cmake | 1 - src/plat/apq8064/config.cmake | 1 - src/plat/bcm2711/config.cmake | 1 - src/plat/bcm2837/config.cmake | 1 - src/plat/exynos4/config.cmake | 1 - src/plat/exynos5/config.cmake | 1 - src/plat/imx6/config.cmake | 1 - src/plat/imx7/config.cmake | 1 - src/plat/imx8m-evk/config.cmake | 1 - src/plat/maaxboard/config.cmake | 1 - src/plat/odroidc2/config.cmake | 1 - src/plat/odroidc4/config.cmake | 1 - src/plat/qemu-arm-virt/config.cmake | 1 - src/plat/quartz64/config.cmake | 1 - src/plat/rockpro64/config.cmake | 1 - src/plat/tk1/config.cmake | 1 - src/plat/tqma8xqp1gb/config.cmake | 1 - src/plat/tx1/config.cmake | 1 - src/plat/tx2/config.cmake | 1 - src/plat/zynq7000/config.cmake | 1 - src/plat/zynqmp/config.cmake | 1 - 21 files changed, 21 deletions(-) diff --git a/src/plat/allwinnerA20/config.cmake b/src/plat/allwinnerA20/config.cmake index 9032a248d6..5c78dcee98 100644 --- a/src/plat/allwinnerA20/config.cmake +++ b/src/plat/allwinnerA20/config.cmake @@ -24,7 +24,6 @@ if(KernelPlatformAllwinnerA20) declare_default_headers( TIMER_FREQUENCY 24000000 MAX_IRQ 122 - NUM_PPI 32 TIMER drivers/timer/arm_generic.h INTERRUPT_CONTROLLER arch/machine/gic_v2.h ) diff --git a/src/plat/apq8064/config.cmake b/src/plat/apq8064/config.cmake index 67a01f5db2..9a1fea7534 100644 --- a/src/plat/apq8064/config.cmake +++ b/src/plat/apq8064/config.cmake @@ -25,7 +25,6 @@ if(KernelPlatformAPQ8064) declare_default_headers( TIMER_FREQUENCY 7000000 MAX_IRQ 283 - NUM_PPI 32 TIMER drivers/timer/arm_generic.h INTERRUPT_CONTROLLER arch/machine/gic_v2.h ) diff --git a/src/plat/bcm2711/config.cmake b/src/plat/bcm2711/config.cmake index 6cf7cc4bdb..8c9a3de3f6 100644 --- a/src/plat/bcm2711/config.cmake +++ b/src/plat/bcm2711/config.cmake @@ -49,7 +49,6 @@ if(KernelPlatformRpi4) declare_default_headers( TIMER_FREQUENCY 54000000 MAX_IRQ 216 - NUM_PPI 32 TIMER drivers/timer/arm_generic.h INTERRUPT_CONTROLLER arch/machine/gic_v2.h CLK_MAGIC 5337599559llu diff --git a/src/plat/bcm2837/config.cmake b/src/plat/bcm2837/config.cmake index 88679e1ad4..53b9a7833c 100644 --- a/src/plat/bcm2837/config.cmake +++ b/src/plat/bcm2837/config.cmake @@ -21,7 +21,6 @@ if(KernelPlatformRpi3) declare_default_headers( TIMER_FREQUENCY 19200000 MAX_IRQ 127 - NUM_PPI 32 TIMER drivers/timer/arm_generic.h INTERRUPT_CONTROLLER drivers/irq/bcm2836-armctrl-ic.h CLK_MAGIC 458129845llu diff --git a/src/plat/exynos4/config.cmake b/src/plat/exynos4/config.cmake index 4df8383fe5..b1ab8b31ad 100644 --- a/src/plat/exynos4/config.cmake +++ b/src/plat/exynos4/config.cmake @@ -19,7 +19,6 @@ if(KernelPlatformExynos4) declare_default_headers( TIMER_FREQUENCY 24000000 MAX_IRQ 159 - NUM_PPI 32 TIMER drivers/timer/exynos4412-mct.h INTERRUPT_CONTROLLER arch/machine/gic_v2.h CLK_MAGIC 2863311531llu diff --git a/src/plat/exynos5/config.cmake b/src/plat/exynos5/config.cmake index d092e3bb0f..0f4986e77c 100644 --- a/src/plat/exynos5/config.cmake +++ b/src/plat/exynos5/config.cmake @@ -54,7 +54,6 @@ if(KernelPlatExynos5) declare_default_headers( TIMER_FREQUENCY 24000000 MAX_IRQ 254 - NUM_PPI 32 TIMER drivers/timer/arm_generic.h INTERRUPT_CONTROLLER arch/machine/gic_v2.h CLK_MAGIC 2863311531llu diff --git a/src/plat/imx6/config.cmake b/src/plat/imx6/config.cmake index 98dc70c86c..43222062ab 100644 --- a/src/plat/imx6/config.cmake +++ b/src/plat/imx6/config.cmake @@ -68,7 +68,6 @@ if(KernelPlatImx6) TIMER_FREQUENCY 498000000 MAX_IRQ 159 INTERRUPT_CONTROLLER arch/machine/gic_v2.h - NUM_PPI 32 TIMER ${timer_file} CLK_SHIFT 41llu CLK_MAGIC 4415709349llu diff --git a/src/plat/imx7/config.cmake b/src/plat/imx7/config.cmake index 5bd606db2f..c64bf1babe 100644 --- a/src/plat/imx7/config.cmake +++ b/src/plat/imx7/config.cmake @@ -20,7 +20,6 @@ if(KernelPlatImx7) declare_default_headers( TIMER_FREQUENCY 8000000 MAX_IRQ 159 - NUM_PPI 32 TIMER drivers/timer/arm_generic.h INTERRUPT_CONTROLLER arch/machine/gic_v2.h CLK_MAGIC 1llu diff --git a/src/plat/imx8m-evk/config.cmake b/src/plat/imx8m-evk/config.cmake index eff568f83f..f4185c40ac 100644 --- a/src/plat/imx8m-evk/config.cmake +++ b/src/plat/imx8m-evk/config.cmake @@ -30,7 +30,6 @@ if(KernelPlatformImx8mq-evk OR KernelPlatformImx8mm-evk) MAX_IRQ 160 TIMER drivers/timer/arm_generic.h INTERRUPT_CONTROLLER arch/machine/gic_v3.h - NUM_PPI 32 CLK_MAGIC 1llu CLK_SHIFT 3u ) diff --git a/src/plat/maaxboard/config.cmake b/src/plat/maaxboard/config.cmake index 108ad21f60..0c29369cd0 100644 --- a/src/plat/maaxboard/config.cmake +++ b/src/plat/maaxboard/config.cmake @@ -28,7 +28,6 @@ if(KernelPlatformMaaxboard) MAX_IRQ 160 TIMER drivers/timer/arm_generic.h INTERRUPT_CONTROLLER arch/machine/gic_v3.h - NUM_PPI 32 CLK_MAGIC 1llu CLK_SHIFT 3u ) diff --git a/src/plat/odroidc2/config.cmake b/src/plat/odroidc2/config.cmake index eef4995ab1..0a515abefe 100644 --- a/src/plat/odroidc2/config.cmake +++ b/src/plat/odroidc2/config.cmake @@ -19,7 +19,6 @@ if(KernelPlatformOdroidc2) declare_default_headers( TIMER_FREQUENCY 24000000 MAX_IRQ 250 - NUM_PPI 32 TIMER drivers/timer/arm_generic.h INTERRUPT_CONTROLLER arch/machine/gic_v2.h CLK_MAGIC 375299969u diff --git a/src/plat/odroidc4/config.cmake b/src/plat/odroidc4/config.cmake index ecb55c8031..8319313360 100644 --- a/src/plat/odroidc4/config.cmake +++ b/src/plat/odroidc4/config.cmake @@ -18,7 +18,6 @@ if(KernelPlatformOdroidc4) declare_default_headers( TIMER_FREQUENCY 24000000 MAX_IRQ 250 - NUM_PPI 32 TIMER drivers/timer/arm_generic.h INTERRUPT_CONTROLLER arch/machine/gic_v2.h CLK_MAGIC 375299969u diff --git a/src/plat/qemu-arm-virt/config.cmake b/src/plat/qemu-arm-virt/config.cmake index 6f508e578b..7b8b9c4555 100644 --- a/src/plat/qemu-arm-virt/config.cmake +++ b/src/plat/qemu-arm-virt/config.cmake @@ -236,7 +236,6 @@ if(KernelPlatformQEMUArmVirt) declare_default_headers( TIMER_FREQUENCY 62500000 MAX_IRQ 159 - NUM_PPI 32 TIMER drivers/timer/arm_generic.h INTERRUPT_CONTROLLER arch/machine/gic_v2.h CLK_MAGIC 4611686019llu diff --git a/src/plat/quartz64/config.cmake b/src/plat/quartz64/config.cmake index 03a37e5238..cd5264f420 100644 --- a/src/plat/quartz64/config.cmake +++ b/src/plat/quartz64/config.cmake @@ -20,7 +20,6 @@ if(KernelPlatformQuartz64) declare_default_headers( TIMER_FREQUENCY 24000000 MAX_IRQ 231 - NUM_PPI 32 TIMER drivers/timer/arm_generic.h INTERRUPT_CONTROLLER arch/machine/gic_v3.h ) diff --git a/src/plat/rockpro64/config.cmake b/src/plat/rockpro64/config.cmake index 69bee63e94..5c093da8e8 100644 --- a/src/plat/rockpro64/config.cmake +++ b/src/plat/rockpro64/config.cmake @@ -20,7 +20,6 @@ if(KernelPlatformRockpro64) declare_default_headers( TIMER_FREQUENCY 24000000 MAX_IRQ 181 - NUM_PPI 32 TIMER drivers/timer/arm_generic.h INTERRUPT_CONTROLLER arch/machine/gic_v3.h ) diff --git a/src/plat/tk1/config.cmake b/src/plat/tk1/config.cmake index ad5aef8927..2c2053fef6 100644 --- a/src/plat/tk1/config.cmake +++ b/src/plat/tk1/config.cmake @@ -21,7 +21,6 @@ if(KernelPlatformTK1) TIMER_FREQUENCY 12000000 MAX_IRQ 191 INTERRUPT_CONTROLLER arch/machine/gic_v2.h - NUM_PPI 32 TIMER drivers/timer/arm_generic.h SMMU plat/machine/smmu.h CLK_MAGIC 2863311531llu diff --git a/src/plat/tqma8xqp1gb/config.cmake b/src/plat/tqma8xqp1gb/config.cmake index 0ea3085b33..c62ab66c3e 100644 --- a/src/plat/tqma8xqp1gb/config.cmake +++ b/src/plat/tqma8xqp1gb/config.cmake @@ -24,7 +24,6 @@ if(KernelPlatformTqma8xqp1gb) TIMER drivers/timer/arm_generic.h TIMER_OVERHEAD_TICKS 1 INTERRUPT_CONTROLLER arch/machine/gic_v3.h - NUM_PPI 32 CLK_MAGIC 1llu CLK_SHIFT 3u ) diff --git a/src/plat/tx1/config.cmake b/src/plat/tx1/config.cmake index 6c580323c1..4f0bf42de1 100644 --- a/src/plat/tx1/config.cmake +++ b/src/plat/tx1/config.cmake @@ -20,7 +20,6 @@ if(KernelPlatformTx1) TIMER_FREQUENCY 12000000 MAX_IRQ 224 INTERRUPT_CONTROLLER arch/machine/gic_v2.h - NUM_PPI 32 TIMER drivers/timer/arm_generic.h CLK_MAGIC 2863311531llu CLK_SHIFT 35u diff --git a/src/plat/tx2/config.cmake b/src/plat/tx2/config.cmake index ae7351efeb..da8786c680 100644 --- a/src/plat/tx2/config.cmake +++ b/src/plat/tx2/config.cmake @@ -23,7 +23,6 @@ if(KernelPlatformTx2) TIMER_FREQUENCY 31250000 MAX_IRQ 383 INTERRUPT_CONTROLLER arch/machine/gic_v2.h - NUM_PPI 32 TIMER drivers/timer/arm_generic.h CLK_SHIFT 57u CLK_MAGIC 4611686019u diff --git a/src/plat/zynq7000/config.cmake b/src/plat/zynq7000/config.cmake index e5433607bf..364fc5a310 100644 --- a/src/plat/zynq7000/config.cmake +++ b/src/plat/zynq7000/config.cmake @@ -27,7 +27,6 @@ if(KernelPlatformZynq7000) # SCHED0011), but may not be the correct number. TIMER_FREQUENCY 320000000 MAX_IRQ 92 - NUM_PPI 32 INTERRUPT_CONTROLLER arch/machine/gic_v2.h TIMER ${timer_file} CLK_SHIFT 40llu diff --git a/src/plat/zynqmp/config.cmake b/src/plat/zynqmp/config.cmake index b2dfb2b381..f30d70b7ad 100644 --- a/src/plat/zynqmp/config.cmake +++ b/src/plat/zynqmp/config.cmake @@ -58,7 +58,6 @@ if(KernelPlatformZynqmp) declare_default_headers( TIMER_FREQUENCY 100000000 MAX_IRQ 187 - NUM_PPI 32 TIMER drivers/timer/arm_generic.h INTERRUPT_CONTROLLER arch/machine/gic_v2.h CLK_MAGIC 1374389535llu