diff --git a/repos/dde_rump/src/lib/rump/dummies.cc b/repos/dde_rump/src/lib/rump/dummies.cc
index cd7a3e7f98..bcce8fa0f3 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 7376082803..9760dacba5 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);
+}