From 1010267dee28fe5e3540cd1ef456387a90227cd9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= <josef.soentgen@genode-labs.com>
Date: Thu, 9 Jun 2022 10:52:59 +0200
Subject: [PATCH] gpu/intel: increase worst case CAP estimate

It may happen that 1 additional CAP is used during buffer allocation.

Fixes #4525.
---
 repos/os/src/drivers/gpu/intel/main.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/os/src/drivers/gpu/intel/main.cc b/repos/os/src/drivers/gpu/intel/main.cc
index aa44806104..793db9be0d 100644
--- a/repos/os/src/drivers/gpu/intel/main.cc
+++ b/repos/os/src/drivers/gpu/intel/main.cc
@@ -1516,7 +1516,7 @@ class Gpu::Session_component : public Genode::Session_object<Gpu::Session>
 			{ }
 
 			/* worst case */
-			bool avail_caps() { return _cap_quota_guard.have_avail(Cap_quota { 4 }); }
+			bool avail_caps() { return _cap_quota_guard.have_avail(Cap_quota { 5 }); }
 
 			/* size + possible heap allocations */
 			bool avail_ram(size_t size = 0) {