-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 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 *);
+
+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 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);