/seL4-test-master/projects/seL4_libs/libsel4utils/src/ |
H A D | strerror.c | 62 __sel4_error(int sel4_error, const char *file, argument 65 fprintf(stderr, "seL4 Error: %s, function %s, file %s, line %d: %s\n", 67 function, file, line, str);
|
/seL4-test-master/tools/nanopb/tests/basic_stream/ |
H A D | decode_stream.c | 60 FILE *file = (FILE*)stream->state; local 63 status = (fread(buf, 1, count, file) == count); 65 if (feof(file))
|
/seL4-test-master/tools/nanopb/tools/ |
H A D | make_windows_package.sh | 29 # Remove temp file 40 <file name="msvcr90.dll" hashalg="SHA1" hash="e0dcdcbfcb452747da530fae6b000d47c8674671"><asmv2:hash xmlns:asmv2="urn:schemas-microsoft-com:asm.v2" xmlns:dsig="http://www.w3.org/2000/09/xmldsig#"><dsig:Transforms><dsig:Transform Algorithm="urn:schemas-microsoft-com:HashTransforms.Identity"></dsig:Transform></dsig:Transforms><dsig:DigestMethod Algorithm="http://www.w3.org/2000/09/xmldsig#sha1"></dsig:DigestMethod><dsig:DigestValue>KSaO8M0iCtPF6YEr79P1dZsnomY=</dsig:DigestValue></asmv2:hash></file> <file name="msvcp90.dll" hashalg="SHA1" hash="81efe890e4ef2615c0bb4dda7b94bea177c86ebd"><asmv2:hash xmlns:asmv2="urn:schemas-microsoft-com:asm.v2" xmlns:dsig="http://www.w3.org/2000/09/xmldsig#"><dsig:Transforms><dsig:Transform Algorithm="urn:schemas-microsoft-com:HashTransforms.Identity"></dsig:Transform></dsig:Transforms><dsig:DigestMethod Algorithm="http://www.w3.org/2000/09/xmldsig#sha1"></dsig:DigestMethod><dsig:DigestValue>ojDmTgpYMFRKJYkPcM6ckpYkWUU=</dsig:DigestValue></asmv2:hash></file> <file name="msvcm90.dll" hashalg="SHA1" hash="5470081b336abd7b82c6387567a661a729483b04"><asmv2:hash xmlns:asmv2="urn:schemas-microsoft-com:asm.v2" xmlns:dsig="http://www.w3.org/2000/09/xmldsig#"><dsig:Transforms><dsig:Transform Algorithm="urn:schemas-microsoft-com:HashTransforms.Identity"></dsig:Transform></dsig:Transforms><dsig:DigestMethod Algorithm="http://www.w3.org/2000/09/xmldsig#sha1"></dsig:DigestMethod><dsig:DigestValue>tVogb8kezDre2mXShlIqpp8ErIg=</dsig:DigestValue></asmv2:hash></file>
|
/seL4-test-master/tools/nanopb/examples/network_server/ |
H A D | server.c | 37 struct dirent *file; local 40 while ((file = readdir(dir)) != NULL) 42 fileinfo.inode = file->d_ino; 43 strncpy(fileinfo.name, file->d_name, sizeof(fileinfo.name)); 104 response.file = directory;
|
/seL4-test-master/kernel/tools/ |
H A D | umm.py | 104 def build_types(file): 105 in_file = open(file, 'r') 122 print('digraph types {', file=out_file) 127 file=out_file) 128 print('}', file=out_file)
|
H A D | bitfield_gen.py | 130 file=sys.stderr) 132 print('Token: %s' % str(t), file=sys.stderr) 256 print("Syntax error at token '%s'" % t.value, file=sys.stderr) 1203 print(string, file=params.output) 1204 print(file=params.output) 1345 {"name": self.name}, file=output) 1346 print(file=output) 1354 substs, params.sorry), file=output) 1355 print(file=output) 1358 substs, params.sorry), file 2807 file=out_file) variable 2822 file=out_file) variable [all...] |
H A D | syscall_header_gen.py | 131 help='Name of xml file with syscall name definitions', required=True) 133 help='Name of file to generate for kernel') 135 help='Name of file to generate for libsel4') 143 file=sys.stderr) 167 # first check if the file is valid xml 171 print("Error: invalid xml file.", file=sys.stderr) 178 file=sys.stderr) 184 file=sys.stderr) 189 file [all...] |
H A D | lex.py | 37 __tabversion__ = "3.2" # Version of table file used 47 # We need to import it here, even though it isn't called in this file 191 # writetab() - Write lexer information to a table file 199 tf.write("# %s.py. This file automatically created by PLY (version %s). Don't edit!\n" % 236 # readtab() - Read lexer information from a tab file 476 # suitable for output to a table file 579 # user's input file. 723 file = func_code(t).co_filename 725 file, line, t.__name__) 771 file [all...] |
/seL4-test-master/kernel/manual/tools/libsel4_tools/ |
H A D | bitfield_gen.py | 130 file=sys.stderr) 132 print('Token: %s' % str(t), file=sys.stderr) 256 print("Syntax error at token '%s'" % t.value, file=sys.stderr) 1203 print(string, file=params.output) 1204 print(file=params.output) 1345 {"name": self.name}, file=output) 1346 print(file=output) 1354 substs, params.sorry), file=output) 1355 print(file=output) 1358 substs, params.sorry), file 2807 file=out_file) variable 2822 file=out_file) variable [all...] |
H A D | syscall_header_gen.py | 131 help='Name of xml file with syscall name definitions', required=True) 133 help='Name of file to generate for kernel') 135 help='Name of file to generate for libsel4') 143 file=sys.stderr) 167 # first check if the file is valid xml 171 print("Error: invalid xml file.", file=sys.stderr) 178 file=sys.stderr) 184 file=sys.stderr) 189 file [all...] |
/seL4-test-master/kernel/libsel4/tools/ |
H A D | bitfield_gen.py | 130 file=sys.stderr) 132 print('Token: %s' % str(t), file=sys.stderr) 256 print("Syntax error at token '%s'" % t.value, file=sys.stderr) 1203 print(string, file=params.output) 1204 print(file=params.output) 1345 {"name": self.name}, file=output) 1346 print(file=output) 1354 substs, params.sorry), file=output) 1355 print(file=output) 1358 substs, params.sorry), file 2807 file=out_file) variable 2822 file=out_file) variable [all...] |
H A D | syscall_header_gen.py | 131 help='Name of xml file with syscall name definitions', required=True) 133 help='Name of file to generate for kernel') 135 help='Name of file to generate for libsel4') 143 file=sys.stderr) 167 # first check if the file is valid xml 171 print("Error: invalid xml file.", file=sys.stderr) 178 file=sys.stderr) 184 file=sys.stderr) 189 file [all...] |
/seL4-test-master/tools/riscv-pk/ |
H A D | Makefile.in | 187 # this spectial case we create a dummy source file and thus the build 189 # corresponding dummy object file. 346 for file in $(install_hdrs); \ 348 $(INSTALL_HDR) $$file $(install_hdrs_dir); \ 353 for file in $(install_libs); \ 355 $(INSTALL_LIB) $$file $(install_libs_dir); \ 360 for file in $(install_exes); \ 362 $(INSTALL_EXE) $$file $(install_exes_dir); \
|
/seL4-test-master/tools/riscv-pk/pk/ |
H A D | elf.c | 28 file_t* file = file_open(fn, O_RDONLY, 0); local 29 if (IS_ERR_VALUE(file)) 33 ssize_t ehdr_size = file_pread(file, &eh, sizeof(eh), 0); 52 ssize_t ret = file_pread(file, (void*)info->phdr, phdr_size, eh.e_phoff); 81 if (__do_mmap(vaddr - prepad, ph[i].p_filesz + prepad, prot | PROT_WRITE, flags2, file, ph[i].p_offset - prepad) != vaddr - prepad) 94 file_decref(file);
|
H A D | mmap.c | 15 file_t* file; member in struct:__anon679 40 static vmr_t* __vmr_alloc(uintptr_t addr, size_t length, file_t* file, argument 56 if (file) 57 file_incref(file); 60 v->file = file; 74 if (v->file) 75 file_decref(v->file); 182 if (v->file) 185 ssize_t ret = file_pread(v->file, (voi [all...] |
H A D | file.h | 10 typedef struct file struct 12 int kfd; // file descriptor on the host side of the HTIF
|
H A D | mmap.h | 9 #include "file.h" 30 uintptr_t __do_mmap(uintptr_t addr, size_t length, int prot, int flags, file_t* file, off_t offset);
|
/seL4-test-master/tools/seL4/elfloader-tool/src/binaries/elf/ |
H A D | elf32.c | 11 elf32_checkFile(struct Elf32_Header *file) argument 13 if (file->e_ident[EI_MAG0] != ELFMAG0 14 || file->e_ident[EI_MAG1] != ELFMAG1 15 || file->e_ident[EI_MAG2] != ELFMAG2 16 || file->e_ident[EI_MAG3] != ELFMAG3) { 17 return -1; /* not an elf file */ 19 if (file->e_ident[EI_CLASS] != ELFCLASS32) { 20 return -2; /* not 32-bit file */ 22 return 0; /* elf file looks OK */ 26 * Returns the number of program segments in this elf file [all...] |
/seL4-test-master/tools/nanopb/generator/ |
H A D | protoc-gen-nanopb.bat | 2 :: This file is used to invoke nanopb_generator.py as a plugin
|
/seL4-test-master/tools/seL4/misc/ |
H A D | cobbler | 96 echo "drive c: file=\"$OUTIMG\" partition=1" > mtoolsrc 114 # Write syslinux config file 131 for file in $KERNEL $UIMGS $MODULES syslinux.cfg 133 mcopy "$file" c: || { 134 echo "Error: mcopy $file failed!" >&2
|
/seL4-test-master/projects/util_libs/libutils/src/ |
H A D | zf_log.c | 260 static const char *filename(const char *file) argument 262 const char *f = file; 263 for (const char *p = file; 0 != *p; ++p) 342 const char *const file, const unsigned line) 346 func, filename(file), line); 428 const char *const file, const unsigned line, 437 put_src(&ctx, func, file, line); 457 const char *const file, const unsigned line, 467 put_src(&ctx, func, file, line); 341 put_src(zf_log_output_ctx *const ctx, const char *const func, const char *const file, const unsigned line) argument 427 _zf_log_write_d(const char *const func, const char *const file, const unsigned line, const int lvl, const char *const tag, const char *const fmt, ...) argument 456 _zf_log_write_mem_d(const char *const func, const char *const file, const unsigned line, const int lvl, const char *const tag, const void *const d, const unsigned d_sz, const char *const fmt, ...) argument
|
/seL4-test-master/projects/util_libs/libelf/include/elf/ |
H A D | elf.h | 88 \file 93 out of an ELF file easier. 99 ELF file into memory. 125 * Initialises an elf_t structure and checks that the ELF file is valid. 127 * Otherwise, attempting to call other functions with an invalid ELF file may 130 * @param file ELF file to use 131 * @param size Size of the ELF file 136 int elf_newFile(void *file, size_t size, elf_t *res); 139 * Initialises and elf_t structure and checks that the ELF file i [all...] |
/seL4-test-master/projects/seL4_libs/libsel4test/include/sel4test/ |
H A D | test.h | 182 static inline test_result_t _test_fail(const char *condition, const char *file, int line) argument 184 _sel4test_failure(condition, file, line); 189 static inline void _test_error(const char *condition, const char *file, int line) argument 192 _sel4test_report_error(condition, file, line); 196 static inline test_result_t _test_abort(const char *condition, const char *file, int line) argument 198 _sel4test_failure(condition, file, line);
|
/seL4-test-master/projects/util_libs/libelf/src/ |
H A D | elf.c | 88 int elf_newFile(void *file, size_t size, elf_t *res) argument 90 return elf_newFile_maybe_unsafe(file, size, true, true, res); 93 int elf_newFile_maybe_unsafe(void *file, size_t size, bool check_pht, bool check_st, elf_t *res) argument 96 .elfFile = file, 126 int elf_check_magic(char *file) argument 128 if (memcmp(file, ELFMAG, SELFMAG) != 0) { 136 * Checks that elfFile points to a valid elf file. Returns 0 if the elf 137 * file is valid, < 0 if invalid.
|
/seL4-test-master/projects/seL4_libs/libsel4muslcsys/src/ |
H A D | sys_io.c | 53 /* file table, indexed by file descriptor */ 55 /* stack of free file descriptors */ 112 /* Ensure file table exists */ 190 char *file = NULL; local 192 file = cpio_get_file_impl(cpio_archive_symbol, cpio_archive_len, pathname, &size); 193 if (!file && strncmp(pathname, "./", 2) == 0) { 194 file = cpio_get_file_impl(cpio_archive_symbol, cpio_archive_len, pathname + 2, &size); 197 if (!file) { 198 ZF_LOGE("Failed to open file [all...] |