/* XXX Need to update Bus DMA for partial map syncs */