X-Git-Url: http://git.barrelfish.org/?p=barrelfish;a=blobdiff_plain;f=if%2Fspawn.if;h=0e51e96c8f26c204b4782de3802b6b92bcceef2e;hp=a5012555cc409d2eb26c7ff8e1b1e4648b1279ef;hb=649deefe6a34feabafeb322fc2e39015145eb030;hpb=2b03afffdd8ac2dee54c18fe51281df84dfa5b84 diff --git a/if/spawn.if b/if/spawn.if index a501255..0e51e96 100644 --- a/if/spawn.if +++ b/if/spawn.if @@ -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],