gettimeofday is provided by the rump kernel

diff --git a/xen/arch/x86/time.c b/xen/arch/x86/time.c
index ac266fe4de2d59ada16112f92e78ae7f8b8b20b2..4ce519a5c17937b4f91086be958476d24016281b 100644 (file)
--- a/xen/arch/x86/time.c
+++ b/xen/arch/x86/time.c
@@ -182,20 +182,6 @@ static void update_wallclock(void)
 }
 
 
-int gettimeofday(struct timeval *tv, void *tz)
-{
-    uint64_t nsec = monotonic_clock();
-    nsec += shadow_ts.tv_nsec;
-    
-    
-    tv->tv_sec = shadow_ts.tv_sec;
-    tv->tv_sec += NSEC_TO_SEC(nsec);
-    tv->tv_usec = NSEC_TO_USEC(nsec % 1000000000UL);
-
-    return 0;
-}
-
-
 void block_domain(s_time_t until)
 {
     struct timeval tv;