-extern thread_t switch_to_shutdown_context(
- thread_t thread,
- void (*doshutdown)(processor_t),
- processor_t processor);
+extern kern_return_t cpu_start(
+ int slot_num);
+
+extern void cpu_exit_wait(
+ int slot_num);
+
+extern kern_return_t cpu_info(
+ processor_flavor_t flavor,
+ int slot_num,
+ processor_info_t info,
+ unsigned int *count);
+
+extern kern_return_t cpu_info_count(
+ processor_flavor_t flavor,
+ unsigned int *count);
+
+extern thread_t machine_processor_shutdown(
+ thread_t thread,
+ void (*doshutdown)(processor_t),
+ processor_t processor);
+
+extern void machine_idle(void);
+
+extern void machine_signal_idle(
+ processor_t processor);
+
+extern void halt_cpu(void);
+
+extern void halt_all_cpus(
+ boolean_t reboot);
+
+extern char *machine_boot_info(
+ char *buf,
+ vm_size_t buf_len);
+
+/*
+ * Machine-dependent routine to fill in an array with up to callstack_max
+ * levels of return pc information.
+ */
+extern void machine_callstack(
+ natural_t *buf,
+ vm_size_t callstack_max);