From 65d72fb07a23c384e9d772f99768ef0d1d5f4bd4 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Fri, 27 Sep 2019 12:08:17 +0200
Subject: [PATCH] drivers/gpu/intel: upgrade platform session on demand

---
 repos/os/src/drivers/gpu/intel/main.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/repos/os/src/drivers/gpu/intel/main.cc b/repos/os/src/drivers/gpu/intel/main.cc
index ed16e96ca..cbb82fd40 100644
--- a/repos/os/src/drivers/gpu/intel/main.cc
+++ b/repos/os/src/drivers/gpu/intel/main.cc
@@ -170,7 +170,8 @@ struct Igd::Device
 			 */
 			_pci.upgrade_ram(size);
 			try {
-				return _pci.alloc_dma_buffer(size);
+				return _pci.with_upgrade([&] () {
+					return _pci.alloc_dma_buffer(size); });
 			}
 			catch (Platform::Out_of_ram) {
 				throw Out_of_ram(); }