From 686b9d44f4a9ed386593a72d9727674eab027178 Mon Sep 17 00:00:00 2001 From: Johannes Schlatow Date: Thu, 5 Oct 2023 21:11:43 +0200 Subject: [PATCH] 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 --- repos/dde_bsd/src/lib/audio/pci.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/dde_bsd/src/lib/audio/pci.cc b/repos/dde_bsd/src/lib/audio/pci.cc index 075269e83d..64aedad005 100644 --- a/repos/dde_bsd/src/lib/audio/pci.cc +++ b/repos/dde_bsd/src/lib/audio/pci.cc @@ -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