Searched refs:filePath (Results 1 - 6 of 6) sorted by relevance
| /seL4-refos-master/libs/librefossys/include/refos-io/ |
| H A D | filetable.h | 34 int filetable_dspace_open(fd_table_t *fdt, char* filePath, int flags, int mode, int size);
|
| /seL4-refos-master/projects/refos/impl/libs/librefossys/include/refos-io/ |
| H A D | filetable.h | 34 int filetable_dspace_open(fd_table_t *fdt, char* filePath, int flags, int mode, int size);
|
| /seL4-refos-master/projects/refos/impl/apps/selfloader/src/ |
| H A D | selfloader.c | 494 char *filePath = refos_static_param(); local
495 if (!filePath || strlen(filePath) == 0) {
501 dprintf(" Connect to the server for [%s]\n", filePath);
502 selfloaderState.fileservConnection = serv_connect(filePath);
509 dprintf(" Mapping the ELF header for reading... [%s]\n", filePath);
|
| /seL4-refos-master/apps/selfloader/src/ |
| H A D | selfloader.c | 494 char *filePath = refos_static_param(); local
495 if (!filePath || strlen(filePath) == 0) {
501 dprintf(" Connect to the server for [%s]\n", filePath);
502 selfloaderState.fileservConnection = serv_connect(filePath);
509 dprintf(" Mapping the ELF header for reading... [%s]\n", filePath);
|
| /seL4-refos-master/libs/librefossys/src/refos-io/ |
| H A D | filetable.c | 146 filetable_dspace_open(fd_table_t *fdt, char* filePath, int flags, int mode, int size) argument
149 if (!filePath) {
167 e->connection = serv_connect_no_pbuffer(filePath);
|
| /seL4-refos-master/projects/refos/impl/libs/librefossys/src/refos-io/ |
| H A D | filetable.c | 146 filetable_dspace_open(fd_table_t *fdt, char* filePath, int flags, int mode, int size) argument
149 if (!filePath) {
167 e->connection = serv_connect_no_pbuffer(filePath);
|
Completed in 38 milliseconds