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