1 |
/* stubs.h - L4 system call stubs for ia32. |
/* stubs.h - L4 system call stubs for ia32. |
2 |
Copyright (C) 2003 Free Software Foundation, Inc. |
Copyright (C) 2003, 2005 Free Software Foundation, Inc. |
3 |
Written by Marcus Brinkmann <marcus@gnu.org>. |
Written by Marcus Brinkmann <marcus@gnu.org>. |
4 |
|
|
5 |
This file is part of the GNU L4 library. |
This file is part of the GNU L4 library. |
36 |
__l4_syscall_stub_t __l4_space_control; |
__l4_syscall_stub_t __l4_space_control; |
37 |
__l4_syscall_stub_t __l4_processor_control; |
__l4_syscall_stub_t __l4_processor_control; |
38 |
__l4_syscall_stub_t __l4_memory_control; |
__l4_syscall_stub_t __l4_memory_control; |
39 |
|
__l4_syscall_stub_t __l4_set_gs0; |