--- linux/include/linux/hardirq.h	2006-10-19 15:13:34.000000000 +0200
+++ linux-ed/include/linux/hardirq.h	2006-10-19 15:15:58.000000000 +0200
@@ -95,9 +95,11 @@
 struct task_struct;
 
 #ifndef CONFIG_VIRT_CPU_ACCOUNTING
-static inline void account_system_vtime(struct task_struct *tsk)
-{
-}
+/*
+ * It's better to provide a macro and not a function
+ * because the way 'current' is implemented on some archs
+ */
+#define account_system_vtime(X) do {} while (0)
 #endif
 
 /*