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

File:

• kernel/arch/ia64/src/start.S (modified) (5 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:
         
@@ -160 +158 @@
         srlz.d ;;
         
-        br.call.sptk.many b0 = arch_pre_main
+        br.call.sptk.many b0 = ia64_pre_main
 0:
         br.call.sptk.many b0 = main_bsp