--- zzzz-none-000/linux-2.6.28.10/arch/arm/kernel/time.c	2009-05-02 18:54:43.000000000 +0000
+++ puma5-6360-529/linux-2.6.28.10/arch/arm/kernel/time.c	2009-06-04 07:28:46.000000000 +0000
@@ -318,7 +318,7 @@
 }
 EXPORT_SYMBOL(restore_time_delta);
 
-#ifndef CONFIG_GENERIC_CLOCKEVENTS
+/*--- #ifndef CONFIG_GENERIC_CLOCKEVENTS ---*/
 /*
  * Kernel system timer support.
  */
@@ -334,7 +334,7 @@
 	update_process_times(user_mode(get_irq_regs()));
 #endif
 }
-#endif
+/*--- #endif ---*/
 
 #if defined(CONFIG_PM) && !defined(CONFIG_GENERIC_CLOCKEVENTS)
 static int timer_suspend(struct sys_device *dev, pm_message_t state)