extern void bsd_scale_setup(int);
extern unsigned int semaphore_max;
extern void stackshot_init(void);
extern void bsd_scale_setup(int);
extern unsigned int semaphore_max;
extern void stackshot_init(void);
[STARTUP_SUB_CODESIGNING] = "codesigning",
[STARTUP_SUB_OSLOG] = "oslog",
[STARTUP_SUB_MACH_IPC] = "mach_ipc",
[STARTUP_SUB_CODESIGNING] = "codesigning",
[STARTUP_SUB_OSLOG] = "oslog",
[STARTUP_SUB_MACH_IPC] = "mach_ipc",
[STARTUP_SUB_EARLY_BOOT] = "early_boot",
/* LOCKDOWN is special and its value won't fit here. */
[STARTUP_SUB_EARLY_BOOT] = "early_boot",
/* LOCKDOWN is special and its value won't fit here. */
char trace_typefilter[256] = {};
PE_parse_boot_arg_str("trace_typefilter", trace_typefilter,
sizeof(trace_typefilter));
char trace_typefilter[256] = {};
PE_parse_boot_arg_str("trace_typefilter", trace_typefilter,
sizeof(trace_typefilter));
kdebug_init(new_nkdbufs, trace_typefilter,
(trace_wrap ? KDOPT_WRAPPING : 0) | KDOPT_ATBOOT);
kdebug_init(new_nkdbufs, trace_typefilter,
(trace_wrap ? KDOPT_WRAPPING : 0) | KDOPT_ATBOOT);