summaryrefslogtreecommitdiff
path: root/eth-filter.multi-thread
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2011-05-08 22:59:24 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2011-05-08 22:59:24 +0200
commit93b17fcac3b1b178bc5a05f77d46c1efad3409d0 (patch)
tree846f713c36d6969506707e4669fcfce20b45bce0 /eth-filter.multi-thread
parentd92111ff2c588e905630f61918c82f7da41e5777 (diff)
Remove mig-generated files
Diffstat (limited to 'eth-filter.multi-thread')
-rw-r--r--eth-filter.multi-thread/device_reply_U.h133
1 files changed, 0 insertions, 133 deletions
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_) */