From f0e9881c7e8ac774eca95a45607539442b9d4132 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Wed, 7 Sep 2022 15:35:09 +0200
Subject: [PATCH] intel_fb: prevent compiler warning

---
 repos/pc/src/drivers/framebuffer/intel/pc/dummies.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/repos/pc/src/drivers/framebuffer/intel/pc/dummies.c b/repos/pc/src/drivers/framebuffer/intel/pc/dummies.c
index f888f8b94e..c3d5c16d12 100644
--- a/repos/pc/src/drivers/framebuffer/intel/pc/dummies.c
+++ b/repos/pc/src/drivers/framebuffer/intel/pc/dummies.c
@@ -545,4 +545,5 @@ u32 prandom_u32(void)
 int wbinvd_on_all_cpus(void)
 {
 	lx_emul_trace(__func__);
+	return 0;
 }