Change proc_mgmt/pending_clients.h to use reply queues instead of hashtables.
[barrelfish] / if / spawn.if
index a501255..0e51e96 100644 (file)
@@ -27,7 +27,6 @@ interface spawn "Interface to spawn domains" {
                           char argvbuf[argvbytes, 2048],
                           char envbuf[envbytes, 2048],
                           uint8 flags);
-    message spawn_reply(cap domain_cap, errval err);
 
     message spawn_with_caps_request(cap procmng_cap,
                                     cap domain_cap,
@@ -37,20 +36,15 @@ interface spawn "Interface to spawn domains" {
                                     cap inheritcn_cap,
                                     cap argcn_cap,
                                     uint8 flags);
-    message spawn_with_caps_reply(cap domain_cap, errval err);
 
     message span_request(cap procmng_cap, cap domain_cap, cap vroot,
                          cap dispframe);
-    message span_reply(cap domain_cap, errval err);
 
     message kill_request(cap procmng_cap, cap domain_cap);
-    message kill_reply(cap domain_cap, errval err);
-
-    message exit_request(cap procmng_cap, cap domain_cap);
-    message exit_reply(cap domain_cap, errval err);
 
     message cleanup_request(cap procmng_cap, cap domain_cap);
-    message cleanup_reply(cap domain_cap, errval err);
+    
+    message spawn_reply(errval err);
 
     rpc spawn_proc_mgmt_domain(in cap domain_cap,
                                in String path[2048],