| /seL4-refos-master/libs/librefos/src/refos-util/ |
| H A D | nameserv.c | 20 nameserv_create_entry(const char* name, seL4_CPtr anonEP) argument
22 if (!name || !anonEP) {
48 entry->anonEP = anonEP;
62 n->free_capability(entry->anonEP);
89 nameserv_add(nameserv_state_t *n, const char* name, seL4_CPtr anonEP) argument
92 if (!name || !anonEP) {
96 nameserv_entry_t *nameEntry = nameserv_create_entry(name, anonEP);
192 (*outAnonCap) = nameEntry->anonEP;
|
| H A D | serv_common.c | 144 s->anonEP = proc_new_endpoint();
145 if (!s->anonEP) {
177 error = nsv_register(config.nameServEP, config.mountPointPath, s->anonEP);
188 config.clientMagic, s->anonEP);
|
| /seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-util/ |
| H A D | nameserv.c | 20 nameserv_create_entry(const char* name, seL4_CPtr anonEP) argument
22 if (!name || !anonEP) {
48 entry->anonEP = anonEP;
62 n->free_capability(entry->anonEP);
89 nameserv_add(nameserv_state_t *n, const char* name, seL4_CPtr anonEP) argument
92 if (!name || !anonEP) {
96 nameserv_entry_t *nameEntry = nameserv_create_entry(name, anonEP);
192 (*outAnonCap) = nameEntry->anonEP;
|
| H A D | serv_common.c | 144 s->anonEP = proc_new_endpoint();
145 if (!s->anonEP) {
177 error = nsv_register(config.nameServEP, config.mountPointPath, s->anonEP);
188 config.clientMagic, s->anonEP);
|
| /seL4-refos-master/libs/librefos/include/refos-util/ |
| H A D | nameserv.h | 46 seL4_CPtr anonEP; /* Has ownership. */ member in struct:nameserv_entry
72 @param anonEP The anonymous endpoint of given server.
75 int nameserv_add(nameserv_state_t *n, const char* name, seL4_CPtr anonEP);
|
| H A D | serv_common.h | 105 seL4_CPtr anonEP; member in struct:srv_common
|
| /seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-util/ |
| H A D | nameserv.h | 46 seL4_CPtr anonEP; /* Has ownership. */ member in struct:nameserv_entry
72 @param anonEP The anonymous endpoint of given server.
75 int nameserv_add(nameserv_state_t *n, const char* name, seL4_CPtr anonEP);
|
| H A D | serv_common.h | 105 seL4_CPtr anonEP; member in struct:srv_common
|
| /seL4-refos-master/projects/refos/impl/apps/console_server/src/ |
| H A D | state.c | 121 conServ.serialBadgeEP = srv_mint(CONSERV_DSPACE_BADGE_STDIO, conServCommon->anonEP);
123 conServ.screenBadgeEP = srv_mint(CONSERV_DSPACE_BADGE_SCREEN, conServCommon->anonEP);
|
| H A D | console_server.c | 115 msg.message = seL4_Recv(conServCommon->anonEP, &msg.badge);
|
| /seL4-refos-master/apps/console_server/src/ |
| H A D | state.c | 121 conServ.serialBadgeEP = srv_mint(CONSERV_DSPACE_BADGE_STDIO, conServCommon->anonEP);
123 conServ.screenBadgeEP = srv_mint(CONSERV_DSPACE_BADGE_SCREEN, conServCommon->anonEP);
|
| H A D | console_server.c | 115 msg.message = seL4_Recv(conServCommon->anonEP, &msg.badge);
|
| /seL4-refos-master/projects/refos/impl/apps/file_server/src/ |
| H A D | file_server.c | 120 msg.message = seL4_Recv(fileServCommon->anonEP, &msg.badge);
|
| H A D | dataspace.c | 78 REFOS_CSPACE, fileServCommon->anonEP, REFOS_CDEPTH,
|
| /seL4-refos-master/projects/refos/impl/apps/timer_server/src/ |
| H A D | state.c | 81 timeServ.timerBadgeEP = srv_mint(TIMESERV_DSPACE_BADGE_TIMER, timeServCommon->anonEP);
|
| H A D | timer_server.c | 106 msg.message = seL4_Recv(s->commonState.anonEP, &msg.badge);
|
| /seL4-refos-master/apps/file_server/src/ |
| H A D | file_server.c | 120 msg.message = seL4_Recv(fileServCommon->anonEP, &msg.badge);
|
| H A D | dataspace.c | 78 REFOS_CSPACE, fileServCommon->anonEP, REFOS_CDEPTH,
|
| /seL4-refos-master/apps/timer_server/src/ |
| H A D | state.c | 81 timeServ.timerBadgeEP = srv_mint(TIMESERV_DSPACE_BADGE_TIMER, timeServCommon->anonEP);
|
| H A D | timer_server.c | 106 msg.message = seL4_Recv(s->commonState.anonEP, &msg.badge);
|