Implement kill_request_handler in spawnd, using domain caps.

[barrelfish] / usr / spawnd / ps.h

diff --git a/usr/spawnd/ps.h b/usr/spawnd/ps.h
index f9473c5..5c22100 100644 (file)
--- a/usr/spawnd/ps.h
+++ b/usr/spawnd/ps.h
@@ -31,7 +31,12 @@ struct ps_entry {
     char *argv[MAX_CMDLINE_ARGS];
     char *argbuf;
     size_t argbytes;
+
+    domainid_t domain_id;
+
     struct capref domain_cap;
+    uint64_t domain_cap_hash;
+    
     struct capref rootcn_cap;
     struct capref dcb;
     struct cnoderef rootcn;
@@ -45,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