#include <kern/ipc_tt.h>
#include <kern/ipc_mig.h>
+#include <kern/ipc_misc.h>
#include <kern/ipc_kobject.h>
#include <kern/host_notify.h>
#include <kern/mk_timer.h>
return TRUE;
}
#endif
+#if CONFIG_EMBEDDED
+ if (ip_kotype(port) == IKOT_FILEPORT) {
+ fileport_notify(request_header);
+ return TRUE;
+ }
+#endif
break;