Merge branch '2020-06-15-misc-bugfixes'
[oweals/u-boot.git] / drivers / timer / mpc83xx_timer.c
index dfbc8672b29329689551813cced609cc8641c0c4..ad8bb28e8b39d7989df7b4f4ccb5b9bb7ad9faae 100644 (file)
@@ -8,9 +8,14 @@
 #include <board.h>
 #include <clk.h>
 #include <dm.h>
+#include <irq_func.h>
+#include <log.h>
 #include <status_led.h>
+#include <time.h>
 #include <timer.h>
 #include <watchdog.h>
+#include <asm/ptrace.h>
+#include <linux/bitops.h>
 
 DECLARE_GLOBAL_DATA_PTR;