Displaying 1 result from an estimated 1 matches for "trc_sched_switch".
2006 Mar 14
0
[patch] call out to arch code to deliver timer interrupts
...e 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) )
{
update_dom_time(v);
- send_guest_virq(v, VIRQ_TIMER);
+ arch_send_timer_event(v);
}
page_scrub_schedule_work();
@@ -515,7 +515,7 @@ static void dom_timer_fn(void *data)...