From: Andrew Morton arch/x86_64/kernel/time.c: In function `__sync_timer': arch/x86_64/kernel/time.c:1084: warning: long unsigned int format, different type arg (arg 3) Cc: Andi Kleen Signed-off-by: Andrew Morton --- arch/x86_64/kernel/time.c | 2 +- 1 files changed, 1 insertion(+), 1 deletion(-) diff -puN arch/x86_64/kernel/time.c~x86_64-no-idle-tick-fix-2 arch/x86_64/kernel/time.c --- devel/arch/x86_64/kernel/time.c~x86_64-no-idle-tick-fix-2 2005-09-22 22:52:18.000000000 -0700 +++ devel-akpm/arch/x86_64/kernel/time.c 2005-09-22 22:52:18.000000000 -0700 @@ -1077,7 +1077,7 @@ static int __sync_timer(struct pt_regs * long offset; Xprintk("sync_timer jiffies %lu count %lu\n", jiffies, - vxtime.hpet_address ? hpet_readl(HPET_COUNTER) : 0); + vxtime.hpet_address ? hpet_readl(HPET_COUNTER) : 0UL); offset = __do_gettimeoffset_tsc(); if (offset >= 1000000/HZ) { _