WDSC_DMA_MAPLOADED
KASSERT((wsc->sc_flags & WDSC_DMA_MAPLOADED) == 0);
wsc->sc_flags |= WDSC_DMA_MAPLOADED;
KASSERT((wsc->sc_flags & WDSC_DMA_MAPLOADED));
if (wsc->sc_flags & WDSC_DMA_MAPLOADED)
wsc->sc_flags &= ~(WDSC_DMA_ACTIVE | WDSC_DMA_MAPLOADED);
KASSERT((osc->sc_flags & WDSC_DMA_MAPLOADED) == 0);
osc->sc_flags |= WDSC_DMA_MAPLOADED;
KASSERT((osc->sc_flags & WDSC_DMA_MAPLOADED));
if (osc->sc_flags & WDSC_DMA_MAPLOADED)
osc->sc_flags &= ~(WDSC_DMA_ACTIVE | WDSC_DMA_MAPLOADED);