* SPDX-License-Identifier: GPL-2.0+
*/
+#include <common.h>
+#include <asm/arch/pxa-regs.h>
#include <asm/io.h>
#include <asm/system.h>
#include <command.h>
-#include <common.h>
-#include <asm/arch/pxa-regs.h>
/* Flush I/D-cache */
static void cache_flush(void)