On Mon, Oct 29, 2007 at 01:50:34PM +1100, Paul Mackerras wrote:

Currently, process user and system times are advancing twice as fast
as they should because they are being accounted in two places - in the
generic code and in timer_interrupt.  This fixes it by removing the
call to account_process_time in timer_interrupt.

Signed-off-by: Paul Mackerras <redacted>

Tested-by: Olof Johansson <redacted>

Thanks for fixing it!

-Olof