1 /* Header file for the system service manager server.
4 * Jul 22, 2005 by Jorrit N. Herder
7 #define _SYSTEM 1 /* get OK and negative error codes */
8 #define _MINIX 1 /* tell headers to include MINIX stuff */
10 #include <sys/types.h>
13 #include <sys/ptrace.h>
22 #include <minix/callnr.h>
23 #include <minix/config.h>
24 #include <minix/type.h>
25 #include <minix/const.h>
26 #include <minix/com.h>
27 #include <minix/syslib.h>
28 #include <minix/sysinfo.h>
29 #include <minix/sysutil.h>
30 #include <minix/keymap.h>
31 #include <minix/bitmap.h>
33 #include <minix/dmap.h>
34 #include <minix/endpoint.h>
37 #include <minix/minlib.h>
38 #include <minix/sched.h>
39 #include <minix/priv.h>
41 #include <machine/archtypes.h>
42 #include <timers.h> /* For priv.h */
43 #include "kernel/priv.h"
44 #include "kernel/ipc.h"
51 #include <sys/param.h>
58 EXTERN
int do_sef_lu_request(message
*m_ptr
);