/*
- * Copyright (c) 2000 Apple Computer, Inc. All rights reserved.
+ * Copyright (c) 2000-2007 Apple Computer, Inc. All rights reserved.
*
* @APPLE_OSREFERENCE_LICENSE_HEADER_START@
*
#include <kern/kern_types.h>
/* Initialize IPC host services */
-extern void ipc_host_init(void);
+extern void ipc_host_init(void) __attribute__((section("__TEXT, initcode")));
/* Initialize ipc access to processor by allocating a port */
extern void ipc_processor_init(
extern void ipc_pset_enable(
processor_set_t pset);
-/* Disable ipc access to a processor set */
-extern void ipc_pset_disable(
- processor_set_t pset);
-
-/* Deallocate the ipc control structures for a processor set */
-extern void ipc_pset_terminate(
- processor_set_t pset);
-
/* Initialize ipc control of a clock */
extern void ipc_clock_init(
clock_t clock);