|
@@ -97,7 +97,6 @@ static inline void restore_access_regs(unsigned int *acrs)
|
|
|
|
|
|
extern void account_vtime(struct task_struct *, struct task_struct *);
|
|
extern void account_vtime(struct task_struct *, struct task_struct *);
|
|
extern void account_tick_vtime(struct task_struct *);
|
|
extern void account_tick_vtime(struct task_struct *);
|
|
-extern void account_system_vtime(struct task_struct *);
|
|
|
|
|
|
|
|
#ifdef CONFIG_PFAULT
|
|
#ifdef CONFIG_PFAULT
|
|
extern void pfault_irq_init(void);
|
|
extern void pfault_irq_init(void);
|