ACPICPU_FLAG_T_FADT
sc->sc_flags |= ACPICPU_FLAG_T_FADT;
if ((sc->sc_flags & ACPICPU_FLAG_T_FADT) != 0)