1 files changed, 5 insertions, 2 deletions
diff --git a/term/users.c b/term/users.c
index 31780aed..8849c4dc 100644
--- a/term/users.c
+++ b/term/users.c
@@ -816,7 +816,9 @@ trivfs_S_io_readable (struct trivfs_protid *cred,
 }
 
 error_t
-trivfs_S_io_revoke (struct trivfs_protid *cred)
+trivfs_S_io_revoke (struct trivfs_protid *cred,
+		    mach_port_t reply,
+		    mach_msg_type_name_t replytype)
 {
   struct stat st;
 
@@ -850,9 +852,10 @@ trivfs_S_io_revoke (struct trivfs_protid *cred)
 	}
     }
 
+  mutex_unlock (&global_lock);
+
   ports_bucket_iterate (term_bucket, iterator_function);
 
-  mutex_unlock (&global_lock);
   return 0;
 }