Hello! On Thu, Jan 15, 2004 at 11:24:41AM -0500, Alex Feldman wrote: >[... in kernel code ...] > if (ticks > hz * 0.2) >[...] Kernel mode code can't use the FPU. That's all. Your replacement with integer arithmetic ((hz * 2) / 10) is the right fix. Kind regards, Hannah.