diff --git a/port/helios/src/timing_alt.c b/port/helios/src/timing_alt.c
index e9f7bb3115b054e60e990b9c87328697c3e96b82..d6dbc0598b99a776f5ae90b1ab31e4061530ae97 100644
--- a/port/helios/src/timing_alt.c
+++ b/port/helios/src/timing_alt.c
@@ -4,10 +4,12 @@
 #include <time.h>
 #include <stdint.h>
 
+#if defined (PLAT_ASR)
 struct timeval { 
 	int tv_sec; 
 	int tv_usec;
 };
+#endif
 
 extern int gettimeofday(struct timeval *tv, void *tz);