Searched refs:CPIO_RAMFS_MAX_CREATED_FILES (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/
H A Dcpio_dspace.c35 #define CPIO_RAMFS_MAX_CREATED_FILES 64 macro
53 static char _ramfs_archive[CPIO_RAMFS_MAX_CREATED_FILES][CPIO_RAMFS_MAX_FILESSIZE];
54 static char _ramfs_filename[CPIO_RAMFS_MAX_CREATED_FILES][CPIO_RAMFS_MAX_FILENAME];
55 static int _ramfs_filesz[CPIO_RAMFS_MAX_CREATED_FILES];
105 if (_ramfs_curfile >= CPIO_RAMFS_MAX_CREATED_FILES) {
/seL4-refos-master/apps/file_server/src/dispatchers/
H A Dcpio_dspace.c35 #define CPIO_RAMFS_MAX_CREATED_FILES 64 macro
53 static char _ramfs_archive[CPIO_RAMFS_MAX_CREATED_FILES][CPIO_RAMFS_MAX_FILESSIZE];
54 static char _ramfs_filename[CPIO_RAMFS_MAX_CREATED_FILES][CPIO_RAMFS_MAX_FILENAME];
55 static int _ramfs_filesz[CPIO_RAMFS_MAX_CREATED_FILES];
105 if (_ramfs_curfile >= CPIO_RAMFS_MAX_CREATED_FILES) {

Completed in 74 milliseconds