From e2a0ccd8534e560b28fccd23ea1d29d609be5129 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Marcel=20L=C3=BCtke=20Dreimann?= Date: Wed, 4 Jan 2023 13:44:24 +0100 Subject: [PATCH] use dma free instead of ram free --- repos/dde_uos-intel-gpgpu/src/gpgpu/gpgpu_genode.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/dde_uos-intel-gpgpu/src/gpgpu/gpgpu_genode.cc b/repos/dde_uos-intel-gpgpu/src/gpgpu/gpgpu_genode.cc index dbebc1dbbd..2363805778 100644 --- a/repos/dde_uos-intel-gpgpu/src/gpgpu/gpgpu_genode.cc +++ b/repos/dde_uos-intel-gpgpu/src/gpgpu/gpgpu_genode.cc @@ -50,7 +50,7 @@ gpgpu_genode::~gpgpu_genode() { // release pci dev and free allocator memory pci.release_device(dev); - env.ram().free(ram_cap); + freeRamCap(ram_cap); } void* gpgpu_genode::aligned_alloc(uint32_t alignment, uint32_t size)