[PATCH] remove the second arg of do_timer_interrupt()