--- /dev/null
+/*!
+ * \file
+ * <!--
+ * Copyright 2004 Develer S.r.l. (http://www.develer.com/)
+ * Copyright 1999,2000,2001 Bernardo Innocenti <bernie@develer.com>
+ * This file is part of DevLib - See devlib/README for information.
+ * -->
+ *
+ * \brief i386 context switch
+ *
+ * \version $Id$
+ *
+ * \author Bernardo Innocenti <bernie@develer.com>
+ */
+
+/*
+ * $Log$
+ * Revision 1.1 2005/11/27 03:06:15 bernie
+ * Add x86_64 task switching (to be updated to new-style scheduler).
+ *
+ * Revision 1.1 2005/11/14 21:06:38 bernie
+ * Add x86_64 support.
+ *
+ * Revision 1.2 2004/06/06 16:14:12 bernie
+ * Add DevLib license information.
+ *
+ * Revision 1.1 2004/05/23 17:27:00 bernie
+ * Import kern/ subdirectory.
+ *
+ */
+
+!!!!!! THIS FILE HAS NOT BEEN REVISED FOR THE NEW SCHEDULER API !!!!!!
+
+/* I know it's ugly... */
+#.intel_syntax
+
+/* void AsmSwitchContext(void * new_sp, void ** save_sp) */
+.globl AsmSwitchContext
+AsmSwitchContext:
+ pushq %rax
+ pushq %rbx
+ pushq %rcx
+ pushq %rdx
+ pushq %rsi
+ pushq %rdi
+ pushq %rbp
+ movq %rsp,(%rsi) /* *save_sp = rsp */
+ movq %rdi,%rsp /* rsp = new_sp */
+ popq %rbp
+ popq %rdi
+ popq %rsi
+ popq %rdx
+ popq %rcx
+ popq %rbx
+ popq %rax
+ ret
+
+/* void AsmReplaceContext(void * new_sp, void ** dummy) */
+.globl AsmReplaceContext
+AsmReplaceContext:
+ movq %rdi,%rsp /* rsp = new_sp */
+ popq %rbp
+ popq %rdi
+ popq %rsi
+ popq %rdx
+ popq %rcx
+ popq %rbx
+ popq %rax
+ ret
+