Index: boot/arch/mips32/src/asm.S
===================================================================
--- boot/arch/mips32/src/asm.S	(revision a52e2f4c4873ce4073f619369f5c66e583d9a895)
+++ boot/arch/mips32/src/asm.S	(revision 0407636ceda67e68eb4456da50da5790c6a50911)
@@ -27,4 +27,5 @@
 #
 
+#include <abi/asmtool.h>
 #include <arch/arch.h>
 #include <arch/regname.h>
@@ -34,11 +35,7 @@
 .set nomacro
 
-.global start
-.global halt
-.global jump_to_kernel
-
 .section BOOTSTRAP
 
-start:
+SYMBOL(start)
 	/*
 	 * Setup the CP0 configuration
@@ -145,9 +142,10 @@
 .text
 
-halt:
+FUNCTION_BEGIN(halt)
 	j halt
 	nop
+FUNCTION_END(halt)
 
-jump_to_kernel:
+FUNCTION_BEGIN(jump_to_kernel)
 	/*
 	 * TODO:
@@ -158,2 +156,3 @@
 	j $a0
 	nop
+FUNCTION_END(jump_to_kernel)