1 files changed, 124 insertions, 0 deletions
diff --git a/boot-proxy-exc/notify_S.h b/boot-proxy-exc/notify_S.h
new file mode 100644
index 00000000..ac3f4659
--- /dev/null
+++ b/boot-proxy-exc/notify_S.h
@@ -0,0 +1,124 @@
+#ifndef	_notify_server_
+#define	_notify_server_
+
+/* Module notify */
+
+#include <mach/kern_return.h>
+#include <mach/port.h>
+#include <mach/message.h>
+
+#include <mach/std_types.h>
+
+/* SimpleRoutine mach_notify_port_deleted */
+#ifdef	mig_external
+mig_external
+#else
+extern
+#endif
+kern_return_t do_mach_notify_port_deleted
+#if	defined(LINTLIBRARY)
+    (notify, name)
+	mach_port_t notify;
+	mach_port_t name;
+{ return do_mach_notify_port_deleted(notify, name); }
+#else
+(
+	mach_port_t notify,
+	mach_port_t name
+);
+#endif
+
+/* SimpleRoutine mach_notify_msg_accepted */
+#ifdef	mig_external
+mig_external
+#else
+extern
+#endif
+kern_return_t do_mach_notify_msg_accepted
+#if	defined(LINTLIBRARY)
+    (notify, name)
+	mach_port_t notify;
+	mach_port_t name;
+{ return do_mach_notify_msg_accepted(notify, name); }
+#else
+(
+	mach_port_t notify,
+	mach_port_t name
+);
+#endif
+
+/* SimpleRoutine mach_notify_port_destroyed */
+#ifdef	mig_external
+mig_external
+#else
+extern
+#endif
+kern_return_t do_mach_notify_port_destroyed
+#if	defined(LINTLIBRARY)
+    (notify, rights)
+	mach_port_t notify;
+	mach_port_t rights;
+{ return do_mach_notify_port_destroyed(notify, rights); }
+#else
+(
+	mach_port_t notify,
+	mach_port_t rights
+);
+#endif
+
+/* SimpleRoutine mach_notify_no_senders */
+#ifdef	mig_external
+mig_external
+#else
+extern
+#endif
+kern_return_t do_mach_notify_no_senders
+#if	defined(LINTLIBRARY)
+    (notify, mscount)
+	mach_port_t notify;
+	mach_port_mscount_t mscount;
+{ return do_mach_notify_no_senders(notify, mscount); }
+#else
+(
+	mach_port_t notify,
+	mach_port_mscount_t mscount
+);
+#endif
+
+/* SimpleRoutine mach_notify_send_once */
+#ifdef	mig_external
+mig_external
+#else
+extern
+#endif
+kern_return_t do_mach_notify_send_once
+#if	defined(LINTLIBRARY)
+    (notify)
+	mach_port_t notify;
+{ return do_mach_notify_send_once(notify); }
+#else
+(
+	mach_port_t notify
+);
+#endif
+
+/* SimpleRoutine mach_notify_dead_name */
+#ifdef	mig_external
+mig_external
+#else
+extern
+#endif
+kern_return_t do_mach_notify_dead_name
+#if	defined(LINTLIBRARY)
+    (notify, name)
+	mach_port_t notify;
+	mach_port_t name;
+{ return do_mach_notify_dead_name(notify, name); }
+#else
+(
+	mach_port_t notify,
+	mach_port_t name
+);
+#endif
+
+#endif	/* not defined(_notify_server_) */