aboutsummaryrefslogtreecommitdiff
path: root/plat/common/plat_gicv3.c
diff options
context:
space:
mode:
Diffstat (limited to 'plat/common/plat_gicv3.c')
-rw-r--r--plat/common/plat_gicv3.c16
1 files changed, 9 insertions, 7 deletions
diff --git a/plat/common/plat_gicv3.c b/plat/common/plat_gicv3.c
index f8277fe54a..f5ed6fc96f 100644
--- a/plat/common/plat_gicv3.c
+++ b/plat/common/plat_gicv3.c
@@ -3,16 +3,18 @@
*
* SPDX-License-Identifier: BSD-3-Clause
*/
-#include <arch_helpers.h>
+
#include <assert.h>
-#include <bl_common.h>
-#include <cassert.h>
-#include <gic_common.h>
-#include <gicv3.h>
-#include <interrupt_mgmt.h>
-#include <platform.h>
#include <stdbool.h>
+#include <arch_helpers.h>
+#include <common/bl_common.h>
+#include <bl31/interrupt_mgmt.h>
+#include <drivers/arm/gic_common.h>
+#include <drivers/arm/gicv3.h>
+#include <lib/cassert.h>
+#include <plat/common/platform.h>
+
#ifdef IMAGE_BL31
/*