mii_locked
KASSERT(mii_locked(mii));
KASSERT(mii_locked(sc->mii_pdata));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(sc->mii_pdata));
KASSERT(mii_locked(sc->mii_pdata));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(sc->mii_pdata));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(sc->mii_pdata));
KASSERT(mii_locked(sc->mii_pdata));
KASSERT(mii_locked(sc->mii_pdata));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(sc->mii_pdata));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(sc->mii_pdata));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(sc->mii_pdata));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(sc->mii_pdata));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(sc->mii_pdata));
KASSERT(mii_locked(sc->mii_pdata));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(sc->mii_pdata));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(sc->mii_pdata));
KASSERT(mii_locked(sc->mii_pdata));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(sc->mii_pdata));
KASSERT(mii_locked(sc->mii_pdata));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(sc->mii_pdata));
KASSERT(mii_locked(sc->mii_pdata));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(sc->mii_pdata));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(sc->mii_pdata));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(sc->mii_pdata));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii) ||
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(ec->ec_mii) ||
KASSERT(mii_locked(ec->ec_mii) ||
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(sc->mii_pdata));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(sc->mii_pdata));
KASSERT(mii_locked(sc->mii_pdata));
KASSERT(mii_locked(sc->mii_pdata));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(sc->mii_pdata));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(sc->mii_pdata));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(sc->mii_pdata));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(sc->mii_pdata));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(sc->mii_pdata));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(sc->mii_pdata));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(sc->mii_pdata));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(sc->mii_pdata));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(mii));
KASSERT(mii_locked(ec->ec_mii));