From 0d8d3689071188d39c629c3d9d9bed52f9eecfc7 Mon Sep 17 00:00:00 2001
From: Koen Kooi <koen.kooi@linaro.org>
Date: Sat, 11 Apr 2015 10:23:25 +0200
Subject: [PATCH] boot/util: add ticks_read() stub

---
 src/boot/efi/util.c | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/boot/efi/util.c b/src/boot/efi/util.c
index 4dd7c1efde..5e374edacf 100644
--- a/src/boot/efi/util.c
+++ b/src/boot/efi/util.c
@@ -39,6 +39,11 @@ UINT64 ticks_read(VOID) {
         __asm__ volatile ("rdtsc" : "=A" (val));
         return val;
 }
+#else
+UINT64 ticks_read(VOID) {
+        UINT64 val = 1;
+        return val;
+}
 #endif
 
 /* count TSC ticks during a millisecond delay */