/*
- * Copyright (c) 2000 Apple Computer, Inc. All rights reserved.
+ * Copyright (c) 2000-2004 Apple Computer, Inc. All rights reserved.
*
* @APPLE_LICENSE_HEADER_START@
*
#define IKOT_XMM_KERNEL 13
#define IKOT_XMM_REPLY 14
#define IKOT_UND_REPLY 15
-/* NOT DEFINED 16 */
+#define IKOT_HOST_NOTIFY 16
#define IKOT_HOST_SECURITY 17
#define IKOT_LEDGER 18
#define IKOT_MASTER_DEVICE 19
-#define IKOT_ACT 20
+/* (unused) 20 */
#define IKOT_SUBSYSTEM 21
#define IKOT_IO_DONE_QUEUE 22
#define IKOT_SEMAPHORE 23
* of entry lists for copyin of out of line memory.
*/
-/* Initialize kernel server dispatch table */
-extern void mig_init(void);
-
/* Dispatch a kernel server function */
extern ipc_kmsg_t ipc_kobject_server(
ipc_kmsg_t request);