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

/barrelfish-master/lib/octopus/server/
H A Dservice.c78 (*drt)->server_id = 0;
106 drs->server_id,
206 reply, drt->server_id, drt->error);
234 drs->server_id = install_trigger(b, ast, trigger, err);
251 reply, drt->server_id, drt->error);
287 drs->server_id = install_trigger(b, ast, t, err);
304 drs->server_id, drs->error);
335 drs->server_id = install_trigger(b, ast, trigger, err);
395 reply, drt->server_id, drt->error);
431 drs->server_id
753 uint64_t server_id; local
837 uint64_t server_id; local
[all...]
/barrelfish-master/include/octopus_server/
H A Dservice.h50 octopus_trigger_id_t server_id; member in struct:oct_reply_state
/barrelfish-master/usr/skb/octopus/
H A Dskb_query.c313 pword id_term = ec_long((long int) drs->server_id);
349 drs->server_id = *wid; // needed by store template!
434 err = find_free_id(subscriber_ids, &drs->server_id);
450 ec_long(drs->server_id));
457 bitfield_off(subscriber_ids, drs->server_id);

Completed in 44 milliseconds