diff options
Diffstat (limited to 'drivers/firmware/psci.c')
-rw-r--r-- | drivers/firmware/psci.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/drivers/firmware/psci.c b/drivers/firmware/psci.c index 657e7eb5ae..f845ba67f8 100644 --- a/drivers/firmware/psci.c +++ b/drivers/firmware/psci.c @@ -9,18 +9,18 @@ #include <common.h> #include <command.h> #include <dm.h> +#include <efi_loader.h> #include <irq_func.h> #include <log.h> -#include <dm/lists.h> -#include <efi_loader.h> #include <sysreset.h> -#include <linux/delay.h> -#include <linux/libfdt.h> +#include <asm/system.h> +#include <dm/lists.h> #include <linux/arm-smccc.h> +#include <linux/delay.h> #include <linux/errno.h> +#include <linux/libfdt.h> #include <linux/printk.h> #include <linux/psci.h> -#include <asm/system.h> #define DRIVER_NAME "psci" |