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;
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