Searched refs:_cpio_archive (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/projects/global-components/components/FileServer/src/
H A Dserver.c33 extern char _cpio_archive[];
37 /* install the _cpio_archive */
38 unsigned long cpio_size = _cpio_archive_end - _cpio_archive;
39 muslcsys_install_cpio_interface(_cpio_archive, cpio_size, cpio_get_file);
/seL4-camkes-master/projects/seL4_libs/libsel4muslcsys/src/
H A Dvsyscall.c243 extern char _cpio_archive[];
247 unsigned long cpio_len = _cpio_archive_end - _cpio_archive;
248 muslcsys_install_cpio_interface(_cpio_archive, cpio_len, cpio_get_file);
H A Dsys_io.c50 extern char _cpio_archive[];
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/
H A Dprocess.c35 extern char _cpio_archive[];
563 unsigned long cpio_len = _cpio_archive_end - _cpio_archive;
564 char *file = cpio_get_file(_cpio_archive, cpio_len, config.image_name, &size);
/seL4-camkes-master/tools/rumprun/platform/sel4/
H A Dentry.c55 here to prevent 'undefined reference to `_cpio_archive`' linker errors */
56 char _cpio_archive[1]; variable

Completed in 65 milliseconds