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, Haldeneggsteig 4, 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,
30 // TODO(razvan): Others?
33 struct pending_spawn {
34 struct capref domain_cap;
36 struct spawn_binding *b;
46 struct capref inheritcn_cap;
47 struct capref argcn_cap;
53 struct capref domain_cap;
54 struct domain_entry *entry;
56 struct spawn_binding *b;
60 struct capref dispframe;
63 struct pending_kill_cleanup {
64 struct capref domain_cap;
65 struct domain_entry *entry;
66 struct spawn_binding *b;
69 struct pending_client {
70 struct proc_mgmt_binding *b;
75 #endif // PENDING_CLIENTS_H