diff --git a/src/system/kernel/arch/x86/arch_interrupts.S b/src/system/kernel/arch/x86/arch_interrupts.S
index 99547ce7f1..c1144ef04c 100644
--- a/src/system/kernel/arch/x86/arch_interrupts.S
+++ b/src/system/kernel/arch/x86/arch_interrupts.S
@@ -613,7 +613,7 @@ FUNCTION(i386_return_from_signal):
 	int		$99
 	ret
 FUNCTION_END(i386_return_from_signal)
-FUNCTION(i386_end_return_from_signal):
+SYMBOL(i386_end_return_from_signal):
 
 
 /*!	void i386_restore_frame_from_syscall(struct iframe iframe);
diff --git a/src/system/kernel/arch/x86/arch_x86.S b/src/system/kernel/arch/x86/arch_x86.S
index a20257c03c..6a1262945d 100644
--- a/src/system/kernel/arch/x86/arch_x86.S
+++ b/src/system/kernel/arch/x86/arch_x86.S
@@ -157,7 +157,7 @@ FUNCTION(x86_userspace_thread_exit):
 	int		$99
 	.align 4
 FUNCTION_END(x86_userspace_thread_exit)
-FUNCTION(x86_end_userspace_thread_exit):
+SYMBOL(x86_end_userspace_thread_exit):
 
 
 /* void x86_enter_userspace(addr_t entry, addr_t stackTop); */