Searched refs:upto (Results 1 – 2 of 2) sorted by relevance
398 kernel_startup_initialize_upto(startup_subsystem_id_t upto) in kernel_startup_initialize_upto() argument402 assert(startup_phase < upto); in kernel_startup_initialize_upto()404 while (cur < startup_entries_end && cur->subsystem <= upto) { in kernel_startup_initialize_upto()415 kernel_startup_log(upto); in kernel_startup_initialize_upto()418 upto >= STARTUP_SUB_KPRINTF) { in kernel_startup_initialize_upto()419 kprintf("%s: reached phase %d\n", __func__, upto); in kernel_startup_initialize_upto()421 startup_phase = upto; in kernel_startup_initialize_upto()
727 extern void kernel_startup_initialize_upto(startup_subsystem_id_t upto);