WDC_MAXDRIVES
KASSERT(wdc->wdc_maxdrives > 0 && wdc->wdc_maxdrives <= WDC_MAXDRIVES);
} dma_maps[WDC_MAXDRIVES];