Index: boot/arch/ppc32/src/asm.S
===================================================================
--- boot/arch/ppc32/src/asm.S	(revision 0407636ceda67e68eb4456da50da5790c6a50911)
+++ boot/arch/ppc32/src/asm.S	(revision b66cc977e145eaa74a7e9fe52a4a2e995c81ad02)
@@ -27,4 +27,5 @@
 #
 
+#include <abi/asmtool.h>
 #include <arch/arch.h>
 #include <arch/regname.h>
@@ -104,12 +105,7 @@
 .endm
 
-.global start
-.global halt
-.global jump_to_kernel
-.global real_mode
-
 .section BOOTSTRAP, "ax"
 
-start:
+SYMBOL(start)
 	lis r4, ofw_cif@ha
 	addi r4, r4, ofw_cif@l
@@ -121,9 +117,9 @@
 .text
 
-halt:
+FUNCTION_BEGIN(halt)
 	b halt
-
-jump_to_kernel:
-	
+FUNCTION_END(halt)
+
+FUNCTION_BEGIN(jump_to_kernel)
 	# arguments:
 	# r3 = bootinfo (physical address)
@@ -153,9 +149,10 @@
 	isync
 	rfi
+FUNCTION_END(jump_to_kernel)
 
 .section REALMODE, "ax"
 
 .align PAGE_WIDTH
-real_mode:
+SYMBOL(real_mode)
 	
 	# arguments: