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