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);