[Minios-devel] [PATCH 1/2] Clean arch/x86/time.c

[Samuel Thibault <samuel.thibault@xxxxxxxxxxxx>]

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@xxxxxxxxxxxx>
---
 arch/x86/time.c | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/arch/x86/time.c b/arch/x86/time.c
index 2c8d033..cf5fab0 100644
--- 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)
     {
-- 
2.8.0.rc3


_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/minios-devel