From 330b0a731c0c9d90f751b25e27cbea6223da26e9 Mon Sep 17 00:00:00 2001
From: Sebastian Sumpf <sebastian.sumpf@genode-labs.com>
Date: Mon, 10 Mar 2014 12:06:48 +0100
Subject: [PATCH] rump: Add panic message

---
 dde_rump/src/lib/rump/dummies.cc   |  1 -
 dde_rump/src/lib/rump/hypercall.cc | 14 ++++++++++++++
 2 files changed, 14 insertions(+), 1 deletion(-)

diff --git a/dde_rump/src/lib/rump/dummies.cc b/dde_rump/src/lib/rump/dummies.cc
index 953e13b4d..cd7a3e7f9 100644
--- a/dde_rump/src/lib/rump/dummies.cc
+++ b/dde_rump/src/lib/rump/dummies.cc
@@ -36,7 +36,6 @@ DUMMY(-1, rumpuser_close)
 DUMMY(-1, rumpuser_daemonize_begin)
 DUMMY(-1, rumpuser_daemonize_done)
 DUMMY(-1, rumpuser_dprintf)
-DUMMY(-1, rumpuser_exit)
 DUMMY(-1, rumpuser_iovread)
 DUMMY(-1, rumpuser_iovwrite)
 DUMMY(-1, rumpuser_kill)
diff --git a/dde_rump/src/lib/rump/hypercall.cc b/dde_rump/src/lib/rump/hypercall.cc
index 004212817..617ae9cba 100644
--- a/dde_rump/src/lib/rump/hypercall.cc
+++ b/dde_rump/src/lib/rump/hypercall.cc
@@ -291,3 +291,17 @@ int rumpuser_getrandom(void *buf, size_t buflen, int flags, size_t *retp)
 	return 0;
 }
 
+
+/**********
+ ** Exit **
+ **********/
+
+void genode_exit(int) __attribute__((noreturn));
+
+void rumpuser_exit(int status)
+{
+	if (status == RUMPUSER_PANIC)
+		PERR("Rump panic");
+
+	genode_exit(status);
+}