Searched refs:upto (Results 1 – 3 of 3) sorted by relevance
454 kernel_startup_initialize_upto(startup_subsystem_id_t upto) in kernel_startup_initialize_upto() argument458 assert(startup_phase < upto); in kernel_startup_initialize_upto()460 while (cur < startup_entries_end && cur->subsystem <= upto) { in kernel_startup_initialize_upto()471 kernel_startup_log(upto); in kernel_startup_initialize_upto()474 upto >= STARTUP_SUB_KPRINTF) { in kernel_startup_initialize_upto()475 kprintf("%s: reached phase %d\n", __func__, upto); in kernel_startup_initialize_upto()477 startup_phase = upto; in kernel_startup_initialize_upto()
895 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()