diff options
author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2011-05-08 22:59:24 +0200 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2011-05-08 22:59:24 +0200 |
commit | 93b17fcac3b1b178bc5a05f77d46c1efad3409d0 (patch) | |
tree | 846f713c36d6969506707e4669fcfce20b45bce0 /eth-filter.multi-thread | |
parent | d92111ff2c588e905630f61918c82f7da41e5777 (diff) |
Remove mig-generated files
Diffstat (limited to 'eth-filter.multi-thread')
-rw-r--r-- | eth-filter.multi-thread/device_reply_U.h | 133 |
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_) */ |