-extern void i386_init(vm_offset_t);
-extern void i386_macho_zerofill(void);
-extern void i386_vm_init(
- uint64_t maxmem,
- boolean_t IA32e,
- struct boot_args *args);
-extern void cpu_IA32e_enable(struct cpu_data *);
-extern void cpu_IA32e_disable(struct cpu_data *);
-extern void ml_load_desc64(void);
-extern void ml_64bit_wrmsr64(uint32_t msr, uint64_t value);
-extern void cpu_window_init(int);
-extern void ml_64bit_lldt(int);
-
-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 panic_io_port_read(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 fix_desc64(
- 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 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 boolean_t virtualized;
+
+extern void vstart(vm_offset_t);
+extern void i386_init(void);
+extern void x86_init_wrapper(uintptr_t, uintptr_t) __attribute__((noreturn));
+extern void i386_vm_init(
+ uint64_t,
+ 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 picinit(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 cpu_init(void);
+extern void fix_desc(
+ void * desc,
+ int num_desc);
+extern void fix_desc64(
+ 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 memset_word(
+ int *dst,
+ int pattern,
+ int nwords);
+