From 2a67e38d88888d2db09d94fb485996451bfa9679 Mon Sep 17 00:00:00 2001
From: Erik van der Kouwe <erik@minix3.org>
Date: Fri, 26 Feb 2010 10:12:54 +0000
Subject: [PATCH] #include <minix/ipc.h> in <minix/sef.h>

---
 include/minix/sef.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/include/minix/sef.h b/include/minix/sef.h
index e2fe145f3..59d12551d 100644
--- 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) );