diff --git a/src/kernel/core/arch/x86/arch_x86.S b/src/kernel/core/arch/x86/arch_x86.S
index daa1297ec9..de0c795f78 100755
--- a/src/kernel/core/arch/x86/arch_x86.S
+++ b/src/kernel/core/arch/x86/arch_x86.S
@@ -237,7 +237,7 @@ done:
 	jmp		done
 
 
-FUNCTION(dbg_save_registers):
+FUNCTION(arch_dbg_save_registers):
 	pushl	%esi
 	pushl	%eax
 	movl	12(%esp), %esi