1 /*
2 * Mach Operating System
3 * Copyright (c) 1991,1990,1989 Carnegie Mellon University
4 * All Rights Reserved.
5 *
6 * Permission to use, copy, modify and distribute this software and its
7 * documentation is hereby granted, provided that both the copyright
8 * notice and this permission notice appear in all copies of the
9 * software, derivative works or modified versions, and any portions
10 * thereof, and that both notices appear in supporting documentation.
11 *
12 * CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS "AS IS"
13 * CONDITION. CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND FOR
14 * ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
15 *
16 * Carnegie Mellon requests users of this software to return to
17 *
18 * Software Distribution Coordinator or Software.Distribution@CS.CMU.EDU
19 * School of Computer Science
20 * Carnegie Mellon University
21 * Pittsburgh PA 15213-3890
22 *
23 * any improvements or extensions that they make and grant Carnegie Mellon
24 * the rights to redistribute these changes.
25 */
26 /*
27 * HISTORY
28 * $Log: device_types_kernel.h,v $
29 * Revision 2.6 91/06/25 10:26:46 rpd
30 * Changed the convert_foo_to_bar functions
31 * to use ipc_port_t instead of mach_port_t.
32 * [91/05/27 rpd]
33 *
34 * Revision 2.5 91/05/14 15:43:37 mrt
35 * Correcting copyright
36 *
37 * Revision 2.4 91/02/05 17:09:18 mrt
38 * Changed to new Mach copyright
39 * [91/01/31 17:28:48 mrt]
40 *
41 * Revision 2.3 90/06/02 14:47:56 rpd
42 * Converted to new IPC.
43 * [90/03/26 21:54:19 rpd]
44 *
45 * Revision 2.2 89/09/08 11:24:03 dbg
46 * Created.
47 * [89/08/01 dbg]
48 *
49 */
50 /*
51 * Author: David B. Golub, Carnegie Mellon University
52 * Date: 8/89
53 */
54
55 #ifndef _DEVICE_DEVICE_TYPES_KERNEL_H_
56 #define _DEVICE_DEVICE_TYPES_KERNEL_H_
57
58 /*
59 * Kernel-only type definitions for device server.
60 */
61
62 #include <mach/port.h>
63 #include <device/dev_hdr.h>
64
65 extern device_t dev_port_lookup(/* struct ipc_port * */);
66 extern struct ipc_port *convert_device_to_port(/* device_t */);
67
68 #endif _DEVICE_DEVICE_TYPES_KERNEL_H_
Cache object: 5583aae7ac4ccef5e80bad9109da9362
|