Xenomai API  2.6.3
syscall.h
1 /*
2  * Copyright (C) 2005 Jan Kiszka <jan.kiszka@web.de>.
3  * Copyright (C) 2005 Joerg Langenberg <joerg.langenberg@gmx.net>.
4  *
5  * Xenomai is free software; you can redistribute it and/or modify it
6  * 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.
9  *
10  * Xenomai is distributed in the hope that it will be useful, but
11  * WITHOUT ANY WARRANTY; without even the implied warranty of
12  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13  * General Public License for more details.
14  *
15  * You should have received a copy of the GNU General Public License
16  * along with Xenomai; if not, write to the Free Software Foundation,
17  * Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
18  */
19 
20 #ifndef _RTDM_SYSCALL_H
21 #define _RTDM_SYSCALL_H
22 
23 #ifndef __XENO_SIM__
24 #include <asm/xenomai/syscall.h>
25 #endif /* __XENO_SIM__ */
26 
27 #define RTDM_SKIN_MAGIC 0x5254444D
28 
29 #define __rtdm_fdcount 0
30 #define __rtdm_open 1
31 #define __rtdm_socket 2
32 #define __rtdm_close 3
33 #define __rtdm_ioctl 4
34 #define __rtdm_read 5
35 #define __rtdm_write 6
36 #define __rtdm_recvmsg 7
37 #define __rtdm_sendmsg 8
38 
39 #ifdef __KERNEL__
40 
41 #ifdef __cplusplus
42 extern "C" {
43 #endif
44 
45 extern int __rtdm_muxid;
46 
47 int __init rtdm_syscall_init(void);
48 
49 #ifdef CONFIG_XENO_OPT_PERVASIVE
50 static inline void rtdm_syscall_cleanup(void)
51 {
52  xnshadow_unregister_interface(__rtdm_muxid);
53 }
54 #endif
55 
56 #ifdef __cplusplus
57 }
58 #endif
59 
60 #endif /* __KERNEL__ */
61 
62 #endif /* _RTDM_SYSCALL_H */