aboutsummaryrefslogtreecommitdiff
path: root/lib/psci/psci_system_off.c
diff options
context:
space:
mode:
Diffstat (limited to 'lib/psci/psci_system_off.c')
-rw-r--r--lib/psci/psci_system_off.c10
1 files changed, 6 insertions, 4 deletions
diff --git a/lib/psci/psci_system_off.c b/lib/psci/psci_system_off.c
index 7cac4e9376..141d69ef2b 100644
--- a/lib/psci/psci_system_off.c
+++ b/lib/psci/psci_system_off.c
@@ -4,12 +4,14 @@
* SPDX-License-Identifier: BSD-3-Clause
*/
-#include <arch_helpers.h>
#include <assert.h>
-#include <console.h>
-#include <debug.h>
-#include <platform.h>
#include <stddef.h>
+
+#include <arch_helpers.h>
+#include <common/debug.h>
+#include <drivers/console.h>
+#include <plat/common/platform.h>
+
#include "psci_private.h"
void __dead2 psci_system_off(void)