kmsan_dma_sync
kmsan_dma_sync(p, o, l, ops);
void kmsan_dma_sync(bus_dmamap_t, bus_addr_t, bus_size_t, int);