Searched refs:upto (Results 1 – 3 of 3) sorted by relevance
396 kernel_startup_initialize_upto(startup_subsystem_id_t upto) in kernel_startup_initialize_upto() argument400 assert(startup_phase < upto); in kernel_startup_initialize_upto()402 while (cur < startup_entries_end && cur->subsystem <= upto) { in kernel_startup_initialize_upto()413 kernel_startup_log(upto); in kernel_startup_initialize_upto()416 upto >= STARTUP_SUB_KPRINTF) { in kernel_startup_initialize_upto()417 kprintf("%s: reached phase %d\n", __func__, upto); in kernel_startup_initialize_upto()419 startup_phase = upto; in kernel_startup_initialize_upto()
807 extern void kernel_startup_initialize_upto(startup_subsystem_id_t upto);
116 void *upto, in t_send() argument119 mach_msg_size_t size = (mach_msg_size_t)((char *)upto - (char *)msg); in t_send()137 void *upto, in t_send() argument141 mach_msg_size_t size = (mach_msg_size_t)((char *)upto - (char *)msg); in t_send()