exit_thread: accept a task parameter to be exited
[cascardo/linux.git] / arch / avr32 / kernel / process.c
index 42a53e7..68e5b9d 100644 (file)
@@ -62,9 +62,9 @@ void machine_restart(char *cmd)
 /*
  * Free current thread data structures etc
  */
-void exit_thread(void)
+void exit_thread(struct task_struct *tsk)
 {
-       ocd_disable(current);
+       ocd_disable(tsk);
 }
 
 void flush_thread(void)