X-Git-Url: http://git.barrelfish.org/?p=barrelfish;a=blobdiff_plain;f=if%2Fspawn.if;h=a5012555cc409d2eb26c7ff8e1b1e4648b1279ef;hp=eedfa28859a62d575c5f0235b3d6188b6a59b0fc;hb=1c3e8231d91b036121ee3dd81e3efa50edc96434;hpb=11268e99bb0c6fc4e2bddd3ba507519d0db55bec

diff --git a/if/spawn.if b/if/spawn.if
index eedfa28..a501255 100644
--- a/if/spawn.if
+++ b/if/spawn.if
@@ -27,6 +27,8 @@ 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,
                                     String path[2048],
@@ -35,11 +37,20 @@ 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 spawn_reply(cap domain_cap, errval err);
+    message cleanup_reply(cap domain_cap, errval err);
 
     rpc spawn_proc_mgmt_domain(in cap domain_cap,
                                in String path[2048],