Index: boot/arch/ppc32/src/asm.S
===================================================================
--- boot/arch/ppc32/src/asm.S	(revision e5ac413004102c0a635b2667e6cf301cf6ab1964)
+++ boot/arch/ppc32/src/asm.S	(revision 38ad239c4c325a86b9e2b838f284f775430e3d22)
@@ -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: