diff --git a/headers/private/kernel/arch/x86/arch_thread.h b/headers/private/kernel/arch/x86/arch_thread.h
index 636b981632..9f85bfe634 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" {
 
 void i386_push_iframe(struct thread *t, struct iframe *frame);
 void i386_pop_iframe(struct thread *t);
+struct iframe *i386_get_current_iframe(void);
 
 void i386_return_from_signal();
 void i386_end_return_from_signal();
diff --git a/src/kernel/core/arch/x86/arch_thread.c b/src/kernel/core/arch/x86/arch_thread.c
index 112cb7977f..3a24cf9e03 100755
--- a/src/kernel/core/arch/x86/arch_thread.c
+++ b/src/kernel/core/arch/x86/arch_thread.c
@@ -78,7 +78,7 @@ i386_pop_iframe(struct thread *thread)
  *	from standard kernel threads.
  */
 
-static struct iframe *
+struct iframe *
 i386_get_current_iframe(void)
 {
 	struct thread *thread = thread_get_current_thread();