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
This commit is contained in:
Johannes Schlatow 2023-10-05 21:11:43 +02:00 committed by Christian Helmuth
parent 0cf2b1be89
commit 686b9d44f4

View File

@ -46,7 +46,7 @@ class Pci_driver
Genode::Env & _env;
Platform::Connection _pci { _env };
Platform::Dma_buffer _buffer { _pci, DMA_SIZE, Genode::UNCACHED };
Platform::Dma_buffer _buffer { _pci, DMA_SIZE, Genode::CACHED };
Genode::Allocator_avl _alloc;
struct Device