1 files changed, 133 insertions, 0 deletions
diff --git a/boot-proxy-exc/device_reply_U.h b/boot-proxy-exc/device_reply_U.h
new file mode 100644
index 00000000..d70cd5b3
--- /dev/null
+++ b/boot-proxy-exc/device_reply_U.h
@@ -0,0 +1,133 @@
+#ifndef	_device_reply_user_
+#define	_device_reply_user_
+
+/* Module device_reply */
+
+#include <mach/kern_return.h>
+#include <mach/port.h>
+#include <mach/message.h>
+
+#include <mach/std_types.h>
+#include <device/device_types.h>
+#include <device/net_status.h>
+
+/* SimpleRoutine device_open_reply */
+#ifdef	mig_external
+mig_external
+#else
+extern
+#endif
+kern_return_t ds_device_open_reply
+#if	defined(LINTLIBRARY)
+    (reply_port, reply_portPoly, return_code, device_port)
+	mach_port_t reply_port;
+	mach_msg_type_name_t reply_portPoly;
+	kern_return_t return_code;
+	mach_port_t device_port;
+{ return ds_device_open_reply(reply_port, reply_portPoly, return_code, device_port); }
+#else
+(
+	mach_port_t reply_port,
+	mach_msg_type_name_t reply_portPoly,
+	kern_return_t return_code,
+	mach_port_t device_port
+);
+#endif
+
+/* SimpleRoutine device_write_reply */
+#ifdef	mig_external
+mig_external
+#else
+extern
+#endif
+kern_return_t ds_device_write_reply
+#if	defined(LINTLIBRARY)
+    (reply_port, reply_portPoly, return_code, bytes_written)
+	mach_port_t reply_port;
+	mach_msg_type_name_t reply_portPoly;
+	kern_return_t return_code;
+	int bytes_written;
+{ return ds_device_write_reply(reply_port, reply_portPoly, return_code, bytes_written); }
+#else
+(
+	mach_port_t reply_port,
+	mach_msg_type_name_t reply_portPoly,
+	kern_return_t return_code,
+	int bytes_written
+);
+#endif
+
+/* SimpleRoutine device_write_reply_inband */
+#ifdef	mig_external
+mig_external
+#else
+extern
+#endif
+kern_return_t ds_device_write_reply_inband
+#if	defined(LINTLIBRARY)
+    (reply_port, reply_portPoly, return_code, bytes_written)
+	mach_port_t reply_port;
+	mach_msg_type_name_t reply_portPoly;
+	kern_return_t return_code;
+	int bytes_written;
+{ return ds_device_write_reply_inband(reply_port, reply_portPoly, return_code, bytes_written); }
+#else
+(
+	mach_port_t reply_port,
+	mach_msg_type_name_t reply_portPoly,
+	kern_return_t return_code,
+	int bytes_written
+);
+#endif
+
+/* SimpleRoutine device_read_reply */
+#ifdef	mig_external
+mig_external
+#else
+extern
+#endif
+kern_return_t ds_device_read_reply
+#if	defined(LINTLIBRARY)
+    (reply_port, reply_portPoly, return_code, data, dataCnt)
+	mach_port_t reply_port;
+	mach_msg_type_name_t reply_portPoly;
+	kern_return_t return_code;
+	io_buf_ptr_t data;
+	mach_msg_type_number_t dataCnt;
+{ return ds_device_read_reply(reply_port, reply_portPoly, return_code, data, dataCnt); }
+#else
+(
+	mach_port_t reply_port,
+	mach_msg_type_name_t reply_portPoly,
+	kern_return_t return_code,
+	io_buf_ptr_t data,
+	mach_msg_type_number_t dataCnt
+);
+#endif
+
+/* SimpleRoutine device_read_reply_inband */
+#ifdef	mig_external
+mig_external
+#else
+extern
+#endif
+kern_return_t ds_device_read_reply_inband
+#if	defined(LINTLIBRARY)
+    (reply_port, reply_portPoly, return_code, data, dataCnt)
+	mach_port_t reply_port;
+	mach_msg_type_name_t reply_portPoly;
+	kern_return_t return_code;
+	io_buf_ptr_inband_t data;
+	mach_msg_type_number_t dataCnt;
+{ return ds_device_read_reply_inband(reply_port, reply_portPoly, return_code, data, dataCnt); }
+#else
+(
+	mach_port_t reply_port,
+	mach_msg_type_name_t reply_portPoly,
+	kern_return_t return_code,
+	io_buf_ptr_inband_t data,
+	mach_msg_type_number_t dataCnt
+);
+#endif
+
+#endif	/* not defined(_device_reply_user_) */