Revert "exynos5250/snow: deprecate time.h"

This reverts commit 2fde9668b4

Somehow this got merged before its dependencies. 3190 must be merged first, followed by 3176. However 3190 will fail while this patch is in. So the situation can't correct itself.

Reverting this until the other two go in.

Change-Id: I176f37c12711849c96f1889eacad38c00a8142c4
Signed-off-by: David Hendricks <dhendrix@chromium.org>
Reviewed-on: http://review.coreboot.org/3195
Tested-by: build bot (Jenkins)
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>

src/cpu/samsung/exynos5250/clk.h

@@ -585,7 +585,6 @@ int clock_get_mem_selection(enum ddr_mode *mem_type,
 		unsigned *frequency_mhz, unsigned *arm_freq,
 		enum mem_manuf *mem_manuf);
 
-void mct_start(void);
 uint64_t mct_raw_value(void);
 
 #endif

src/cpu/samsung/exynos5250/mct.c

@@ -22,7 +22,7 @@
 
 #include <arch/io.h>
 #include <stdint.h>
-
+#include <time.h>
 #include "clk.h"
 
 struct __attribute__((packed)) mct_regs
@@ -101,8 +101,16 @@ uint64_t mct_raw_value(void)
 	return (upper << 32) | lower;
 }
 
-void mct_start(void)
+void timer_start(void)
 {
 	writel(readl(&mct->g_tcon) | (0x1 << 8), &mct->g_tcon);
 	enabled = 1;
 }
+
+u32 timer_us(void)
+{
+	uint64_t raw = mct_raw_value();
+	static uint32_t ticks_per_microsecond = MCT_HZ/1000000;
+	uint32_t usec = raw / ticks_per_microsecond;
+	return usec;
+}

src/cpu/samsung/exynos5250/monotonic_timer.c

@@ -20,6 +20,7 @@
 #include <stdint.h>
 #include <delay.h>
 #include <timer.h>
+#include <time.h>	/* TODO: deprecate in favor of monotonic timer stuff */
 
 #include "clk.h"