From 93b17fcac3b1b178bc5a05f77d46c1efad3409d0 Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Sun, 8 May 2011 22:59:24 +0200
Subject: Remove mig-generated files

---
 eth-filter.multi-thread/device_reply_U.h | 133 -------------------------------
 1 file changed, 133 deletions(-)
 delete mode 100644 eth-filter.multi-thread/device_reply_U.h

(limited to 'eth-filter.multi-thread')

diff --git a/eth-filter.multi-thread/device_reply_U.h b/eth-filter.multi-thread/device_reply_U.h
deleted file mode 100644
index d70cd5b3..00000000
--- a/eth-filter.multi-thread/device_reply_U.h
+++ /dev/null
@@ -1,133 +0,0 @@
-#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_) */
-- 
cgit v1.2.3