+extern int serverperfmode;
+
+/* size of kernel trace buffer, disabled by default */
+unsigned int new_nkdbufs = 0;
+unsigned int wake_nkdbufs = 0;
+unsigned int write_trace_on_panic = 0;
+unsigned int trace_typefilter = 0;
+boolean_t trace_serial = FALSE;
+
+/* mach leak logging */
+int log_leaks = 0;
+int turn_on_log_leaks = 0;
+
+static inline void
+kernel_bootstrap_log(const char *message)
+{
+// kprintf("kernel_bootstrap: %s\n", message);
+ kernel_debug_string_simple(message);
+}
+
+static inline void
+kernel_bootstrap_thread_log(const char *message)
+{
+// kprintf("kernel_bootstrap_thread: %s\n", message);
+ kernel_debug_string_simple(message);
+}
+
+void
+kernel_early_bootstrap(void)
+{
+ /* serverperfmode is needed by timer setup */
+ if (PE_parse_boot_argn("serverperfmode", &serverperfmode, sizeof (serverperfmode))) {
+ serverperfmode = 1;
+ }
+
+ lck_mod_init();
+
+ /*
+ * Initialize the timer callout world
+ */
+ timer_call_init();
+
+#if CONFIG_SCHED_SFI
+ /*
+ * Configure SFI classes
+ */
+ sfi_early_init();
+#endif
+}
+
+extern boolean_t IORamDiskBSDRoot(void);
+extern kern_return_t cpm_preallocate_early(void);
+