#include <minix/ipc.h> in <minix/sef.h>

diff --git a/include/minix/sef.h b/include/minix/sef.h
index e2fe145f3955903e171eeee7c562dddf358f7f53..59d12551d6ccf1cb0e432040845421b193663787 100644 (file)
--- a/include/minix/sef.h
+++ b/include/minix/sef.h
@@ -3,6 +3,8 @@
 #ifndef _SEF_H
 #define _SEF_H
 
+#include <minix.ipc.h>
+
 /* SEF entry points for system processes. */
 _PROTOTYPE( void sef_startup, (void) );
 _PROTOTYPE( int sef_receive, (endpoint_t src, message *m_ptr) );