Searched refs:fileDataSize (Results 1 - 9 of 9) sorted by relevance
| /seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/ |
| H A D | fault_notify.c | 141 ��������������� nbytes = fileDataSize -
151 dspace->fileDataSize - dataspaceSkipWinOffset - dwa->dataspaceOffset);
155 if ((dspace->fileDataSize - dataspaceSkipWinOffset - dwa->dataspaceOffset >
156 dspace->fileDataSize) ||
157 (dspace->fileDataSize - dataspaceSkipWinOffset > dspace->fileDataSize) ||
158 (dspace->fileDataSize - dwa->dataspaceOffset > dspace->fileDataSize)) {
234 size_t contentSize = MIN(dspace->fileDataSize - dataspaceOffset, REFOS_PAGE_SIZE);
238 assert(dataspaceOffset < dspace->fileDataSize);
[all...] |
| H A D | cpio_dspace.c | 72 unsigned long fileDataSize = 0; local
73 char *fileData = cpio_get_file(_cpio_archive, rpc_name, &fileDataSize);
91 fileDataSize = _ramfs_filesz[i];
112 fileDataSize = 0;
118 (size_t) fileDataSize, O_RDONLY);
180 if (rpc_offset >= dspace->fileDataSize) {
183 uint32_t count = MIN(dspace->fileDataSize - rpc_offset, rpc_buf.count);
217 if (rpc_offset + rpc_buf.count > dspace->fileDataSize) {
222 dspace->fileDataSize = rpc_offset + rpc_buf.count;
226 _ramfs_filesz[i] = dspace->fileDataSize;
[all...] |
| /seL4-refos-master/apps/file_server/src/dispatchers/ |
| H A D | fault_notify.c | 141 ��������������� nbytes = fileDataSize -
151 dspace->fileDataSize - dataspaceSkipWinOffset - dwa->dataspaceOffset);
155 if ((dspace->fileDataSize - dataspaceSkipWinOffset - dwa->dataspaceOffset >
156 dspace->fileDataSize) ||
157 (dspace->fileDataSize - dataspaceSkipWinOffset > dspace->fileDataSize) ||
158 (dspace->fileDataSize - dwa->dataspaceOffset > dspace->fileDataSize)) {
234 size_t contentSize = MIN(dspace->fileDataSize - dataspaceOffset, REFOS_PAGE_SIZE);
238 assert(dataspaceOffset < dspace->fileDataSize);
[all...] |
| H A D | cpio_dspace.c | 72 unsigned long fileDataSize = 0; local
73 char *fileData = cpio_get_file(_cpio_archive, rpc_name, &fileDataSize);
91 fileDataSize = _ramfs_filesz[i];
112 fileDataSize = 0;
118 (size_t) fileDataSize, O_RDONLY);
180 if (rpc_offset >= dspace->fileDataSize) {
183 uint32_t count = MIN(dspace->fileDataSize - rpc_offset, rpc_buf.count);
217 if (rpc_offset + rpc_buf.count > dspace->fileDataSize) {
222 dspace->fileDataSize = rpc_offset + rpc_buf.count;
226 _ramfs_filesz[i] = dspace->fileDataSize;
[all...] |
| /seL4-refos-master/projects/refos/impl/apps/file_server/src/ |
| H A D | dataspace.h | 52 size_t fileDataSize; member in struct:fs_dataspace
96 @param fileDataSize The CPIO file data size.
101 size_t fileDataSize, seL4_Word permissions);
|
| H A D | dataspace.c | 64 ndspace->fileDataSize = arg[2];
136 dspace_alloc(struct fs_dataspace_table *dt, uint32_t deathID, char *fileData, size_t fileDataSize, argument
144 arg[2] = (uint32_t) fileDataSize;
|
| /seL4-refos-master/apps/file_server/src/ |
| H A D | dataspace.h | 52 size_t fileDataSize; member in struct:fs_dataspace
96 @param fileDataSize The CPIO file data size.
101 size_t fileDataSize, seL4_Word permissions);
|
| H A D | dataspace.c | 64 ndspace->fileDataSize = arg[2];
136 dspace_alloc(struct fs_dataspace_table *dt, uint32_t deathID, char *fileData, size_t fileDataSize, argument
144 arg[2] = (uint32_t) fileDataSize;
|
| /seL4-refos-master/projects/refos/design/ |
| H A D | protocol.tex | 455 size_t fileDataSize;
|
Completed in 60 milliseconds