Changes in kernel/arch/arm32/src/start.S [9d58539:73b3ecd] in mainline

File:

• kernel/arch/arm32/src/start.S (modified) (2 diffs)

kernel/arch/arm32/src/start.S

@@ -27 +27 @@
 #
 
+#include <abi/asmtool.h>
 #include <arch/asm/boot.h>
 
 .text
 
-.global kernel_image_start
-.global exc_stack
-.global supervisor_sp
-
-kernel_image_start:
-
+SYMBOL(kernel_image_start)
         # initialize Stack pointer for exception modes
         mrs r4, cpsr
@@ -83 +79 @@
 
         .space 1024
-exc_stack:
+SYMBOL(exc_stack)
 
-supervisor_sp:
+SYMBOL(supervisor_sp)
         .space 4