L4Re - L4 Runtime Environment
syscall-invoke.h
1
7
/*
8
* (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
9
* Alexander Warg <warg@os.inf.tu-dresden.de>,
10
* Frank Mehnert <fm3@os.inf.tu-dresden.de>
11
* economic rights: Technische Universität Dresden (Germany)
12
*
13
* This file is part of TUD:OS and distributed under the terms of the
14
* GNU General Public License 2.
15
* Please see the COPYING-GPL-2 file for details.
16
*
17
* As a special exception, you may use this file as part of a free software
18
* library without restriction. Specifically, if other files instantiate
19
* templates or use macros or inline functions from this file, or you compile
20
* this file and link it with other files to produce an executable, this
21
* file does not by itself cause the resulting executable to be covered by
22
* the GNU General Public License. This exception does not however
23
* invalidate any other reasons why the executable file might be covered by
24
* the GNU General Public License.
25
*/
26
#ifndef __L4_SYSCALL_INVOKE_H__
27
#define __L4_SYSCALL_INVOKE_H__
28
38
#define L4_ABS_syscall_page 0xeacff000
39
44
#define L4_ABS_invoke (0x000)
45
50
#define L4_ABS_debugger (0x200)
51
56
# define L4_SYSCALL_debugger "int $0x32 \n\t"
57
62
# define L4_SYSCALL(name) L4_SYSCALL_ ## name
63
65
#endif
x86
l4
sys
syscall-invoke.h
Generated on Sun Nov 25 2018 13:34:53 for L4Re - L4 Runtime Environment by
1.8.13