Searched refs:server_id (Results 1 - 3 of 3) sorted by relevance
/barrelfish-master/lib/octopus/server/ |
H A D | service.c | 78 (*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 D | service.h | 50 octopus_trigger_id_t server_id; member in struct:oct_reply_state
|
/barrelfish-master/usr/skb/octopus/ |
H A D | skb_query.c | 313 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