Changes in kernel/arch/ia32/src/boot/boot.S [fb45c7b:e3e4a2c] in mainline

File:

• kernel/arch/ia32/src/boot/boot.S (modified) (3 diffs)

kernel/arch/ia32/src/boot/boot.S

@@ -2 +2 @@
  * Copyright (c) 2001 Jakub Jermar
  * Copyright (c) 2005 Martin Decky
- * Copyright (c) 2011 Martin Sucha
  * All rights reserved.
  *
@@ -125 +124 @@
                 /* Map kernel and turn paging on */
                 pm_status $status_non_pse
-                call map_kernel_non_pse
+                call map_kernel
         
         stack_init:
@@ -196 +195 @@
  *
  */
-map_kernel_non_pse:
+.global map_kernel
+map_kernel:
         /* Paging features */
         movl %cr4, %ecx