From ba430dfeac2f669429bfdc3982cacdeea703f7e5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= <josef.soentgen@genode-labs.com>
Date: Mon, 27 Sep 2021 16:09:32 +0200
Subject: [PATCH] libdrm/iris: destroy Buffer_handle object

When the client frees the buffer, destroy the corresponding
Buffer_handle as well.

Fixes #4266.
---
 repos/libports/src/lib/libdrm/ioctl_iris.cc | 2 ++
 1 file changed, 2 insertions(+)

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