boolean_t,
struct boot_args *);
-#if NCOPY_WINDOWS > 0
-extern void cpu_userwindow_init(int);
-extern void cpu_physwindow_init(int);
-#endif
-
extern void machine_startup(void);
extern void get_root_device(void);
extern void interrupt_processor(
int cpu);
extern void mp_probe_cpus(void);
-extern void panic_io_port_read(void);
extern void remote_kdb(void);
extern void clear_kdb_intr(void);
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 mp_interrupt_watchdog(void);
+extern kern_return_t i386_slide_individual_kext(kernel_mach_header_t *mh, uintptr_t slide);
+
+extern kern_return_t i386_slide_kext_collection_mh_addrs(kernel_mach_header_t *mh, uintptr_t slide, bool adjust_mach_headers);
+
#endif /* _I386_MISC_PROTOS_H_ */