Searched refs:fileData (Results 1 - 9 of 9) 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
95 @param fileData The CPIO file data pointer. (No ownership passed)
100 struct fs_dataspace* dspace_alloc(struct fs_dataspace_table *dt, uint32_t deathID, char *fileData,
|
| H A D | dataspace.c | 36 client's DeathID, second argument is the fileData pointer, 3rd argument is the fileData size,
63 ndspace->fileData = (char*) arg[1];
70 if (!ndspace->dataspaceCap || !ndspace->fileData) {
136 dspace_alloc(struct fs_dataspace_table *dt, uint32_t deathID, char *fileData, size_t fileDataSize, argument
143 arg[1] = (uint32_t) fileData;
|
| /seL4-refos-master/apps/file_server/src/ |
| H A D | dataspace.h | 51 char *fileData; /* Not owned. */ member in struct:fs_dataspace
95 @param fileData The CPIO file data pointer. (No ownership passed)
100 struct fs_dataspace* dspace_alloc(struct fs_dataspace_table *dt, uint32_t deathID, char *fileData,
|
| H A D | dataspace.c | 36 client's DeathID, second argument is the fileData pointer, 3rd argument is the fileData size,
63 ndspace->fileData = (char*) arg[1];
70 if (!ndspace->dataspaceCap || !ndspace->fileData) {
136 dspace_alloc(struct fs_dataspace_table *dt, uint32_t deathID, char *fileData, size_t fileDataSize, argument
143 arg[1] = (uint32_t) fileData;
|
| /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
76 if (fileData && (rpc_flags & O_ACCMODE) != O_RDONLY) {
82 if (!fileData) {
90 fileData = _ramfs_archive[i];
98 if (!fileData) {
111 fileData = _ramfs_archive[_ramfs_curfile++];
117 struct fs_dataspace* nds = dspace_alloc(&fileServ.dspaceTable, c->deathID, fileData,
178 assert(dspace->fileData);
184 memcpy(rpc_buf.data, dspace->fileData + rpc_offset, count);
209 assert(dspace->fileData);
[all...] |
| H A D | fault_notify.c | 97 if (dspace->fileData) {
167 dspace->fileData + dwa->dataspaceOffset + dataspaceSkipWinOffset,
239 if (dspace->fileData) {
242 destDataspaceOffset, (char*)dspace->fileData + dataspaceOffset,
|
| /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
76 if (fileData && (rpc_flags & O_ACCMODE) != O_RDONLY) {
82 if (!fileData) {
90 fileData = _ramfs_archive[i];
98 if (!fileData) {
111 fileData = _ramfs_archive[_ramfs_curfile++];
117 struct fs_dataspace* nds = dspace_alloc(&fileServ.dspaceTable, c->deathID, fileData,
178 assert(dspace->fileData);
184 memcpy(rpc_buf.data, dspace->fileData + rpc_offset, count);
209 assert(dspace->fileData);
[all...] |
| H A D | fault_notify.c | 97 if (dspace->fileData) {
167 dspace->fileData + dwa->dataspaceOffset + dataspaceSkipWinOffset,
239 if (dspace->fileData) {
242 destDataspaceOffset, (char*)dspace->fileData + dataspaceOffset,
|
| /seL4-refos-master/projects/refos/design/ |
| H A D | protocol.tex | 454 char *fileData;
|
Completed in 48 milliseconds