AD_FASTREBOOT
fcn = AD_FASTREBOOT;
if (halting == AD_FASTREBOOT) {
if (halting == AD_FASTREBOOT)
halting = AD_FASTREBOOT;
case AD_FASTREBOOT:
case AD_FASTREBOOT:
if (fcn == AD_FASTREBOOT) {
case AD_FASTREBOOT:
if (fcn == AD_FASTREBOOT) {
if (apic_enable_acpi && fcn != AD_POWEROFF && fcn != AD_FASTREBOOT)
if (fcn == AD_FASTREBOOT) {
(*psm_shutdownf)(A_SHUTDOWN, AD_FASTREBOOT);
if (fcn != AD_FASTREBOOT) {
if (fcn == AD_FASTREBOOT && !newkernel.fi_valid)
if (fcn == AD_FASTREBOOT) {
fcn = AD_FASTREBOOT;
if (fcn == AD_FASTREBOOT && !force_fastreboot) {
} else if (fcn != AD_FASTREBOOT)
if (fastreboot_capable && fcn == AD_FASTREBOOT &&
if (fastreboot_capable && fcn == AD_FASTREBOOT) {
if (fcn == AD_FASTREBOOT && !fastreboot_capable) {
if (fcn == AD_FASTREBOOT) {
case AD_FASTREBOOT:
if (fcn == AD_FASTREBOOT) {
case AD_FASTREBOOT: