diff --git a/repos/libports/src/lib/libdrm/ioctl_iris.cc b/repos/libports/src/lib/libdrm/ioctl_iris.cc index ef4ae5598a..5e0c791e96 100644 --- a/repos/libports/src/lib/libdrm/ioctl_iris.cc +++ b/repos/libports/src/lib/libdrm/ioctl_iris.cc @@ -315,6 +315,8 @@ class Drm_call bh.gpu_vaddr_valid = false; } _gpu_session.free_buffer(bh.cap); + + Genode::destroy(&_heap, &bh); }); if (!handled) {