Searched refs:ps_table (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/usr/spawnd/
H A Dps.c21 static collections_hash_table* ps_table = NULL; variable
64 if (ps_table == NULL) {
65 collections_hash_create_with_buckets(&ps_table, HASH_INDEX_BUCKETS,
67 if (ps_table == NULL) {
78 collections_hash_insert(ps_table, key, entry);
94 void *table_entry = collections_hash_find(ps_table, key);
118 collections_hash_delete(ps_table, key);

Completed in 26 milliseconds