Searched refs:cpio_get_file (Results 1 - 12 of 12) sorted by relevance
/seL4-refos-master/libs/libcpio/include/cpio/ |
H A D | cpio.h | 68 void *cpio_get_file(void *archive, unsigned long len, const char *name, unsigned long *size);
|
/seL4-refos-master/projects/util_libs/libcpio/include/cpio/ |
H A D | cpio.h | 68 void *cpio_get_file(void *archive, unsigned long len, const char *name, unsigned long *size);
|
/seL4-refos-master/seL4_tools/elfloader-tool/src/ |
H A D | common.c | 157 void *file_hash = cpio_get_file(_archive_start, cpio_len, (const char *)hash, &unused); 300 void *kernel_elf = cpio_get_file(_archive_start, cpio_len, "kernel.elf", &kernel_filesize); 323 dtb = cpio_get_file(_archive_start, cpio_len, "kernel.dtb", &unused);
|
/seL4-refos-master/tools/elfloader/src/ |
H A D | common.c | 157 void *file_hash = cpio_get_file(_archive_start, cpio_len, (const char *)hash, &unused); 300 void *kernel_elf = cpio_get_file(_archive_start, cpio_len, "kernel.elf", &kernel_filesize); 323 dtb = cpio_get_file(_archive_start, cpio_len, "kernel.dtb", &unused);
|
/seL4-refos-master/libs/libcpio/src/ |
H A D | cpio.c | 203 void *cpio_get_file(void *archive, unsigned long len, const char *name, unsigned long *size) function
|
/seL4-refos-master/projects/util_libs/libcpio/src/ |
H A D | cpio.c | 203 void *cpio_get_file(void *archive, unsigned long len, const char *name, unsigned long *size) function
|
/seL4-refos-master/libs/libsel4muslcsys/src/ |
H A D | vsyscall.c | 248 muslcsys_install_cpio_interface(_cpio_archive, cpio_len, cpio_get_file);
|
/seL4-refos-master/projects/seL4_libs/libsel4muslcsys/src/ |
H A D | vsyscall.c | 248 muslcsys_install_cpio_interface(_cpio_archive, cpio_len, cpio_get_file);
|
/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);
|
/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);
|
/seL4-refos-master/libs/libsel4utils/src/ |
H A D | process.c | 564 char *file = cpio_get_file(_cpio_archive, cpio_len, config.image_name, &size);
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
H A D | process.c | 564 char *file = cpio_get_file(_cpio_archive, cpio_len, config.image_name, &size);
|
Completed in 160 milliseconds