Change 'exit' from RPC to message in if/proc_mgmt.if.
[barrelfish] / if / proc_mgmt.if
index 3309307..7c53aa3 100644 (file)
@@ -38,14 +38,9 @@ interface proc_mgmt "Process management service" {
   // Kill a domain for which the caller has a domain cap.
   rpc kill(in cap domain_cap, out errval err);
 
-  /*
-  // Span the caller to a new core.
-  rpc span(in cap domainid_cap,
-           in coreid core,
-           in cap vroot,
-           in cap disp_mem,
-           out errval err);
-  */
+  // Let the process manager know the caller has finished execution.
+  message exit(cap domain_cap, uint8 status);
+  //rpc exit(in cap domain_cap, in uint8 status);
 
-  // TODO(razvan): exit, wait, status, some other calls from spawn.if?
+  rpc wait(in cap domain_cap, out errval err, out uint8 status);
 };