From: Andrew Morton arch/x86_64/kernel/time.c: In function `main_timer_handler': arch/x86_64/kernel/time.c:474: warning: unsigned int format, different type arg (arg 4) arch/x86_64/kernel/time.c:474: warning: unsigned int format, different type arg (arg 5) hpet_tick has type unsigned long. That code's just asking for a divide-by-zero, so kill it. Cc: Andi Kleen Signed-off-by: Andrew Morton --- arch/x86_64/kernel/time.c | 2 -- 1 files changed, 2 deletions(-) diff -puN arch/x86_64/kernel/time.c~x86_64-no-idle-tick-fix arch/x86_64/kernel/time.c --- devel/arch/x86_64/kernel/time.c~x86_64-no-idle-tick-fix 2005-09-22 22:52:18.000000000 -0700 +++ devel-akpm/arch/x86_64/kernel/time.c 2005-09-22 22:52:18.000000000 -0700 @@ -466,8 +466,6 @@ int main_timer_handler(struct pt_regs *r int to_next = hpet_tick - count%hpet_tick; int next = count + to_next; hpet_writel(next, HPET_T0_CMP); - Xprintk("count %u next +%d(%u.%u)\n", count, next - count, - (next-count)/hpet_tick, (next-count)%hpet_tick); /* Paranoia: make sure to not underrun cmp */ if (to_next < hpet_tick / HPET_REPROGRAM_SAFETY) { if (hpet_readl(HPET_COUNTER) >= next) { _