Searched refs:upto (Results 1 – 3 of 3) sorted by relevance
397 kernel_startup_initialize_upto(startup_subsystem_id_t upto) in kernel_startup_initialize_upto() argument401 assert(startup_phase < upto); in kernel_startup_initialize_upto()403 while (cur < startup_entries_end && cur->subsystem <= upto) { in kernel_startup_initialize_upto()414 kernel_startup_log(upto); in kernel_startup_initialize_upto()417 upto >= STARTUP_SUB_KPRINTF) { in kernel_startup_initialize_upto()418 kprintf("%s: reached phase %d\n", __func__, upto); in kernel_startup_initialize_upto()420 startup_phase = upto; in kernel_startup_initialize_upto()
808 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()