Johannes Schlatow 686b9d44f4 dde_bsd: use CACHED dma buffers
On x86, DMA buffers are actually always mapped as cached. We should
therefore actually ask for a cached buffer in order to avoid confusion.

genodelabs/genode#5000
2023-10-26 15:29:43 +02:00
..
2023-10-26 15:29:43 +02:00