From d47bdb3104a031d35d9e7e551a5834060e07bf5f Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Sun, 18 Jan 2015 22:20:42 +0100
Subject: [PATCH] remove obsolete function

---
 include/eduos/tasks.h | 3 ---
 kernel/tasks.c        | 9 ---------
 2 files changed, 12 deletions(-)

diff --git a/include/eduos/tasks.h b/include/eduos/tasks.h
index d6571d0..1ef5294 100644
--- a/include/eduos/tasks.h
+++ b/include/eduos/tasks.h
@@ -133,9 +133,6 @@ void NORETURN abort(void);
 /** @brief This function shall be called by leaving kernel-level tasks */
 void NORETURN leave_kernel_task(void);
 
-/** @brief This function shall be called by leaving user-level tasks */
-void NORETURN leave_user_task(void);
-
 #ifdef __cplusplus
 }
 #endif
diff --git a/kernel/tasks.c b/kernel/tasks.c
index 98b7bc5..198536e 100644
--- a/kernel/tasks.c
+++ b/kernel/tasks.c
@@ -151,15 +151,6 @@ void NORETURN leave_kernel_task(void) {
 	do_exit(result);
 }
 
-/** @brief This function shall be called by leaving user-level tasks */
-void NORETURN leave_user_task(void)
-{
-	SYSCALL1(__NR_exit, 0);
-
-	// this point should never reached
-	while(1) {}
-}
-
 /** @brief To be called by the systemcall to exit tasks */
 void NORETURN sys_exit(int arg) {
 	do_exit(arg);