[PATCH 06/12 gnumach] linux: Skip updating jiffies on AP timer

[Damien Zammit]

---
 linux/dev/kernel/sched.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/linux/dev/kernel/sched.c b/linux/dev/kernel/sched.c
index 2a9eeb3f..f9c52d1e 100644
--- a/linux/dev/kernel/sched.c
+++ b/linux/dev/kernel/sched.c
@@ -616,6 +616,9 @@ int linux_timer_print = 0;
 void
 linux_timer_intr (void)
 {
+  if (cpu_number() != 0)
+    return;
+
   (*(unsigned long *) &jiffies)++;
   mark_bh (TIMER_BH);
   if (tq_timer)
--
2.34.1