bug-hurd
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PATCH hurd-dde 1/7] Drop superfluous files


From: Justus Winter
Subject: [PATCH hurd-dde 1/7] Drop superfluous files
Date: Wed, 26 Nov 2014 15:22:30 +0100

* eth-multiplexer/device.h: Drop MIG-generated file.
* libmachdev/device.defs: Drop superfluous file.
---
 eth-multiplexer/device.h | 336 -----------------------------------------------
 libmachdev/device.defs   | 175 ------------------------
 2 files changed, 511 deletions(-)
 delete mode 100644 eth-multiplexer/device.h
 delete mode 100644 libmachdev/device.defs

diff --git a/eth-multiplexer/device.h b/eth-multiplexer/device.h
deleted file mode 100644
index db0798d..0000000
--- a/eth-multiplexer/device.h
+++ /dev/null
@@ -1,336 +0,0 @@
-#ifndef        _device_user_
-#define        _device_user_
-
-/* Module device */
-
-#include <mach/kern_return.h>
-#include <mach/port.h>
-#include <mach/message.h>
-
-#include <mach/std_types.h>
-#include <mach/mach_types.h>
-#include <device/device_types.h>
-#include <device/net_status.h>
-
-/* Routine device_open */
-#ifdef mig_external
-mig_external
-#else
-extern
-#endif
-kern_return_t device_open
-#if    defined(LINTLIBRARY)
-    (master_port, mode, name, device)
-       mach_port_t master_port;
-       dev_mode_t mode;
-       dev_name_t name;
-       mach_port_t *device;
-{ return device_open(master_port, mode, name, device); }
-#else
-(
-       mach_port_t master_port,
-       dev_mode_t mode,
-       dev_name_t name,
-       mach_port_t *device
-);
-#endif
-
-/* Routine device_close */
-#ifdef mig_external
-mig_external
-#else
-extern
-#endif
-kern_return_t device_close
-#if    defined(LINTLIBRARY)
-    (device)
-       mach_port_t device;
-{ return device_close(device); }
-#else
-(
-       mach_port_t device
-);
-#endif
-
-/* Routine device_write */
-#ifdef mig_external
-mig_external
-#else
-extern
-#endif
-kern_return_t device_write
-#if    defined(LINTLIBRARY)
-    (device, mode, recnum, data, dataCnt, bytes_written)
-       mach_port_t device;
-       dev_mode_t mode;
-       recnum_t recnum;
-       io_buf_ptr_t data;
-       mach_msg_type_number_t dataCnt;
-       int *bytes_written;
-{ return device_write(device, mode, recnum, data, dataCnt, bytes_written); }
-#else
-(
-       mach_port_t device,
-       dev_mode_t mode,
-       recnum_t recnum,
-       io_buf_ptr_t data,
-       mach_msg_type_number_t dataCnt,
-       int *bytes_written
-);
-#endif
-
-/* Routine device_write_inband */
-#ifdef mig_external
-mig_external
-#else
-extern
-#endif
-kern_return_t device_write_inband
-#if    defined(LINTLIBRARY)
-    (device, mode, recnum, data, dataCnt, bytes_written)
-       mach_port_t device;
-       dev_mode_t mode;
-       recnum_t recnum;
-       io_buf_ptr_inband_t data;
-       mach_msg_type_number_t dataCnt;
-       int *bytes_written;
-{ return device_write_inband(device, mode, recnum, data, dataCnt, 
bytes_written); }
-#else
-(
-       mach_port_t device,
-       dev_mode_t mode,
-       recnum_t recnum,
-       io_buf_ptr_inband_t data,
-       mach_msg_type_number_t dataCnt,
-       int *bytes_written
-);
-#endif
-
-/* Routine device_read */
-#ifdef mig_external
-mig_external
-#else
-extern
-#endif
-kern_return_t device_read
-#if    defined(LINTLIBRARY)
-    (device, mode, recnum, bytes_wanted, data, dataCnt)
-       mach_port_t device;
-       dev_mode_t mode;
-       recnum_t recnum;
-       int bytes_wanted;
-       io_buf_ptr_t *data;
-       mach_msg_type_number_t *dataCnt;
-{ return device_read(device, mode, recnum, bytes_wanted, data, dataCnt); }
-#else
-(
-       mach_port_t device,
-       dev_mode_t mode,
-       recnum_t recnum,
-       int bytes_wanted,
-       io_buf_ptr_t *data,
-       mach_msg_type_number_t *dataCnt
-);
-#endif
-
-/* Routine device_read_inband */
-#ifdef mig_external
-mig_external
-#else
-extern
-#endif
-kern_return_t device_read_inband
-#if    defined(LINTLIBRARY)
-    (device, mode, recnum, bytes_wanted, data, dataCnt)
-       mach_port_t device;
-       dev_mode_t mode;
-       recnum_t recnum;
-       int bytes_wanted;
-       io_buf_ptr_inband_t data;
-       mach_msg_type_number_t *dataCnt;
-{ return device_read_inband(device, mode, recnum, bytes_wanted, data, 
dataCnt); }
-#else
-(
-       mach_port_t device,
-       dev_mode_t mode,
-       recnum_t recnum,
-       int bytes_wanted,
-       io_buf_ptr_inband_t data,
-       mach_msg_type_number_t *dataCnt
-);
-#endif
-
-/* Routine xxx_device_set_status */
-#ifdef mig_external
-mig_external
-#else
-extern
-#endif
-kern_return_t xxx_device_set_status
-#if    defined(LINTLIBRARY)
-    (device, flavor, status, statusCnt)
-       mach_port_t device;
-       dev_flavor_t flavor;
-       dev_status_t status;
-       mach_msg_type_number_t statusCnt;
-{ return xxx_device_set_status(device, flavor, status, statusCnt); }
-#else
-(
-       mach_port_t device,
-       dev_flavor_t flavor,
-       dev_status_t status,
-       mach_msg_type_number_t statusCnt
-);
-#endif
-
-/* Routine xxx_device_get_status */
-#ifdef mig_external
-mig_external
-#else
-extern
-#endif
-kern_return_t xxx_device_get_status
-#if    defined(LINTLIBRARY)
-    (device, flavor, status, statusCnt)
-       mach_port_t device;
-       dev_flavor_t flavor;
-       dev_status_t status;
-       mach_msg_type_number_t *statusCnt;
-{ return xxx_device_get_status(device, flavor, status, statusCnt); }
-#else
-(
-       mach_port_t device,
-       dev_flavor_t flavor,
-       dev_status_t status,
-       mach_msg_type_number_t *statusCnt
-);
-#endif
-
-/* Routine xxx_device_set_filter */
-#ifdef mig_external
-mig_external
-#else
-extern
-#endif
-kern_return_t xxx_device_set_filter
-#if    defined(LINTLIBRARY)
-    (device, receive_port, receive_portPoly, priority, filter, filterCnt)
-       mach_port_t device;
-       mach_port_t receive_port;
-       mach_msg_type_name_t receive_portPoly;
-       int priority;
-       filter_array_t filter;
-       mach_msg_type_number_t filterCnt;
-{ return xxx_device_set_filter(device, receive_port, receive_portPoly, 
priority, filter, filterCnt); }
-#else
-(
-       mach_port_t device,
-       mach_port_t receive_port,
-       mach_msg_type_name_t receive_portPoly,
-       int priority,
-       filter_array_t filter,
-       mach_msg_type_number_t filterCnt
-);
-#endif
-
-/* Routine device_map */
-#ifdef mig_external
-mig_external
-#else
-extern
-#endif
-kern_return_t device_map
-#if    defined(LINTLIBRARY)
-    (device, prot, offset, size, pager, unmap)
-       mach_port_t device;
-       vm_prot_t prot;
-       vm_offset_t offset;
-       vm_size_t size;
-       mach_port_t *pager;
-       int unmap;
-{ return device_map(device, prot, offset, size, pager, unmap); }
-#else
-(
-       mach_port_t device,
-       vm_prot_t prot,
-       vm_offset_t offset,
-       vm_size_t size,
-       mach_port_t *pager,
-       int unmap
-);
-#endif
-
-/* Routine device_set_status */
-#ifdef mig_external
-mig_external
-#else
-extern
-#endif
-kern_return_t device_set_status
-#if    defined(LINTLIBRARY)
-    (device, flavor, status, statusCnt)
-       mach_port_t device;
-       dev_flavor_t flavor;
-       dev_status_t status;
-       mach_msg_type_number_t statusCnt;
-{ return device_set_status(device, flavor, status, statusCnt); }
-#else
-(
-       mach_port_t device,
-       dev_flavor_t flavor,
-       dev_status_t status,
-       mach_msg_type_number_t statusCnt
-);
-#endif
-
-/* Routine device_get_status */
-#ifdef mig_external
-mig_external
-#else
-extern
-#endif
-kern_return_t device_get_status
-#if    defined(LINTLIBRARY)
-    (device, flavor, status, statusCnt)
-       mach_port_t device;
-       dev_flavor_t flavor;
-       dev_status_t status;
-       mach_msg_type_number_t *statusCnt;
-{ return device_get_status(device, flavor, status, statusCnt); }
-#else
-(
-       mach_port_t device,
-       dev_flavor_t flavor,
-       dev_status_t status,
-       mach_msg_type_number_t *statusCnt
-);
-#endif
-
-/* Routine device_set_filter */
-#ifdef mig_external
-mig_external
-#else
-extern
-#endif
-kern_return_t device_set_filter
-#if    defined(LINTLIBRARY)
-    (device, receive_port, receive_portPoly, priority, filter, filterCnt)
-       mach_port_t device;
-       mach_port_t receive_port;
-       mach_msg_type_name_t receive_portPoly;
-       int priority;
-       filter_array_t filter;
-       mach_msg_type_number_t filterCnt;
-{ return device_set_filter(device, receive_port, receive_portPoly, priority, 
filter, filterCnt); }
-#else
-(
-       mach_port_t device,
-       mach_port_t receive_port,
-       mach_msg_type_name_t receive_portPoly,
-       int priority,
-       filter_array_t filter,
-       mach_msg_type_number_t filterCnt
-);
-#endif
-
-#endif /* not defined(_device_user_) */
diff --git a/libmachdev/device.defs b/libmachdev/device.defs
deleted file mode 100644
index 5c16a37..0000000
--- a/libmachdev/device.defs
+++ /dev/null
@@ -1,175 +0,0 @@
-/* 
- * Mach Operating System
- * Copyright (c) 1991,1990,1989 Carnegie Mellon University
- * All Rights Reserved.
- * 
- * Permission to use, copy, modify and distribute this software and its
- * documentation is hereby granted, provided that both the copyright
- * notice and this permission notice appear in all copies of the
- * software, derivative works or modified versions, and any portions
- * thereof, and that both notices appear in supporting documentation.
- * 
- * CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS "AS IS"
- * CONDITION.  CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND FOR
- * ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
- * 
- * Carnegie Mellon requests users of this software to return to
- * 
- *  Software Distribution Coordinator  or  Software.Distribution@CS.CMU.EDU
- *  School of Computer Science
- *  Carnegie Mellon University
- *  Pittsburgh PA 15213-3890
- * 
- * any improvements or extensions that they make and grant Carnegie Mellon
- * the rights to redistribute these changes.
- */
-/*
- * File:       device/device.defs
- * Author:     Douglas Orr
- *             Feb 10, 1988
- * Abstract:
- *     Mach device support.  Mach devices are accessed through
- *     block and character device interfaces to the kernel.
- */
-
-#ifdef MACH_KERNEL
-simport <kern/compat_xxx_defs.h>;      /* for obsolete routines */
-#endif
-
-subsystem
-#if    KERNEL_SERVER
-         KernelServer
-#endif
-                      device 2800;
-
-#include <mach/std_types.defs>
-#include <mach/mach_types.defs>
-#include <device/device_types.defs>
-
-serverprefix   ds_;
-
-type reply_port_t = MACH_MSG_TYPE_MAKE_SEND_ONCE | polymorphic
-       ctype: mach_port_t;
-
-routine device_open(
-               master_port     : mach_port_t;
-       sreplyport reply_port   : reply_port_t;
-               mode            : dev_mode_t;
-               name            : dev_name_t;
-       out     device          : device_t =
-                                       MACH_MSG_TYPE_PORT_SEND
-                                       ctype: mach_port_t
-#if    KERNEL_SERVER
-               outtran: mach_port_t convert_device_to_port(device_t)
-#else
-#ifdef DEVICE_OUTTRAN
-               outtran: DEVICE_OUTTRAN
-#endif
-#endif /* KERNEL_SERVER */
-       );
-
-routine device_close(
-               device          : device_t
-       );
-
-routine device_write(
-               device          : device_t;
-       sreplyport reply_port   : reply_port_t;
-       in      mode            : dev_mode_t;
-       in      recnum          : recnum_t;
-       in      data            : io_buf_ptr_t;
-       out     bytes_written   : int
-       );
-
-routine device_write_inband(
-               device          : device_t;
-       sreplyport reply_port   : reply_port_t;
-       in      mode            : dev_mode_t;
-       in      recnum          : recnum_t;
-       in      data            : io_buf_ptr_inband_t;
-       out     bytes_written   : int
-       );
-
-routine        device_read(
-               device          : device_t;
-       sreplyport reply_port   : reply_port_t;
-       in      mode            : dev_mode_t;
-       in      recnum          : recnum_t;
-       in      bytes_wanted    : int;
-       out     data            : io_buf_ptr_t
-       );
-
-routine        device_read_inband(
-               device          : device_t;
-       sreplyport reply_port   : reply_port_t;
-       in      mode            : dev_mode_t;
-       in      recnum          : recnum_t;
-       in      bytes_wanted    : int;
-       out     data            : io_buf_ptr_inband_t
-       );
-
-/* obsolete */
-routine        xxx_device_set_status(
-               device          : device_t;
-       in      flavor          : dev_flavor_t;
-       in      status          : dev_status_t, IsLong
-       );
-
-/* obsolete */
-routine        xxx_device_get_status(
-               device          : device_t;
-       in      flavor          : dev_flavor_t;
-       out     status          : dev_status_t, IsLong
-       );
-
-/* obsolete */
-routine xxx_device_set_filter(
-               device          : device_t;
-       in      receive_port    : mach_port_send_t;
-       in      priority        : int;
-       in      filter          : filter_array_t, IsLong
-       );
-
-routine device_map(
-               device          : device_t;
-       in      prot            : vm_prot_t;
-       in      offset          : vm_offset_t;
-       in      size            : vm_size_t;
-       out     pager           : memory_object_t;
-       in      unmap           : int
-       );
-
-routine        device_set_status(
-               device          : device_t;
-       in      flavor          : dev_flavor_t;
-       in      status          : dev_status_t
-       );
-
-routine        device_get_status(
-               device          : device_t;
-       in      flavor          : dev_flavor_t;
-       out     status          : dev_status_t, CountInOut
-       );
-
-routine device_set_filter(
-               device          : device_t;
-       in      receive_port    : mach_port_send_t;
-       in      priority        : int;
-       in      filter          : filter_array_t
-       );
-
-routine device_intr_register(
-               master_port     : mach_port_t;
-       in      line            : int;
-       in      id              : int;
-       in      flags           : int;
-       in      receive_port    : mach_port_send_t
-       );
-
-/*
- *     enable/disable the specified line.
- */
-routine device_intr_enable(
-               master_port     : mach_port_t;
-               line            : int;
-               status          : char);
-- 
2.1.3




reply via email to

[Prev in Thread] Current Thread [Next in Thread]