diff --git a/headers/private/kernel/arch/x86/arch_thread.h b/headers/private/kernel/arch/x86/arch_thread.h
index 40e10cabdd..a7ae51c47c 100644
--- a/headers/private/kernel/arch/x86/arch_thread.h
+++ b/headers/private/kernel/arch/x86/arch_thread.h
@@ -17,6 +17,7 @@ extern "C" {
 #endif
 
 struct iframe *i386_get_user_iframe(void);
+struct iframe *i386_get_current_iframe(void);
 void *x86_next_page_directory(struct thread *from, struct thread *to);
 
 void x86_restart_syscall(struct iframe* frame);
diff --git a/src/system/kernel/arch/x86/arch_thread.cpp b/src/system/kernel/arch/x86/arch_thread.cpp
index 62952e0e9b..3c818f85a0 100644
--- a/src/system/kernel/arch/x86/arch_thread.cpp
+++ b/src/system/kernel/arch/x86/arch_thread.cpp
@@ -152,6 +152,12 @@ i386_get_user_iframe(void)
 }
 
 
+struct iframe *
+i386_get_current_iframe(void)
+{
+	return get_current_iframe();
+}
+
 void *
 x86_next_page_directory(struct thread *from, struct thread *to)
 {