Displaying 1 result from an estimated 1 matches for "update_dom_time".
2006 Mar 14
0
[patch] call out to arch code to deliver timer interrupts
..._TIMER);
+}
+
/*
* Local variables:
* mode: C
diff -r df0ad1c46f10 -r 686cd624618c xen/common/schedule.c
--- a/xen/common/schedule.c Thu Mar 9 16:03:23 2006 +0100
+++ b/xen/common/schedule.c Tue Mar 14 14:56:55 2006 -0600
@@ -465,7 +465,7 @@ static void __enter_scheduler(void)
{
update_dom_time(next);
if ( next->sleep_tick != schedule_data[cpu].tick )
- send_guest_virq(next, VIRQ_TIMER);
+ arch_send_timer_event(next);
}
TRACE_4D(TRC_SCHED_SWITCH,
@@ -501,7 +501,7 @@ static void t_timer_fn(void *unused)
if ( !is_idle_vcpu(v) )
{...