| /seL4-refos-master/libs/librefos/include/refos-util/ |
| H A D | serv_connect.h | 60 int maxClients; member in struct:srv_client_table
66 void client_table_init(struct srv_client_table *ct, int maxClients, int badgeBase, uint32_t magic,
|
| H A D | serv_common.h | 76 int maxClients; member in struct:srv_common_config
|
| /seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-util/ |
| H A D | serv_connect.h | 60 int maxClients; member in struct:srv_client_table
66 void client_table_init(struct srv_client_table *ct, int maxClients, int badgeBase, uint32_t magic,
|
| H A D | serv_common.h | 76 int maxClients; member in struct:srv_common_config
|
| /seL4-refos-master/libs/librefos/src/refos-util/ |
| H A D | serv_connect.c | 105 client_table_init(struct srv_client_table *ct, int maxClients, int badgeBase, uint32_t magic, argument
109 ct->maxClients = maxClients;
120 coat_init(&ct->allocTable, 1, ct->maxClients);
172 if (id < 0 || id >= ct->maxClients) {
188 if (badge < ct->badgeBase || badge >= ct->badgeBase + ct->maxClients) {
216 for (int i = 0; i < ct->maxClients; i++) {
|
| H A D | serv_common.c | 185 if (config.maxClients > 0) {
187 client_table_init(&s->clientTable, config.maxClients, config.clientBadgeBase,
|
| /seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-util/ |
| H A D | serv_connect.c | 105 client_table_init(struct srv_client_table *ct, int maxClients, int badgeBase, uint32_t magic, argument
109 ct->maxClients = maxClients;
120 coat_init(&ct->allocTable, 1, ct->maxClients);
172 if (id < 0 || id >= ct->maxClients) {
188 if (badge < ct->badgeBase || badge >= ct->badgeBase + ct->maxClients) {
216 for (int i = 0; i < ct->maxClients; i++) {
|
| H A D | serv_common.c | 185 if (config.maxClients > 0) {
187 client_table_init(&s->clientTable, config.maxClients, config.clientBadgeBase,
|
| /seL4-refos-master/projects/refos/impl/apps/file_server/src/ |
| H A D | state.c | 44 .maxClients = SRV_DEFAULT_MAX_CLIENTS,
|
| /seL4-refos-master/apps/file_server/src/ |
| H A D | state.c | 44 .maxClients = SRV_DEFAULT_MAX_CLIENTS,
|
| /seL4-refos-master/projects/refos/impl/apps/timer_server/src/ |
| H A D | state.c | 50 .maxClients = SRV_DEFAULT_MAX_CLIENTS,
|
| /seL4-refos-master/apps/timer_server/src/ |
| H A D | state.c | 50 .maxClients = SRV_DEFAULT_MAX_CLIENTS,
|
| /seL4-refos-master/projects/refos/impl/apps/console_server/src/ |
| H A D | state.c | 91 .maxClients = SRV_DEFAULT_MAX_CLIENTS,
|
| /seL4-refos-master/apps/console_server/src/ |
| H A D | state.c | 91 .maxClients = SRV_DEFAULT_MAX_CLIENTS,
|