--- zzzz-none-000/linux-2.6.28.10/kernel/hrtimer.c	2009-05-02 18:54:43.000000000 +0000
+++ puma5-6360-529/linux-2.6.28.10/kernel/hrtimer.c	2009-10-15 16:03:53.000000000 +0000
@@ -719,7 +719,7 @@
 	/* "Retrigger" the interrupt to get things going */
 	retrigger_next_event(NULL);
 	local_irq_restore(flags);
-	printk(KERN_DEBUG "Switched to high resolution mode on CPU %d\n",
+	printk(KERN_DEBUG "\n\nSwitched to high resolution mode on CPU %d\n\n",
 	       smp_processor_id());
 	return 1;
 }
@@ -1360,8 +1360,10 @@
 				break;
 			}
 
+            /*--- printk("[R4]"); ---*/
 			/* Move softirq callbacks to the pending list */
 			if (timer->cb_mode == HRTIMER_CB_SOFTIRQ) {
+                /*--- printk("[R4.1]"); ---*/
 				__remove_hrtimer(timer, base,
 						 HRTIMER_STATE_PENDING, 0);
 				list_add_tail(&timer->cb_entry,
@@ -1380,13 +1382,16 @@
 
 	/* Reprogramming necessary ? */
 	if (expires_next.tv64 != KTIME_MAX) {
+        /*--- printk("[R4.2]"); ---*/
 		if (tick_program_event(expires_next, 0))
 			goto retry;
 	}
 
 	/* Raise softirq ? */
-	if (raise)
+	if (raise) {
+        /*--- printk("[R4.3]"); ---*/
 		raise_softirq(HRTIMER_SOFTIRQ);
+    }
 }
 
 /**