| /seL4-refos-master/libs/libsel4muslcsys/include/muslcsys/ |
| H A D | io.h | 60 void muslcsys_install_cpio_interface(void *cpio_symbol, unsigned long cpio_len,
|
| /seL4-refos-master/projects/seL4_libs/libsel4muslcsys/include/muslcsys/ |
| H A D | io.h | 60 void muslcsys_install_cpio_interface(void *cpio_symbol, unsigned long cpio_len,
|
| /seL4-refos-master/seL4_tools/elfloader-tool/src/ |
| H A D | common.c | 156 unsigned long cpio_len = _archive_start_end - _archive_start; local
157 void *file_hash = cpio_get_file(_archive_start, cpio_len, (const char *)hash, &unused);
299 unsigned long cpio_len = _archive_start_end - _archive_start; local
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);
377 cpio_get_entry(_archive_start, cpio_len, 0, &elf_filename, &unused);
382 cpio_get_entry(_archive_start, cpio_len, 1, &elf_filename, &unused);
396 void *user_elf = cpio_get_entry(_archive_start, cpio_len, i + user_elf_offset,
412 void *user_elf = cpio_get_entry(_archive_start, cpio_len, i + user_elf_offset,
|
| /seL4-refos-master/tools/elfloader/src/ |
| H A D | common.c | 156 unsigned long cpio_len = _archive_start_end - _archive_start; local
157 void *file_hash = cpio_get_file(_archive_start, cpio_len, (const char *)hash, &unused);
299 unsigned long cpio_len = _archive_start_end - _archive_start; local
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);
377 cpio_get_entry(_archive_start, cpio_len, 0, &elf_filename, &unused);
382 cpio_get_entry(_archive_start, cpio_len, 1, &elf_filename, &unused);
396 void *user_elf = cpio_get_entry(_archive_start, cpio_len, i + user_elf_offset,
412 void *user_elf = cpio_get_entry(_archive_start, cpio_len, i + user_elf_offset,
|
| /seL4-refos-master/libs/libsel4muslcsys/src/ |
| H A D | vsyscall.c | 247 unsigned long cpio_len = _cpio_archive_end - _cpio_archive; local
248 muslcsys_install_cpio_interface(_cpio_archive, cpio_len, cpio_get_file);
|
| H A D | sys_io.c | 541 void muslcsys_install_cpio_interface(void *cpio_symbol, unsigned long cpio_len, argument
545 cpio_archive_len = cpio_len;
|
| /seL4-refos-master/projects/seL4_libs/libsel4muslcsys/src/ |
| H A D | vsyscall.c | 247 unsigned long cpio_len = _cpio_archive_end - _cpio_archive; local
248 muslcsys_install_cpio_interface(_cpio_archive, cpio_len, cpio_get_file);
|
| H A D | sys_io.c | 541 void muslcsys_install_cpio_interface(void *cpio_symbol, unsigned long cpio_len, argument
545 cpio_archive_len = cpio_len;
|
| /seL4-refos-master/libs/libsel4utils/src/ |
| H A D | process.c | 563 unsigned long cpio_len = _cpio_archive_end - _cpio_archive; local
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 | 563 unsigned long cpio_len = _cpio_archive_end - _cpio_archive; local
564 char *file = cpio_get_file(_cpio_archive, cpio_len, config.image_name, &size);
|