From a2cb6d02713301187d7b4549e869f3ea7b9a0749 Mon Sep 17 00:00:00 2001 From: Axel Heider Date: Fri, 17 Nov 2023 22:48:01 +0100 Subject: [PATCH] style: support property SMMU Avoid the annoying style checker complaints. Signed-off-by: Axel Heider --- .cmake-format.yaml | 1 + src/plat/tk1/config.cmake | 3 ++- src/plat/tx2/config.cmake | 3 ++- 3 files changed, 5 insertions(+), 2 deletions(-) diff --git a/.cmake-format.yaml b/.cmake-format.yaml index eb4985d57..a3e205f99 100644 --- a/.cmake-format.yaml +++ b/.cmake-format.yaml @@ -53,5 +53,6 @@ additional_commands: CLK_SHIFT: '*' TIMER_PRECISION: '*' TIMER_OVERHEAD_TICKS: '*' + SMMU: '*' MAX_SID: '*' MAX_CB: '*' diff --git a/src/plat/tk1/config.cmake b/src/plat/tk1/config.cmake index 85b0fed67..024b19159 100644 --- a/src/plat/tk1/config.cmake +++ b/src/plat/tk1/config.cmake @@ -22,7 +22,8 @@ if(KernelPlatformTK1) MAX_IRQ 191 INTERRUPT_CONTROLLER arch/machine/gic_v2.h NUM_PPI 32 - TIMER drivers/timer/arm_generic.h SMMU plat/machine/smmu.h + TIMER drivers/timer/arm_generic.h + SMMU plat/machine/smmu.h CLK_MAGIC 2863311531llu CLK_SHIFT 35u KERNEL_WCET 100u diff --git a/src/plat/tx2/config.cmake b/src/plat/tx2/config.cmake index b8c8499c8..0bd153121 100644 --- a/src/plat/tx2/config.cmake +++ b/src/plat/tx2/config.cmake @@ -27,7 +27,8 @@ if(KernelPlatformTx2) TIMER drivers/timer/arm_generic.h CLK_SHIFT 57u CLK_MAGIC 4611686019u - KERNEL_WCET 10u SMMU drivers/smmu/smmuv2.h + KERNEL_WCET 10u + SMMU drivers/smmu/smmuv2.h MAX_SID 128 MAX_CB 64 )