From f07a4c844da9f0ecae5bbee1ab94be56505f26f7 Mon Sep 17 00:00:00 2001
From: Thomas Bushnell <thomas@gnu.org>
Date: Tue, 25 Feb 1997 21:28:37 +0000
Subject: Initial source
---
device/device_init.c | 73 ++++++++++++++++++++++++++++++++++++++++++++++++++++
1 file changed, 73 insertions(+)
create mode 100644 device/device_init.c
(limited to 'device/device_init.c')
diff --git a/device/device_init.c b/device/device_init.c
new file mode 100644
index 00000000..4eef63d6
--- /dev/null
+++ b/device/device_init.c
@@ -0,0 +1,73 @@
+/*
+ * 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.
+ */
+/*
+ * Author: David B. Golub, Carnegie Mellon University
+ * Date: 8/89
+ *
+ * Initialize device service as part of kernel task.
+ */
+#include <ipc/ipc_port.h>
+#include <ipc/ipc_space.h>
+#include <kern/task.h>
+
+#include <device/device_types.h>
+#include <device/device_port.h>
+
+
+
+extern void ds_init();
+extern void dev_lookup_init();
+extern void net_io_init();
+extern void device_pager_init();
+extern void chario_init(void);
+#ifdef FIPC
+extern void fipc_init();
+#endif
+
+extern void io_done_thread();
+extern void net_thread();
+
+ipc_port_t master_device_port;
+
+void
+device_service_create()
+{
+ master_device_port = ipc_port_alloc_kernel();
+ if (master_device_port == IP_NULL)
+ panic("can't allocate master device port");
+
+ ds_init();
+ dev_lookup_init();
+ net_io_init();
+ device_pager_init();
+ chario_init();
+#ifdef FIPC
+ fipc_init();
+#endif
+
+ (void) kernel_thread(kernel_task, io_done_thread, 0);
+ (void) kernel_thread(kernel_task, net_thread, 0);
+}
--
cgit v1.2.3