CPU_BOOTED_KERNEL
#ifdef CPU_BOOTED_KERNEL
mib[1] = CPU_BOOTED_KERNEL;
#ifdef CPU_BOOTED_KERNEL
#ifdef CPU_BOOTED_KERNEL
#ifdef CPU_BOOTED_KERNEL
mib[1] = CPU_BOOTED_KERNEL;
CTL_MACHDEP, CPU_BOOTED_KERNEL, CTL_EOL);
CTL_MACHDEP, CPU_BOOTED_KERNEL, CTL_EOL);
case CPU_BOOTED_KERNEL:
CTL_MACHDEP, CPU_BOOTED_KERNEL, CTL_EOL);
CTL_MACHDEP, CPU_BOOTED_KERNEL, CTL_EOL);
CTL_MACHDEP, CPU_BOOTED_KERNEL, CTL_EOL);
case CPU_BOOTED_KERNEL:
CTL_MACHDEP, CPU_BOOTED_KERNEL, CTL_EOL);
case CPU_BOOTED_KERNEL:
CTL_MACHDEP, CPU_BOOTED_KERNEL, CTL_EOL);
CTL_MACHDEP, CPU_BOOTED_KERNEL, CTL_EOL);
CTL_MACHDEP, CPU_BOOTED_KERNEL, CTL_EOL);
CTL_MACHDEP, CPU_BOOTED_KERNEL, CTL_EOL);
CTL_MACHDEP, CPU_BOOTED_KERNEL, CTL_EOL);