Searched refs:nameserv (Results 1 - 12 of 12) sorted by relevance
| /seL4-refos-master/libs/librefos/include/refos-rpc/ |
| H A D | name_client_helper.h | 29 This file contains a simple layer of helper functions that make using the nameserv interface
50 @param nameserv The name server to resolve with.
56 nsv_resolve_segment(seL4_CPtr nameserv, char* path, int* resolvedBytes) argument
61 seL4_CPtr tcap = nsv_resolve_segment_internal(nameserv, path, &tempResolvedBytes, &errnoRetVal);
|
| /seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-rpc/ |
| H A D | name_client_helper.h | 29 This file contains a simple layer of helper functions that make using the nameserv interface
50 @param nameserv The name server to resolve with.
56 nsv_resolve_segment(seL4_CPtr nameserv, char* path, int* resolvedBytes) argument
61 seL4_CPtr tcap = nsv_resolve_segment_internal(nameserv, path, &tempResolvedBytes, &errnoRetVal);
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
| H A D | name_syscall.c | 15 #include <refos-util/nameserv.h>
|
| /seL4-refos-master/apps/process_server/src/dispatchers/ |
| H A D | name_syscall.c | 15 #include <refos-util/nameserv.h>
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/ |
| H A D | state.h | 30 #include <refos-util/nameserv.h>
|
| /seL4-refos-master/apps/process_server/src/ |
| H A D | state.h | 30 #include <refos-util/nameserv.h>
|
| /seL4-refos-master/libs/librefos/src/refos-util/ |
| H A D | nameserv.c | 13 #include <refos-util/nameserv.h>
30 /* Allocate the nameserv entry. */
|
| /seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-util/ |
| H A D | nameserv.c | 13 #include <refos-util/nameserv.h>
30 /* Allocate the nameserv entry. */
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/test/ |
| H A D | test.c | 22 #include <refos-util/nameserv.h>
218 test_start("nameserv lib");
|
| /seL4-refos-master/apps/process_server/src/test/ |
| H A D | test.c | 22 #include <refos-util/nameserv.h>
218 test_start("nameserv lib");
|
| /seL4-refos-master/projects/refos/design/ |
| H A D | protocol.tex | 32 S => R [ label = "nameserv\_session\_C.register(\"server\_name\", dataserv\_anon\_C)"];
60 C=>N [ label = "nameserv\_session\_C.resolve\_segment(\"dataserver\")"];
|
| H A D | interface.tex | 251 \item \pro{nameserv}{session}{register(name, \cp{dataserv}{anon})}
259 \item \pro{nameserv}{session}{unregister(name)}
266 \item\pro{nameserv}{session}{resolve\_segment(path)}
|
Completed in 36 milliseconds