--- linux-2.4.21-up/net/sunrpc/sched.c.orig	2002-08-16 15:59:46.000000000 +0200
+++ linux-2.4.21-up/net/sunrpc/sched.c	2003-02-10 01:57:36.000000000 +0100
@@ -169,10 +169,8 @@
 static inline void
 rpc_delete_timer(struct rpc_task *task)
 {
-	if (timer_pending(&task->tk_timer)) {
-		dprintk("RPC: %4d deleting timer\n", task->tk_pid);
-		del_timer_sync(&task->tk_timer);
-	}
+	dprintk("RPC: %4d deleting timer\n", task->tk_pid);
+	del_timer_sync(&task->tk_timer);
 }
 
 /*