2 * \brief Client handling internals for the process manager.
4 * Copyright (c) 2017, ETH Zurich.
7 * This file is distributed under the terms in the attached LICENSE file.
8 * If you do not find this file, copies can be found by writing to:
9 * ETH Zurich D-INFK, Universitaetstrasse 6, CH-8092 Zurich. Attn: Systems Group.
12 #ifndef PENDING_CLIENTS_H
13 #define PENDING_CLIENTS_H
15 #include <barrelfish/barrelfish.h>
16 #include <if/proc_mgmt_defs.h>
17 #include <if/spawn_defs.h>
21 #define HASH_INDEX_BUCKETS 6151
25 ClientType_SpawnWithCaps,
32 struct pending_spawn {
33 struct domain_cap_node *cap_node;
35 struct spawn_binding *b;
45 struct capref inheritcn_cap;
46 struct capref argcn_cap;
52 struct capref domain_cap;
53 struct domain_entry *entry;
55 struct spawn_binding *b;
59 struct capref dispframe;
62 struct pending_kill_cleanup {
63 struct capref domain_cap;
64 struct domain_entry *entry;
65 struct spawn_binding *b;
68 struct pending_client {
69 struct proc_mgmt_binding *b;
74 #endif // PENDING_CLIENTS_H