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

/seL4-refos-master/libs/librefos/src/refos-util/
H A Dserv_common.c58 dprintf("Adding new %s client cID = %d. Hi! (:D)\n", srv->config.serverName, c->cID);
126 dprintf("Disconnecting %s client cID = %d. Bye! (D:)\n", srv->config.serverName, c->cID);
138 dprintf("Initialising %s common server state...\n", config.serverName);
143 dprintf(" creating %s anon endpoint...\n", config.serverName);
146 ROS_ERROR("srv_common_init could not create endpoint for %s.", config.serverName);
151 dprintf(" creating %s async endpoint...\n", config.serverName);
186 dprintf(" initialising client table for %s...\n", config.serverName);
190 dprintf(" initialising client table default handlers for %s...\n", config.serverName);
200 dprintf(" initialising notification buffer for %s...\n", config.serverName);
222 dprintf(" initialising procserv param buffer for %s...\n", config.serverName);
[all...]
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-util/
H A Dserv_common.c58 dprintf("Adding new %s client cID = %d. Hi! (:D)\n", srv->config.serverName, c->cID);
126 dprintf("Disconnecting %s client cID = %d. Bye! (D:)\n", srv->config.serverName, c->cID);
138 dprintf("Initialising %s common server state...\n", config.serverName);
143 dprintf(" creating %s anon endpoint...\n", config.serverName);
146 ROS_ERROR("srv_common_init could not create endpoint for %s.", config.serverName);
151 dprintf(" creating %s async endpoint...\n", config.serverName);
186 dprintf(" initialising client table for %s...\n", config.serverName);
190 dprintf(" initialising client table default handlers for %s...\n", config.serverName);
200 dprintf(" initialising notification buffer for %s...\n", config.serverName);
222 dprintf(" initialising procserv param buffer for %s...\n", config.serverName);
[all...]
/seL4-refos-master/projects/refos/impl/apps/file_server/src/
H A Dstate.c49 .serverName = "fileserver",
/seL4-refos-master/apps/file_server/src/
H A Dstate.c49 .serverName = "fileserver",
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/
H A Dstate.c55 .serverName = "timeserver",
/seL4-refos-master/apps/timer_server/src/
H A Dstate.c55 .serverName = "timeserver",
/seL4-refos-master/libs/librefos/include/refos-util/
H A Dserv_common.h86 char* serverName; member in struct:srv_common_config
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-util/
H A Dserv_common.h86 char* serverName; member in struct:srv_common_config
/seL4-refos-master/projects/refos/impl/apps/console_server/src/
H A Dstate.c96 .serverName = "conserver",
/seL4-refos-master/apps/console_server/src/
H A Dstate.c96 .serverName = "conserver",

Completed in 34 milliseconds