Displaying 1 result from an estimated 1 matches for "send_guest_virq".
Did you mean:
send_guest_pirq
2006 Mar 14
0
[patch] call out to arch code to deliver timer interrupts
...686cd624618c xen/arch/ia64/xen/xentime.c
--- a/xen/arch/ia64/xen/xentime.c Thu Mar 9 16:03:23 2006 +0100
+++ b/xen/arch/ia64/xen/xentime.c Tue Mar 14 14:56:55 2006 -0600
@@ -258,4 +258,8 @@ int reprogram_timer(s_time_t timeout)
return 1;
}
-
+void arch_send_timer_event(struct vcpu *v)
+{
+ send_guest_virq(v, VIRQ_TIMER);
+}
+
diff -r df0ad1c46f10 -r 686cd624618c xen/arch/x86/time.c
--- a/xen/arch/x86/time.c Thu Mar 9 16:03:23 2006 +0100
+++ b/xen/arch/x86/time.c Tue Mar 14 14:56:55 2006 -0600
@@ -923,6 +923,11 @@ void __init early_time_init(void)
setup_irq(0, &irq0);
}
+void arch_send_t...