diff --git a/src/system/kernel/arch/arm/arch_thread.cpp b/src/system/kernel/arch/arm/arch_thread.cpp
index 66a0f642f3..7dae8a1fa0 100644
--- a/src/system/kernel/arch/arm/arch_thread.cpp
+++ b/src/system/kernel/arch/arm/arch_thread.cpp
@@ -343,12 +343,6 @@ arch_restore_signal_frame(struct signal_frame_data* signalFrameData)
 }
 
 
-void
-arch_check_syscall_restart(Thread *thread)
-{
-}
-
-
 /**	Saves everything needed to restore the frame in the child fork in the
  *	arch_fork_arg structure to be passed to arch_restore_fork_frame().
  *	Also makes sure to return the right value.