ACPICPU_FLAG_C
if ((sc->sc_flags & ACPICPU_FLAG_C) != 0)
if ((sc->sc_flags & ACPICPU_FLAG_C) == 0)
if ((sc->sc_flags & ACPICPU_FLAG_C) != 0)
if ((sc->sc_flags & ACPICPU_FLAG_C) != 0)
sc->sc_flags |= ACPICPU_FLAG_C;
if ((sc->sc_flags & ACPICPU_FLAG_C) == 0)
sc->sc_flags &= ~ACPICPU_FLAG_C;
KASSERT((sc->sc_flags & ACPICPU_FLAG_C) != 0);