+/* boot memory allocation */
+extern vm_offset_t ml_static_malloc(
+ vm_size_t size);
+
+#endif /* PEXPERT_KERNEL_PRIVATE || MACH_KERNEL_PRIVATE */
+
+
+#ifdef MACH_KERNEL_PRIVATE
+extern void ml_init_interrupt(
+ void);
+
+extern void cacheInit(
+ void);
+
+extern void cacheDisable(
+ void);
+
+extern void ml_init_lock_timeout(
+ void);
+
+void ml_ppc_do_sleep(void);
+
+#endif /* MACH_KERNEL_PRIVATE */
+#endif /* XNU_KERNEL_PRIVATE */
+
+#ifdef KERNEL_PRIVATE
+extern void ml_thread_policy(
+ thread_t thread,
+ unsigned policy_id,
+ unsigned policy_info);
+
+#define MACHINE_GROUP 0x00000001
+#define MACHINE_NETWORK_GROUP 0x10000000
+#define MACHINE_NETWORK_WORKLOOP 0x00000001
+#define MACHINE_NETWORK_NETISR 0x00000002
+
+/* Initialize the maximum number of CPUs */
+extern void ml_init_max_cpus(
+ unsigned int max_cpus);
+
+/* Return the maximum number of CPUs set by ml_init_max_cpus() */
+extern unsigned int ml_get_max_cpus(
+ void);
+
+extern void ml_cpu_up(void);
+extern void ml_cpu_down(void);
+
+/* Struct for ml_cpu_get_info */
+struct ml_cpu_info {