#include <i386/thread.h>
extern void i386_preinit(void);
extern void i386_init(void);
extern void i386_vm_init(unsigned int, struct KernelBootArgs *);
extern void machine_startup(void);
extern void get_root_device(void);
extern void picinit(void);
extern void interrupt_processor(
int cpu);
extern void mp_probe_cpus(void);
extern void remote_kdb(void);
extern void clear_kdb_intr(void);
extern void draw_panic_dialog(void);
extern void cpu_init(void);
extern void cpu_shutdown(void);
extern void fix_desc(
void * desc,
int num_desc);
extern void cnpollc(
boolean_t on);
extern void form_pic_mask(void);
extern void intnull(
int unit);
extern char * i386_boot_info(
char *buf,
vm_size_t buf_len);
extern void blkclr(
const char *from,
int nbytes);
extern void kdb_kintr(void);
extern void kdb_console(void);
extern unsigned int div_scale(
unsigned int dividend,
unsigned int divisor,
unsigned int *scale);
extern unsigned int mul_scale(
unsigned int multiplicand,
unsigned int multiplier,
unsigned int *scale);
extern void bcopy_phys(addr64_t from, addr64_t to, vm_size_t nbytes);
extern void cache_flush_page_phys(ppnum_t pa);
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 rtclock_intr(struct i386_interrupt_state *regs);
extern void rtc_sleep_wakeup(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 x86_lowmem_free(void);