Clean arch/x86/time.c

block_domain() does not actually use the value returned by gettimeofday.
Fix indent in monotonic_clock() along the way.

Signed-off-by: Samuel Thibault <samuel.thibault@ens-lyon.org>

diff --git a/arch/x86/time.c b/arch/x86/time.c
index 2c8d03378783f3e42592b250283be1d50bd1126c..cf5fab0be31529b08e38ecdc0b80c351d34e8744 100644 (file)
--- a/arch/x86/time.c
+++ b/arch/x86/time.c
@@ -160,7 +160,7 @@ uint64_t monotonic_clock(void)
                local_time_version = shadow.version;
                rmb();
                time = shadow.system_timestamp + get_nsec_offset();
-        if (!time_values_up_to_date())
+               if (!time_values_up_to_date())
                        get_time_values_from_xen();
                rmb();
        } while (local_time_version != shadow.version);
@@ -199,8 +199,6 @@ int gettimeofday(struct timeval *tv, void *tz)
 
 void block_domain(s_time_t until)
 {
-    struct timeval tv;
-    gettimeofday(&tv, NULL);
     ASSERT(irqs_disabled());
     if(monotonic_clock() < until)
     {