3 * Copyright (C) 2000 David Welch <welch@cwcom.net>
5 * This program is free software; you can redistribute it and/or modify
6 * it under the terms of the GNU General Public License as published by
7 * the Free Software Foundation; either version 2 of the License, or
8 * (at your option) any later version.
10 * This program is distributed in the hope that it will be useful,
11 * but WITHOUT ANY WARRANTY; without even the implied warranty of
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 * GNU General Public License for more details.
15 * You should have received a copy of the GNU General Public License
16 * along with this program; if not, write to the Free Software
17 * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
20 * FILE: ntoskrnl/ke/i386/tskswitch.S
21 * PURPOSE: Microkernel thread support
22 * PROGRAMMER: David Welch (welch@cwcom.net)
27 /* INCLUDES ******************************************************************/
29 #include <internal/i386/segment.h>
30 #include <internal/ps.h>
31 #include <ddk/i386/tss.h>
33 /* FUNCTIONS ****************************************************************/
36 * FUNCTION: KeStackSwitchAndRet
37 * PURPOSE: Switch to a new stack and return from the first frame on
38 * the new stack which was assumed to a stdcall function with
39 * 8 bytes of arguments and which saved edi, esi and ebx.
41 .globl _KeStackSwitchAndRet@4
42 _KeStackSwitchAndRet@4:
59 .globl _KePushAndStackSwitchAndSysRet@8
60 _KePushAndStackSwitchAndSysRet@8:
72 movl %fs:KPCR_CURRENT_THREAD, %ebx
73 movl %esp, KTHREAD_CALLBACK_STACK(%ebx)
81 jmp KeReturnFromSystemCall