Searched refs:mountPointPath (Results 1 - 10 of 10) sorted by relevance
| /seL4-refos-master/projects/refos/impl/apps/file_server/src/ |
| H A D | state.c | 50 .mountPointPath = FILESERVER_MOUNTPOINT,
|
| /seL4-refos-master/apps/file_server/src/ |
| H A D | state.c | 50 .mountPointPath = FILESERVER_MOUNTPOINT,
|
| /seL4-refos-master/projects/refos/impl/apps/timer_server/src/ |
| H A D | state.c | 56 .mountPointPath = TIMESERV_MOUNTPOINT,
|
| /seL4-refos-master/apps/timer_server/src/ |
| H A D | state.c | 56 .mountPointPath = TIMESERV_MOUNTPOINT,
|
| /seL4-refos-master/libs/librefos/include/refos-util/ |
| H A D | serv_common.h | 88 char* mountPointPath; member in struct:srv_common_config
|
| /seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-util/ |
| H A D | serv_common.h | 88 char* mountPointPath; member in struct:srv_common_config
|
| /seL4-refos-master/libs/librefos/src/refos-util/ |
| H A D | serv_common.c | 175 if (config.mountPointPath != NULL) {
176 dprintf(" registering under the mountpoint [%s]...\n", config.mountPointPath);
177 error = nsv_register(config.nameServEP, config.mountPointPath, s->anonEP);
|
| /seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-util/ |
| H A D | serv_common.c | 175 if (config.mountPointPath != NULL) {
176 dprintf(" registering under the mountpoint [%s]...\n", config.mountPointPath);
177 error = nsv_register(config.nameServEP, config.mountPointPath, s->anonEP);
|
| /seL4-refos-master/projects/refos/impl/apps/console_server/src/ |
| H A D | state.c | 97 .mountPointPath = CONSERV_MOUNTPOINT,
|
| /seL4-refos-master/apps/console_server/src/ |
| H A D | state.c | 97 .mountPointPath = CONSERV_MOUNTPOINT,
|
Completed in 87 milliseconds