Index: kernel/arch/ia32/src/debug/stacktrace_asm.S
===================================================================
--- kernel/arch/ia32/src/debug/stacktrace_asm.S	(revision dc0b96419120ee5e704d73292cca782d65f45781)
+++ kernel/arch/ia32/src/debug/stacktrace_asm.S	(revision 13dfa3f9eae98905dfc11390f35b47eb2559eeef)
@@ -27,14 +27,15 @@
 #
 
+#include <abi/asmtool.h>
+
 .text
 
-.global frame_pointer_get
-.global program_counter_get
-
-frame_pointer_get:
+FUNCTION_BEGIN(frame_pointer_get)
 	movl %ebp, %eax
 	ret
+FUNCTION_END(frame_pointer_get)
 
-program_counter_get:
+FUNCTION_BEGIN(program_counter_get)
 	movl (%esp), %eax
 	ret
+FUNCTION_END(program_counter_get)