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

/barrelfish-2018-10-04/lib/dist/
H A Dbarrier.c31 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