diff options
Diffstat (limited to 'linux')
| -rw-r--r-- | linux/dev/kernel/sched.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/linux/dev/kernel/sched.c b/linux/dev/kernel/sched.c index 2a9eeb3f..f87482ef 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() != master_cpu) + return; + (*(unsigned long *) &jiffies)++; mark_bh (TIMER_BH); if (tq_timer) |