Sistema l'errore da me commesso in fase di conversione...
[bertos.git] / kern / switch_x86_64.s
old mode 100755 (executable)
new mode 100644 (file)
index 339c667..5fb4da6
 
 /*
  * $Log$
+ * Revision 1.4  2006/09/20 14:02:49  marco
+ * C-style comment.
+ *
+ * Revision 1.3  2006/02/24 01:35:40  bernie
+ * Update for new emulator.
+ *
  * Revision 1.2  2006/02/24 01:17:05  bernie
  * Update for new emulator.
  *
  */
 
 /* I know it's ugly... */
-#.intel_syntax
+/* .intel_syntax */
 
 /* void AsmSwitchContext(void **new_sp, void **save_sp) */
-/*                       %rdi           %rsi
-.globl AsmSwitchContext
-AsmSwitchContext:
+/*                       %rdi           %rsi            */
+.globl asm_switch_context
+asm_switch_context:
        pushq   %rax
        pushq   %rbx
        pushq   %rcx