void kernel_early_bootstrap(void) { lck_mod_init(); /* * Initialize the timer callout world */ timer_call_init(); }
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 }