From 0f4d525eda637df5b8581f01ddd417dde702d18c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= <josef.soentgen@genode-labs.com>
Date: Tue, 22 Apr 2014 16:02:00 +0200
Subject: [PATCH] dde_rump: implement rumpuser_dprintf()

Though we do not actually need this function, it is helpful while
debugging.

Fixes #1141.
---
 repos/dde_rump/src/lib/rump/dummies.cc |  1 -
 repos/dde_rump/src/lib/rump/io.cc      | 10 ++++++++++
 2 files changed, 10 insertions(+), 1 deletion(-)

diff --git a/repos/dde_rump/src/lib/rump/dummies.cc b/repos/dde_rump/src/lib/rump/dummies.cc
index cd7a3e7f9..bcce8fa0f 100644
--- a/repos/dde_rump/src/lib/rump/dummies.cc
+++ b/repos/dde_rump/src/lib/rump/dummies.cc
@@ -35,7 +35,6 @@ DUMMY(-1, rumpuser_anonmmap)
 DUMMY(-1, rumpuser_close)
 DUMMY(-1, rumpuser_daemonize_begin)
 DUMMY(-1, rumpuser_daemonize_done)
-DUMMY(-1, rumpuser_dprintf)
 DUMMY(-1, rumpuser_iovread)
 DUMMY(-1, rumpuser_iovwrite)
 DUMMY(-1, rumpuser_kill)
diff --git a/repos/dde_rump/src/lib/rump/io.cc b/repos/dde_rump/src/lib/rump/io.cc
index 737608280..9760dacba 100644
--- a/repos/dde_rump/src/lib/rump/io.cc
+++ b/repos/dde_rump/src/lib/rump/io.cc
@@ -340,3 +340,13 @@ void rump_io_backend_sync()
 	backend()->submit();
 }
 
+
+void rumpuser_dprintf(const char *fmt, ...)
+{
+	va_list list;
+	va_start(list, fmt);
+
+	Genode::vprintf(fmt, list);
+
+	va_end(list);
+}