monitor: handover of correct state for cap revocations

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

diff --git a/usr/monitor/capops/revoke.c b/usr/monitor/capops/revoke.c
index 7368f77..c6650a0 100644 (file)
--- a/usr/monitor/capops/revoke.c
+++ b/usr/monitor/capops/revoke.c
@@ -87,7 +87,7 @@ capops_revoke(struct domcapref cap,
 
     if (distcap_state_is_foreign(state)) {
         // need to retrieve ownership
-        capops_retrieve(rst->cap, revoke_retrieve__rx, st);
+        capops_retrieve(rst->cap, revoke_retrieve__rx, rst);
     }
     else {
         if (num_monitors_online() == 1) {