Searched refs:upto (Results 1 – 3 of 3) sorted by relevance
457 kernel_startup_initialize_upto(startup_subsystem_id_t upto) in kernel_startup_initialize_upto() argument461 assert(startup_phase < upto); in kernel_startup_initialize_upto()463 while (cur < startup_entries_end && cur->subsystem <= upto) { in kernel_startup_initialize_upto()474 kernel_startup_log(upto); in kernel_startup_initialize_upto()477 upto >= STARTUP_SUB_KPRINTF) { in kernel_startup_initialize_upto()478 kprintf("%s: reached phase %d\n", __func__, upto); in kernel_startup_initialize_upto()480 startup_phase = upto; in kernel_startup_initialize_upto()
905 extern void kernel_startup_initialize_upto(startup_subsystem_id_t upto);
115 void *upto, in t_send() argument118 mach_msg_size_t size = (mach_msg_size_t)((char *)upto - (char *)msg); in t_send()136 void *upto, in t_send() argument140 mach_msg_size_t size = (mach_msg_size_t)((char *)upto - (char *)msg); in t_send()