timer: cadence: Use live-tree functions

[u-boot] / board / overo / common.c

diff --git a/board/overo/common.c b/board/overo/common.c
index f6f6792d0950855df0da86839f74225e45b4b1bf..fc02d66d531fbc93b5dd02e23bcc403e8a6a7157 100644 (file)
--- a/board/overo/common.c
+++ b/board/overo/common.c
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: GPL-2.0+
 /*
  * Maintainer : Steve Sakoman <steve@sakoman.com>
  *
@@ -9,8 +10,6 @@
  *
  * (C) Copyright 2004-2008
  * Texas Instruments, <www.ti.com>
- *
- * SPDX-License-Identifier:     GPL-2.0+
  */
 #include <twl4030.h>
 #include <common.h>
@@ -18,6 +17,7 @@
 #include <asm/arch/mux.h>
 #include <asm/arch/sys_proto.h>
 #include <asm/gpio.h>
+#include <asm/mach-types.h>
 
 DECLARE_GLOBAL_DATA_PTR;