Skip to content

Commit

Permalink
remove NUM_PPI
Browse files Browse the repository at this point in the history
  • Loading branch information
axel-h committed Nov 30, 2023
1 parent 72124f5 commit 0440bec
Show file tree
Hide file tree
Showing 21 changed files with 0 additions and 21 deletions.
1 change: 0 additions & 1 deletion src/plat/allwinnerA20/config.cmake
Original file line number Diff line number Diff line change
Expand Up @@ -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
)
Expand Down
1 change: 0 additions & 1 deletion src/plat/apq8064/config.cmake
Original file line number Diff line number Diff line change
Expand Up @@ -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
)
Expand Down
1 change: 0 additions & 1 deletion src/plat/bcm2711/config.cmake
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
1 change: 0 additions & 1 deletion src/plat/bcm2837/config.cmake
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
1 change: 0 additions & 1 deletion src/plat/exynos4/config.cmake
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
1 change: 0 additions & 1 deletion src/plat/exynos5/config.cmake
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
1 change: 0 additions & 1 deletion src/plat/imx6/config.cmake
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
1 change: 0 additions & 1 deletion src/plat/imx7/config.cmake
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
1 change: 0 additions & 1 deletion src/plat/imx8m-evk/config.cmake
Original file line number Diff line number Diff line change
Expand Up @@ -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
)
Expand Down
1 change: 0 additions & 1 deletion src/plat/maaxboard/config.cmake
Original file line number Diff line number Diff line change
Expand Up @@ -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
)
Expand Down
1 change: 0 additions & 1 deletion src/plat/odroidc2/config.cmake
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
1 change: 0 additions & 1 deletion src/plat/odroidc4/config.cmake
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
1 change: 0 additions & 1 deletion src/plat/qemu-arm-virt/config.cmake
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
1 change: 0 additions & 1 deletion src/plat/quartz64/config.cmake
Original file line number Diff line number Diff line change
Expand Up @@ -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
)
Expand Down
1 change: 0 additions & 1 deletion src/plat/rockpro64/config.cmake
Original file line number Diff line number Diff line change
Expand Up @@ -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
)
Expand Down
1 change: 0 additions & 1 deletion src/plat/tk1/config.cmake
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
1 change: 0 additions & 1 deletion src/plat/tqma8xqp1gb/config.cmake
Original file line number Diff line number Diff line change
Expand Up @@ -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
)
Expand Down
1 change: 0 additions & 1 deletion src/plat/tx1/config.cmake
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
1 change: 0 additions & 1 deletion src/plat/tx2/config.cmake
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
1 change: 0 additions & 1 deletion src/plat/zynq7000/config.cmake
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
1 change: 0 additions & 1 deletion src/plat/zynqmp/config.cmake
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 0440bec

Please sign in to comment.