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;
 }