L4Re - L4 Runtime Environment
ipc-invoke.h
1
9
/*
10
* (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
11
* Alexander Warg <warg@os.inf.tu-dresden.de>,
12
* Björn Döbel <doebel@os.inf.tu-dresden.de>
13
* economic rights: Technische Universität Dresden (Germany)
14
*
15
* This file is part of TUD:OS and distributed under the terms of the
16
* GNU General Public License 2.
17
* Please see the COPYING-GPL-2 file for details.
18
*
19
* As a special exception, you may use this file as part of a free software
20
* library without restriction. Specifically, if other files instantiate
21
* templates or use macros or inline functions from this file, or you compile
22
* this file and link it with other files to produce an executable, this
23
* file does not by itself cause the resulting executable to be covered by
24
* the GNU General Public License. This exception does not however
25
* invalidate any other reasons why the executable file might be covered by
26
* the GNU General Public License.
27
*/
28
29
#pragma once
30
31
/*
32
* Some words about the sysenter entry frame: Since the sysenter instruction
33
* automatically reloads the instruction pointer (eip) and the stack pointer
34
* (esp) after kernel entry, we have to save both registers preliminary to
35
* that instruction. We use ecx to store the user-level esp and save eip onto
36
* the stack. The ecx register contains the IPC timeout and has to be saved
37
* onto the stack, too. The ebp register is saved for compatibility reasons
38
* with the Hazelnut kernel. Both the esp and the ss register are also pushed
39
* onto the stack to be able to return using the "lret" instruction from the
40
* sysexit trampoline page if Small Address Spaces are enabled.
41
*/
42
43
#ifdef __PIC__
44
# define L4S_PIC_SAVE "push %%ebx; "
45
# define L4S_PIC_RESTORE "pop %%ebx; "
46
# define L4S_PIC_CLOBBER
47
# define L4S_PIC_SYSCALL , [func] "m" (__l4sys_invoke_indirect)
48
#if 1
49
50
#ifdef __PIC__
51
extern
void (*__l4sys_invoke_indirect)(void);
52
#endif
53
# define IPC_SYSENTER "# indirect sys invoke \n\t" \
54
"call *%[func] \n\t"
55
#else
56
# define L4S_PIC_SYSCALL
57
# define IPC_SYSENTER "call __l4sys_invoke_direct@plt \n\t"
58
#endif
59
# define IPC_SYSENTER_ASM call __l4sys_invoke_direct@plt
60
#else
61
65
#define IPC_SYSENTER "call __l4sys_invoke_direct \n\t"
66
70
#define IPC_SYSENTER_ASM call __l4sys_invoke_direct
71
75
# define L4S_PIC_SAVE
76
80
# define L4S_PIC_RESTORE
81
85
# define L4S_PIC_CLOBBER ,"ebx"
86
# define L4S_PIC_SYSCALL
87
88
#endif
89
93
#define L4_ENTER_KERNEL L4S_PIC_SAVE "push %%ebp; " \
94
IPC_SYSENTER \
95
" pop %%ebp; " L4S_PIC_RESTORE
96
x86
l4
sys
ipc-invoke.h
Generated on Sun Nov 25 2018 13:34:53 for L4Re - L4 Runtime Environment by
1.8.13