Changes in kernel/arch/ia32/src/boot/boot.S [e3e4a2c:fb45c7b] 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.
  *
@@ -124 +125 @@
                 /* Map kernel and turn paging on */
                 pm_status $status_non_pse
-                call map_kernel
+                call map_kernel_non_pse
         
         stack_init:
@@ -195 +196 @@
  *
  */
-.global map_kernel
-map_kernel:
+map_kernel_non_pse:
         /* Paging features */
         movl %cr4, %ecx