Index: boot/arch/mips32/src/asm.S
===================================================================
--- boot/arch/mips32/src/asm.S	(revision 45f7449e0a82becbb9eb64d8afe4237b1bb85912)
+++ boot/arch/mips32/src/asm.S	(revision bc41f3a30573f904e3f810d583bba0b92e579543)
@@ -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)