ia64/xen-unstable

changeset 2023:7500d808bee1

bitkeeper revision 1.1108.48.2 (410e1a0de6FrG4dlru7jRaIj2HuwBw)

make sure the domain's time info in shared_info is uptodate on timer interrupts
author cl349@freefall.cl.cam.ac.uk
date Mon Aug 02 10:40:13 2004 +0000 (2004-08-02)
parents bfb45374e4b3
children fbe39cb544f3
files xen/common/schedule.c
line diff
     1.1 --- a/xen/common/schedule.c	Mon Aug 02 10:36:56 2004 +0000
     1.2 +++ b/xen/common/schedule.c	Mon Aug 02 10:40:13 2004 +0000
     1.3 @@ -444,8 +444,10 @@ static void t_timer_fn(unsigned long unu
     1.4  
     1.5      TRACE_0D(TRC_SCHED_T_TIMER_FN);
     1.6  
     1.7 -    if ( !is_idle_task(p) )
     1.8 +    if ( !is_idle_task(p) ) {
     1.9 +        update_dom_time(p->shared_info);
    1.10          send_guest_virq(p, VIRQ_TIMER);
    1.11 +    }
    1.12  
    1.13      t_timer[p->processor].expires = NOW() + MILLISECS(10);
    1.14      add_ac_timer(&t_timer[p->processor]);
    1.15 @@ -456,6 +458,7 @@ static void dom_timer_fn(unsigned long d
    1.16  {
    1.17      struct domain *p = (struct domain *)data;
    1.18      TRACE_0D(TRC_SCHED_DOM_TIMER_FN);
    1.19 +    update_dom_time(p->shared_info);
    1.20      send_guest_virq(p, VIRQ_TIMER);
    1.21  }
    1.22