+/* Flush all cachelines for a page. */
+extern void cache_flush_page_phys(ppnum_t pa);
+
+/* Flushing for incoherent I/O */
+extern void dcache_incoherent_io_flush64(addr64_t pa, unsigned int count);
+extern void dcache_incoherent_io_store64(addr64_t pa, unsigned int count);
+
+
+extern processor_t cpu_processor_alloc(boolean_t is_boot_cpu);
+extern void cpu_processor_free(processor_t proc);
+
+extern void sysclk_gettime_interrupts_disabled(
+ mach_timespec_t *cur_time);
+
+extern void rtc_nanotime_init_commpage(void);
+
+extern void rtc_sleep_wakeup(uint64_t base);
+
+extern void rtc_timer_start(void);
+
+extern void rtc_clock_stepping(
+ uint32_t new_frequency,
+ uint32_t old_frequency);
+extern void rtc_clock_stepped(
+ uint32_t new_frequency,
+ uint32_t old_frequency);
+extern void rtc_clock_napped(uint64_t, uint64_t);
+extern void rtc_clock_adjust(uint64_t);
+
+extern void pmap_lowmem_finalize(void);
+
+thread_t Switch_context(thread_t, thread_continue_t, thread_t);
+thread_t Shutdown_context(thread_t thread, void (*doshutdown)(processor_t),processor_t processor);
+
+#ifdef __x86_64__
+uint64_t x86_64_pre_sleep(void);
+void x86_64_post_sleep(uint64_t new_cr3);
+#endif
+
+boolean_t
+debug_state_is_valid32(x86_debug_state32_t *ds);
+
+boolean_t
+debug_state_is_valid64(x86_debug_state64_t *ds);
+
+void
+copy_debug_state32(x86_debug_state32_t *src, x86_debug_state32_t *target, boolean_t all);
+
+void
+copy_debug_state64(x86_debug_state64_t *src, x86_debug_state64_t *target, boolean_t all);
+
+extern void act_machine_switch_pcb(thread_t old, thread_t new);
+
+/* Fast-restart parameters */
+#define FULL_SLAVE_INIT (NULL)
+#define FAST_SLAVE_INIT ((void *)(uintptr_t)1)
+
+void cpu_pmc_control(void *);
+
+extern void pstate_trace(void);
+
+extern void mp_interrupt_watchdog(void);