Displaying 1 result from an estimated 1 matches for "page_scrub_schedule_work".
2006 Mar 14
0
[patch] call out to arch code to deliver timer interrupts
...ER);
+ 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)
struct vcpu *v = data;
update_dom_time(v);
- send_guest_virq(v, VIRQ_TIMER);
+ arch_send_timer_event(v);
}
/* Initialise the data structures. */
diff -r df0ad1c46f10 -r 686cd624618c xen/include/xen/time.h
--- a/xen/in...