Searched refs:file (Results 26 - 50 of 65) sorted by relevance

123

/seL4-test-master/projects/seL4_libs/libsel4utils/src/
H A Dstrerror.c62 __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 Ddecode_stream.c60 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 Dmake_windows_package.sh29 # 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 Dserver.c37 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 Dumm.py104 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 Dbitfield_gen.py130 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 Dsyscall_header_gen.py131 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 Dlex.py37 __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 Dbitfield_gen.py130 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 Dsyscall_header_gen.py131 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 Dbitfield_gen.py130 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 Dsyscall_header_gen.py131 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 DMakefile.in187 # 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 Delf.c28 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 Dmmap.c15 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 Dfile.h10 typedef struct file struct
12 int kfd; // file descriptor on the host side of the HTIF
H A Dmmap.h9 #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 Delf32.c11 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 Dprotoc-gen-nanopb.bat2 :: This file is used to invoke nanopb_generator.py as a plugin
/seL4-test-master/tools/seL4/misc/
H A Dcobbler96 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 Dzf_log.c260 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 Delf.h88 \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 Dtest.h182 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 Delf.c88 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 Dsys_io.c53 /* 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...]

Completed in 89 milliseconds

123