monitor: bugfixes in the revocation protocol

[barrelfish] / usr / monitor / capops / internal.h

diff --git a/usr/monitor/capops/internal.h b/usr/monitor/capops/internal.h
index 6c8ebd7..c8f44bd 100644 (file)
--- a/usr/monitor/capops/internal.h
+++ b/usr/monitor/capops/internal.h
@@ -37,6 +37,7 @@ struct result_closure {
 
 #define GOTO_IF_ERR(err, label) do { \
     if (err_is_fail(err)) { \
+        DEBUG_ERR(err, "%s:%u -> goto err\n", __FUNCTION__, __LINE__); \
         goto label; \
     } \
 } while (0)
@@ -107,4 +108,6 @@ void revoke_ready__rx(struct intermon_binding *b, genvaddr_t st);
 void revoke_commit__rx(struct intermon_binding *b, genvaddr_t st);
 void revoke_done__rx(struct intermon_binding *b, genvaddr_t st);
 
+size_t num_monitors_online(void);
+
 #endif