# HG changeset patch
# User tristan.gingold@xxxxxxxx
# Node ID 053ceaeed591b27256e4c3039e3c16b68beb3724
# Parent  354a0f88e758f2839c04743afd3d0d3823cefb10
#if 0'd useless code in timer handled.

Signed-off-by: Tristan Gingold <tristan.gingold@xxxxxxxx>

diff -r 354a0f88e758 -r 053ceaeed591 xen/arch/ia64/xen/xentime.c
--- a/xen/arch/ia64/xen/xentime.c	Mon Mar  6 10:03:52 2006
+++ b/xen/arch/ia64/xen/xentime.c	Mon Mar  6 11:40:22 2006
@@ -116,6 +116,12 @@
 	}
 #endif
 #endif
+
+#if 0
+	/* Nobody seems to be able to explain this code.
+	   It seems to be accumulated tricks, which are not required anymore.
+	   Also I have made many tests, I'd like to get confirmation from
+	   other site (TG).  */
 	if (current->domain == dom0) {
 		// FIXME: there's gotta be a better way of doing this...
 		// We have to ensure that domain0 is launched before we
@@ -130,6 +136,7 @@
 			vcpu_wake(dom0->vcpu[0]);
 		}
 	}
+#endif
 	if (!is_idle_domain(current->domain))  {
 		if (vcpu_timer_expired(current)) {
 			vcpu_pend_timer(current);