Searched defs:fileData (Results 1 - 6 of 6) sorted by relevance
| /seL4-refos-master/projects/refos/impl/apps/file_server/src/ |
| H A D | dataspace.h | 51 char *fileData; /* Not owned. */ member in struct:fs_dataspace
|
| H A D | dataspace.c | 136 dspace_alloc(struct fs_dataspace_table *dt, uint32_t deathID, char *fileData, size_t fileDataSize, argument
|
| /seL4-refos-master/apps/file_server/src/ |
| H A D | dataspace.h | 51 char *fileData; /* Not owned. */ member in struct:fs_dataspace
|
| H A D | dataspace.c | 136 dspace_alloc(struct fs_dataspace_table *dt, uint32_t deathID, char *fileData, size_t fileDataSize, argument
|
| /seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/ |
| H A D | cpio_dspace.c | 73 char *fileData = cpio_get_file(_cpio_archive, rpc_name, &fileDataSize); local
[all...] |
| /seL4-refos-master/apps/file_server/src/dispatchers/ |
| H A D | cpio_dspace.c | 73 char *fileData = cpio_get_file(_cpio_archive, rpc_name, &fileDataSize); local
[all...] |
Completed in 47 milliseconds