SC_SWITCHPENDING
if (!(sc->sc_flags & SC_SWITCHPENDING)) {
sc->sc_flags &= ~SC_SWITCHPENDING;
sc->sc_flags &= ~SC_SWITCHPENDING;
if (!(sc->sc_flags & SC_SWITCHPENDING)) {
sc->sc_flags &= ~SC_SWITCHPENDING;
if (!(sc->sc_flags & SC_SWITCHPENDING)) {
sc->sc_flags &= ~SC_SWITCHPENDING;
sc->sc_flags &= ~SC_SWITCHPENDING;
if (sc->sc_flags & SC_SWITCHPENDING) {
sc->sc_flags |= SC_SWITCHPENDING;
KASSERT(sc->sc_flags & SC_SWITCHPENDING);
sc->sc_flags &= ~SC_SWITCHPENDING;
sc->sc_flags |= SC_SWITCHPENDING;
while (sc->sc_flags & SC_SWITCHPENDING)
sc->sc_flags &= ~SC_SWITCHPENDING;