Implement kill_request_handler in spawnd, using domain caps.
[barrelfish] / usr / spawnd / ps.h
index 3b9d173..5c22100 100644 (file)
@@ -31,7 +31,14 @@ struct ps_entry {
     char *argv[MAX_CMDLINE_ARGS];
     char *argbuf;
     size_t argbytes;
-    struct capref rootcn_cap, dcb;
+
+    domainid_t domain_id;
+
+    struct capref domain_cap;
+    uint64_t domain_cap_hash;
+    
+    struct capref rootcn_cap;
+    struct capref dcb;
     struct cnoderef rootcn;
     uint8_t exitcode;
     enum ps_status status;
@@ -43,4 +50,8 @@ void ps_remove(domainid_t domain_id);
 bool ps_exists(domainid_t domain_id);
 struct ps_entry *ps_get(domainid_t domain_id);
 
+errval_t ps_hash_domain(struct ps_entry *entry, struct capref domain_cap);
+errval_t ps_release_domain(struct capref domain_cap,
+                           struct ps_entry **ret_entry);
+
 #endif