SPPP_WLOCKED
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));
KASSERT(SPPP_WLOCKED(sp));