Changes in kernel/arch/ia64/src/start.S [9d58539:27f67f5] in mainline

File:

• kernel/arch/ia64/src/start.S (modified) (4 diffs)

kernel/arch/ia64/src/start.S

@@ -27 +27 @@
 #
 
+#include <abi/asmtool.h>
 #include <arch/register.h>
 #include <arch/mm/page.h>
@@ -41 +42 @@
 .section K_TEXT_START, "ax"
 
-.global kernel_image_start
-
 stack0:
 
@@ -53 +52 @@
 #       r2      Address of the boot code's bootinfo structure.
 #
-kernel_image_start:
+SYMBOL(kernel_image_start)
         .auto
         
@@ -113 +112 @@
         rfi ;;
 
-.global paging_start
 paging_start: