remove duplicate headers, to be replaced by experimental.defs

1 files changed, 0 insertions, 166 deletions

diff --git a/libddekit/device.defs b/libddekit/device.defs
deleted file mode 100644
index 7c39f8a5..00000000
--- a/libddekit/device.defs
+++ /dev/null
@@ -1,166 +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
-	);
-
-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);