|
|
1.1 ! root 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 [email protected] ! 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: * Author: David B. Golub, Carnegie Mellon University ! 28: * Date: 8/89 ! 29: * ! 30: * Initialize device service as part of kernel task. ! 31: */ ! 32: #include <ipc/ipc_port.h> ! 33: #include <ipc/ipc_space.h> ! 34: #include <kern/task.h> ! 35: ! 36: #include <device/device_types.h> ! 37: #include <device/device_port.h> ! 38: ! 39: ! 40: ! 41: extern void ds_init(); ! 42: extern void dev_lookup_init(); ! 43: extern void net_io_init(); ! 44: extern void device_pager_init(); ! 45: extern void chario_init(void); ! 46: #ifdef FIPC ! 47: extern void fipc_init(); ! 48: #endif ! 49: ! 50: extern void io_done_thread(); ! 51: extern void net_thread(); ! 52: ! 53: ipc_port_t master_device_port; ! 54: ! 55: void ! 56: device_service_create() ! 57: { ! 58: master_device_port = ipc_port_alloc_kernel(); ! 59: if (master_device_port == IP_NULL) ! 60: panic("can't allocate master device port"); ! 61: ! 62: ds_init(); ! 63: net_io_init(); ! 64: device_pager_init(); ! 65: #ifdef FIPC ! 66: fipc_init(); ! 67: #endif ! 68: ! 69: (void) kernel_thread(kernel_task, io_done_thread, 0); ! 70: (void) kernel_thread(kernel_task, net_thread, 0); ! 71: }
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.