Add spawn, spawn_with_caps and span calls to the Process Manager API.
[barrelfish] / usr / spawnd / ps.h
index 3b9d173..f9473c5 100644 (file)
@@ -31,7 +31,9 @@ struct ps_entry {
     char *argv[MAX_CMDLINE_ARGS];
     char *argbuf;
     size_t argbytes;
-    struct capref rootcn_cap, dcb;
+    struct capref domain_cap;
+    struct capref rootcn_cap;
+    struct capref dcb;
     struct cnoderef rootcn;
     uint8_t exitcode;
     enum ps_status status;