Bugfixed for ARM systems.

Compile with CONFIG_NP_SECTION=y

Signed-off-by: Christopher Kenna <cjk@cs.unc.edu>

1 files changed, 2 insertions, 0 deletions

diff --git a/include/litmus/clock.h b/include/litmus/clock.h
index d6f1cfd2ca60..9b285db7f60c 100644
--- a/include/litmus/clock.h
+++ b/include/litmus/clock.h
@@ -24,6 +24,8 @@ static inline s64 litmus_cycles_to_ns(cycles_t cycles)
 
 #elif defined(CONFIG_CPU_V7) && !defined(CONFIG_HW_PERF_EVENTS)
 
+#include <asm/timex.h>
+
 static inline cycles_t v7_get_cycles (void)
 {
         u32 value;