From 66fedecf347ff1b9d7623fe94ba95449812e8463 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= <jws@sysret.de>
Date: Tue, 20 Dec 2022 17:35:47 +0000
Subject: [PATCH] libdrm/lima: handle unknown buffer ids gracefully

Issue #4760.
---
 repos/libports/src/lib/libdrm/ioctl_lima.cc | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/repos/libports/src/lib/libdrm/ioctl_lima.cc b/repos/libports/src/lib/libdrm/ioctl_lima.cc
index 269aeed035..628c913038 100644
--- a/repos/libports/src/lib/libdrm/ioctl_lima.cc
+++ b/repos/libports/src/lib/libdrm/ioctl_lima.cc
@@ -452,10 +452,12 @@ class Lima::Call
 			Buffer_id const id { .value = handle };
 
 			bool found = false;
-			_buffer_space.apply<Buffer>(id, [&] (Buffer &b) {
-				fn(b);
-				found = true;
-			});
+			try {
+				_buffer_space.apply<Buffer>(id, [&] (Buffer &b) {
+					fn(b);
+					found = true;
+				});
+			} catch (Genode::Id_space<Buffer>::Unknown_id) { }
 
 			return found;
 		}