+extern void bcopy_phys(addr64_t from, addr64_t to, vm_size_t nbytes);
+
+/* 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 *chudxnu_cpu_alloc(boolean_t is_boot_cpu);
+extern void chudxnu_cpu_free(void *);
+
+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_lapic_start_ticking(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 x86_lowmem_free(void);
+
+thread_t Switch_context(thread_t, thread_continue_t, thread_t);
+
+#endif /* _I386_MISC_PROTOS_H_ */