CPU_BOOTED_DEVICE
CTL_MACHDEP, CPU_BOOTED_DEVICE, CTL_EOL);
CTL_MACHDEP, CPU_BOOTED_DEVICE, CTL_EOL);
case CPU_BOOTED_DEVICE:
CTL_MACHDEP, CPU_BOOTED_DEVICE, CTL_EOL);
case CPU_BOOTED_DEVICE:
CTL_MACHDEP, CPU_BOOTED_DEVICE, CTL_EOL);
CTL_MACHDEP, CPU_BOOTED_DEVICE, CTL_EOL);