+// SPDX-License-Identifier: GPL-2.0+
/*
* Copyright (C) 2015
* Cristian Birsan <cristian.birsan@microchip.com>
* Purna Chandra Mandal <purna.mandal@microchip.com>
- *
- * SPDX-License-Identifier: GPL-2.0+
*/
#include <common.h>
+#include <cpu_func.h>
#include <dm.h>
#include <fdt_support.h>
#include <flash.h>
+#include <init.h>
+#include <irq_func.h>
+#include <asm/global_data.h>
+#include <linux/bitops.h>
#include <mach/pic32.h>
#include <wait_bit.h>