Include kernel/priv.h for rs/manager.h

diff --git a/servers/is/dmp_rs.c b/servers/is/dmp_rs.c
index 5aa2010f305f57d334b52d67274cc998b3406394..beec021fa67ac9fac3c3b4e04e7b43daa7a7fb92 100644 (file)
--- a/servers/is/dmp_rs.c
+++ b/servers/is/dmp_rs.c
@@ -8,6 +8,8 @@
  */
 
 #include "inc.h"
+#include <timers.h>
+#include "../../kernel/priv.h"
 #include "../rs/manager.h"
 
 PUBLIC struct rproc rproc[NR_SYS_PROCS];