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 */
12 #include <sys/ptrace.h>
21 #include <minix/callnr.h>
22 #include <minix/config.h>
23 #include <minix/type.h>
24 #include <minix/const.h>
25 #include <minix/com.h>
26 #include <minix/syslib.h>
27 #include <minix/sysinfo.h>
28 #include <minix/sysutil.h>
29 #include <minix/bitmap.h>
31 #include <minix/dmap.h>
32 #include <minix/endpoint.h>
35 #include <minix/minlib.h>
36 #include <minix/sched.h>
37 #include <minix/priv.h>
39 #include <machine/archtypes.h>
40 #include <minix/timers.h> /* For priv.h */
41 #include "kernel/priv.h"
42 #include "kernel/ipc.h"
49 #include <sys/param.h>
56 EXTERN
int do_sef_lu_request(message
*m_ptr
);