L4Re Operating System Framework
Interface and Usage Documentation
Loading...
Searching...
No Matches
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
49extern void (*__l4sys_invoke_indirect)(void);
50# define IPC_SYSENTER "# indirect sys invoke \n\t" \
51 "call *%[func] \n\t"
52# else
53# define L4S_PIC_SYSCALL
54# define IPC_SYSENTER "call __l4sys_invoke_direct@plt \n\t"
55# endif
56# define IPC_SYSENTER_ASM call __l4sys_invoke_direct@plt
57#else
62#define IPC_SYSENTER "call __l4sys_invoke_direct \n\t"
67#define IPC_SYSENTER_ASM call __l4sys_invoke_direct
72# define L4S_PIC_SAVE
77# define L4S_PIC_RESTORE
82# define L4S_PIC_CLOBBER ,"ebx"
83# define L4S_PIC_SYSCALL
84
85#endif
90#define L4_ENTER_KERNEL L4S_PIC_SAVE "push %%ebp; " \
91 IPC_SYSENTER \
92 " pop %%ebp; " L4S_PIC_RESTORE
93