Searched refs:serv_name (Results 1 - 1 of 1) sorted by relevance
/barrelfish-2018-10-04/lib/dist/ |
H A D | barrier.c | 31 char serv_name[name_len]; local 32 snprintf(serv_name, name_len, "%s.%d.%s", name, n, READY_SUFFIX); 33 err = nameservice_blocking_lookup(serv_name, NULL); 44 char serv_name[name_len]; local 46 snprintf(serv_name, name_len, "%s.%s", s1, s2); 47 err = nameservice_blocking_lookup(serv_name, NULL); 83 char serv_name[name_len]; local 84 snprintf(serv_name, name_len, "%s.%d.%s", name, n, READY_SUFFIX); 85 err = nameservice_register(serv_name, 0); 96 char serv_name[name_le local 114 char serv_name[name_len]; local 138 char serv_name[name_len]; local 160 char serv_name[name_len]; local [all...] |
Completed in 24 milliseconds