proc_mgmt: implementation spawn_wait() with nohang flag
[barrelfish] / if / proc_mgmt.if
index b8b5c9c..8024932 100644 (file)
@@ -9,6 +9,10 @@
 
 interface proc_mgmt "Process management service" {
   
+    typedef struct {
+        uint8 status;
+    } ps_entry;
+
   // Add a new spawnd to the process manager's list.
   message add_spawnd(coreid core, iref iref);
 
@@ -42,5 +46,12 @@ interface proc_mgmt "Process management service" {
   //message exit(cap domain_cap, uint8 status);
   rpc exit(in cap domain_cap, in uint8 status);
 
-  rpc wait(in cap domain_cap, out errval err, out uint8 status);
+  rpc wait(in cap domain_cap, in bool nohang, out errval err, out uint8 status);
+
+
+  rpc status(in domainid domain_id, out ps_entry ps_entry, out char argv[len, 2048],
+            out errval err);
+
+  // XXX: Should be domainid instead of uint8, but it's not yet supported
+  rpc get_domainlist(out uint8 domains[len, 2048]);
 };