use dma free instead of ram free

This commit is contained in:
Marcel Lütke Dreimann
2023-01-04 13:44:24 +01:00
parent cdc7558020
commit e2a0ccd853

View File

@@ -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)