diff --git a/plat/arm/board/rddaniel/include/platform_def.h b/plat/arm/board/rddaniel/include/platform_def.h index a118ca38af0ee42815024abfb72159cffdee7320..5b98b4e8c4a5068aabdfa17b6a14c02dbcf424c2 100644 --- a/plat/arm/board/rddaniel/include/platform_def.h +++ b/plat/arm/board/rddaniel/include/platform_def.h @@ -9,7 +9,7 @@ #include -#include +#include #define PLAT_ARM_CLUSTER_COUNT U(16) #define CSS_SGI_MAX_CPUS_PER_CLUSTER U(1) diff --git a/plat/arm/board/rddanielxlr/include/platform_def.h b/plat/arm/board/rddanielxlr/include/platform_def.h index b1376b85d6e67366ccbfab0757def6c814320a37..112b2102ba957626090ffdfc6bd81e1afdbb9094 100644 --- a/plat/arm/board/rddanielxlr/include/platform_def.h +++ b/plat/arm/board/rddanielxlr/include/platform_def.h @@ -8,7 +8,7 @@ #define PLATFORM_DEF_H #include -#include +#include #define PLAT_ARM_CLUSTER_COUNT U(4) #define CSS_SGI_MAX_CPUS_PER_CLUSTER U(1) diff --git a/plat/arm/board/rddanielxlr/rddanielxlr_plat.c b/plat/arm/board/rddanielxlr/rddanielxlr_plat.c index 4b5f16a4f793a1646165a2796246ec310eb005cd..a1a4876c04a1a0ed8d220fd10b23340e680d165e 100644 --- a/plat/arm/board/rddanielxlr/rddanielxlr_plat.c +++ b/plat/arm/board/rddanielxlr/rddanielxlr_plat.c @@ -8,7 +8,7 @@ #include #include #include -#include +#include #include #if defined(IMAGE_BL31) diff --git a/plat/arm/board/rde1edge/include/platform_def.h b/plat/arm/board/rde1edge/include/platform_def.h index 3fb640972adb59e518393462115b0acca0b341ea..c39fe2b69bd429a3cd7e130630fe69118cf3eb12 100644 --- a/plat/arm/board/rde1edge/include/platform_def.h +++ b/plat/arm/board/rde1edge/include/platform_def.h @@ -9,7 +9,7 @@ #include -#include +#include #define PLAT_ARM_CLUSTER_COUNT U(2) #define CSS_SGI_MAX_CPUS_PER_CLUSTER U(8) diff --git a/plat/arm/board/rdn1edge/include/platform_def.h b/plat/arm/board/rdn1edge/include/platform_def.h index ab63e23eced45146ef780f41f2562a196161d662..b167c46e0dcb7716a2de384b9f285645f8e8ddd1 100644 --- a/plat/arm/board/rdn1edge/include/platform_def.h +++ b/plat/arm/board/rdn1edge/include/platform_def.h @@ -9,7 +9,7 @@ #include -#include +#include #define PLAT_ARM_CLUSTER_COUNT U(2) #define CSS_SGI_MAX_CPUS_PER_CLUSTER U(4) diff --git a/plat/arm/board/rdn1edge/rdn1edge_plat.c b/plat/arm/board/rdn1edge/rdn1edge_plat.c index f62c6f402b87b0dd6cd7c7bf660e77c3915fd5ee..1dbbf26da2dc2871ac717ef365165a601cfea155 100644 --- a/plat/arm/board/rdn1edge/rdn1edge_plat.c +++ b/plat/arm/board/rdn1edge/rdn1edge_plat.c @@ -8,7 +8,7 @@ #include #include #include -#include +#include #include #if defined(IMAGE_BL31) diff --git a/plat/arm/board/sgi575/include/platform_def.h b/plat/arm/board/sgi575/include/platform_def.h index 95986cf4a3ed59f462ea281f043b65c8292331cc..c929334cdf7242d62b6bf4b523df056912e838ad 100644 --- a/plat/arm/board/sgi575/include/platform_def.h +++ b/plat/arm/board/sgi575/include/platform_def.h @@ -9,7 +9,7 @@ #include -#include +#include #define PLAT_ARM_CLUSTER_COUNT U(2) #define CSS_SGI_MAX_CPUS_PER_CLUSTER U(4) diff --git a/plat/arm/css/sgi/include/sgi_base_platform_def.h b/plat/arm/css/sgi/include/sgi_base_platform_def.h index 159084f958a3ea0a918cb63b69592fe4dff3d76c..b805746de6c1ce8e1edd986e7abe9f858d957023 100644 --- a/plat/arm/css/sgi/include/sgi_base_platform_def.h +++ b/plat/arm/css/sgi/include/sgi_base_platform_def.h @@ -9,12 +9,9 @@ #include #include -#include -#include #include #include #include -#include #include #define PLATFORM_CORE_COUNT (CSS_SGI_CHIP_COUNT * \ diff --git a/plat/arm/css/sgi/include/sgi_soc_platform_def.h b/plat/arm/css/sgi/include/sgi_soc_platform_def.h new file mode 100644 index 0000000000000000000000000000000000000000..d7a839a5240daf52051e48716584c7d4d83ee891 --- /dev/null +++ b/plat/arm/css/sgi/include/sgi_soc_platform_def.h @@ -0,0 +1,15 @@ +/* + * Copyright (c) 2020, ARM Limited and Contributors. All rights reserved. + * + * SPDX-License-Identifier: BSD-3-Clause + */ + +#ifndef SGI_SOC_PLATFORM_DEF_H +#define SGI_SOC_PLATFORM_DEF_H + +#include +#include +#include +#include + +#endif /* SGI_SOC_PLATFORM_DEF_H */