Index: kernel/arch/ia32/src/smp/ap.S
===================================================================
--- kernel/arch/ia32/src/smp/ap.S	(revision 1dc5eb7c05ae8c567fc34b39080622ff311a681e)
+++ kernel/arch/ia32/src/smp/ap.S	(revision d84398a712d42ccaa585aac0dacb41b9a0bd98d3)
@@ -32,4 +32,5 @@
  */
 
+#include <abi/asmtool.h>
 #include <arch/boot/boot.h>
 #include <arch/boot/memmap.h>
@@ -40,6 +41,4 @@
 
 #ifdef CONFIG_SMP
-
-.global unmapped_ap_boot
 
 KTEXT=8
@@ -53,5 +52,5 @@
 
 .align 4096
-unmapped_ap_boot:
+SYMBOL(unmapped_ap_boot)
 .code16
 	cli
@@ -99,7 +98,5 @@
 #ifdef CONFIG_SMP
 
-.global unmapped_ap_gdtr
-
-unmapped_ap_gdtr:
+SYMBOL(unmapped_ap_gdtr)
 	.word 0
 	.long 0