nios2: implement get_ticks and get_tbclk

[u-boot] / board / w7o / init.S

diff --git a/board/w7o/init.S b/board/w7o/init.S
index 5477f986b98ffdd7750fc7db62f87388f2453172..b3aadcace32430165d0d44ea304ecf1a1449f4c4 100644 (file)
--- a/board/w7o/init.S
+++ b/board/w7o/init.S
@@ -22,7 +22,7 @@
  *
  *****************************************************************************/
 #include <config.h>
-#include <ppc4xx.h>
+#include <asm/ppc4xx.h>
 
 #define _LINUX_CONFIG_H 1      /* avoid reading Linux autoconf.h file  */