Changes in kernel/arch/ia64/src/start.S [27f67f5:9d58539] 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>
@@ -42 +41 @@
 .section K_TEXT_START, "ax"
 
+.global kernel_image_start
+
 stack0:
 
@@ -52 +53 @@
 #       r2      Address of the boot code's bootinfo structure.
 #
-SYMBOL(kernel_image_start)
+kernel_image_start:
         .auto
         
@@ -112 +113 @@
         rfi ;;
 
+.global paging_start
 paging_start: