--- 379661d2f81ac9ce68863ec48e7c85e1244177ec
+++ 6b3a2e248ac91895b1f3a3fac4b7dcb24d31b2a1
@@ -97,7 +97,6 @@ static inline void restore_access_regs(u
 
 extern void account_vtime(struct task_struct *, struct task_struct *);
 extern void account_tick_vtime(struct task_struct *);
-extern void account_system_vtime(struct task_struct *);
 
 #ifdef CONFIG_PFAULT
 extern void pfault_irq_init(void);