style: support property SMMU

Avoid the annoying style checker complaints.

Signed-off-by: Axel Heider <axelheider@gmx.de>

.cmake-format.yaml

@@ -53,5 +53,6 @@ additional_commands:
         CLK_SHIFT: '*'
         TIMER_PRECISION: '*'
         TIMER_OVERHEAD_TICKS: '*'
+        SMMU: '*'
         MAX_SID: '*'
         MAX_CB: '*'

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

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
     )