monitor: bugfixes in the revocation protocol
[barrelfish] / usr / monitor / capops / internal.h
index cc01eb1..c8f44bd 100644 (file)
@@ -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)
@@ -97,7 +98,7 @@ void retrieve_result__rx(struct intermon_binding *b,
                          errval_t status, uint8_t relations,
                          genvaddr_t st);
 void retype_request__rx(struct intermon_binding *b, intermon_caprep_t srcrep,
-                        int desttype, uint32_t destbits, genvaddr_t st);
+                        uint32_t desttype, uint32_t destbits, genvaddr_t st);
 void retype_response__rx(struct intermon_binding *b, errval_t status,
                                  genvaddr_t st);
 void revoke_mark__rx(struct intermon_binding *b,
@@ -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