Searched refs:file (Results 1 - 25 of 65) sorted by relevance

123

/seL4-test-master/tools/nanopb/tests/common/
H A Dtest_helpers.h9 #define SET_BINARY_MODE(file) setmode(fileno(file), O_BINARY)
12 #define SET_BINARY_MODE(file)
/seL4-test-master/kernel/src/
H A Dassert.c14 const char *file,
20 file,
30 const char *file,
36 file,
12 _fail( const char *s, const char *file, unsigned int line, const char *function) argument
28 _assert_fail( const char *assertion, const char *file, unsigned int line, const char *function) argument
/seL4-test-master/tools/seL4/elfloader-tool/include/binaries/elf/
H A Delf32.h60 uint32_t p_offset; /* Offset of segment in file */
66 * occupies in file */
102 int elf32_checkFile(struct Elf32_Header *file);
103 struct Elf32_Phdr * elf32_getProgramSegmentTable(struct Elf32_Header *file);
104 unsigned elf32_getNumSections(struct Elf32_Header *file);
105 char * elf32_getStringTable(struct Elf32_Header *file);
106 char * elf32_getSegmentStringTable(struct Elf32_Header *file);
109 elf32_getSectionTable(struct Elf32_Header *file) { argument
111 return (struct Elf32_Shdr*) (uintptr_t) (((uintptr_t) file) + file
116 elf32_getSectionType(struct Elf32_Header *file, uint16_t s) argument
122 elf32_getSectionFlags(struct Elf32_Header *file, uint16_t s) argument
142 elf32_getProgramHeaderTable(struct Elf32_Header *file) argument
149 elf32_getProgramHeaderFlags(struct Elf32_Header *file, uint16_t ph) argument
155 elf32_getProgramHeaderType(struct Elf32_Header *file, uint16_t ph) argument
161 elf32_getProgramHeaderFileSize(struct Elf32_Header *file, uint16_t ph) argument
167 elf32_getProgramHeaderMemorySize(struct Elf32_Header *file, uint16_t ph) argument
173 elf32_getProgramHeaderVaddr(struct Elf32_Header *file, uint16_t ph) argument
179 elf32_getProgramHeaderPaddr(struct Elf32_Header *file, uint16_t ph) argument
185 elf32_getProgramHeaderOffset(struct Elf32_Header *file, uint16_t ph) argument
[all...]
H A Delf64.h62 uint64_t p_offset; /* Offset of segment in file */
68 * occupies in file */
116 elf64_getSectionTable(struct Elf64_Header *file) { argument
118 return (struct Elf64_Shdr*) (uintptr_t) (((uintptr_t) file) + file->e_shoff);
123 elf64_getSectionType(struct Elf64_Header *file, uint16_t s) argument
125 return elf64_getSectionTable(file)[s].sh_type;
129 elf64_getSectionFlags(struct Elf64_Header *file, uint16_t s) argument
131 return elf64_getSectionTable(file)[s].sh_flags;
148 uint16_t elf64_getNumProgramHeaders(struct Elf64_Header *file);
151 elf64_getProgramHeaderTable(struct Elf64_Header *file) argument
159 elf64_getProgramHeaderFlags(struct Elf64_Header *file, uint16_t ph) argument
165 elf64_getProgramHeaderType(struct Elf64_Header *file, uint16_t ph) argument
171 elf64_getProgramHeaderFileSize(struct Elf64_Header *file, uint16_t ph) argument
178 elf64_getProgramHeaderMemorySize(struct Elf64_Header *file, uint16_t ph) argument
185 elf64_getProgramHeaderVaddr(struct Elf64_Header *file, uint16_t ph) argument
192 elf64_getProgramHeaderPaddr(struct Elf64_Header *file, uint16_t ph) argument
199 elf64_getProgramHeaderOffset(struct Elf64_Header *file, uint16_t ph) argument
[all...]
/seL4-test-master/projects/musllibc/src/exit/
H A Dassert.c4 _Noreturn void __assert_fail(const char *expr, const char *file, int line, const char *func) argument
6 fprintf(stderr, "Assertion failed: %s (%s: %s: %d)\n", expr, file, func, line);
/seL4-test-master/projects/musllibc/src/linux/
H A Dflock.c1 #include <sys/file.h>
/seL4-test-master/projects/util_libs/libelf/include/elf/
H A Delf64.h103 static inline uintptr_t elf64_getEntryPoint(elf_t *file) argument
105 return elf64_getHeader(file).e_entry;
108 static inline Elf64_Phdr *elf64_getProgramHeaderTable(elf_t *file) argument
110 return file->elfFile + elf64_getHeader(file).e_phoff;
113 static inline Elf64_Shdr *elf64_getSectionTable(elf_t *file) argument
115 return file->elfFile + elf64_getHeader(file).e_shoff;
118 static inline size_t elf64_getNumProgramHeaders(elf_t *file) argument
120 return elf64_getHeader(file)
140 elf64_getSectionType(elf_t *file, size_t s) argument
145 elf64_getSectionFlags(elf_t *file, size_t s) argument
187 elf64_getProgramHeaderType(elf_t *file, size_t ph) argument
192 elf64_getProgramHeaderOffset(elf_t *file, size_t ph) argument
197 elf64_getProgramHeaderVaddr(elf_t *file, size_t ph) argument
202 elf64_getProgramHeaderPaddr(elf_t *file, size_t ph) argument
207 elf64_getProgramHeaderFileSize(elf_t *file, size_t ph) argument
212 elf64_getProgramHeaderMemorySize(elf_t *file, size_t ph) argument
217 elf64_getProgramHeaderFlags(elf_t *file, size_t ph) argument
222 elf64_getProgramHeaderAlign(elf_t *file, size_t ph) argument
[all...]
H A Delf32.h108 static inline Elf32_Phdr *elf32_getProgramHeaderTable(elf_t *file) argument
110 return file->elfFile + elf32_getHeader(file).e_phoff;
187 static inline uint32_t elf32_getProgramHeaderType(elf_t *file, size_t ph) argument
189 return elf32_getProgramHeaderTable(file)[ph].p_type;
192 static inline size_t elf32_getProgramHeaderOffset(elf_t *file, size_t ph) argument
194 return elf32_getProgramHeaderTable(file)[ph].p_offset;
197 static inline uintptr_t elf32_getProgramHeaderVaddr(elf_t *file, size_t ph) argument
199 return elf32_getProgramHeaderTable(file)[ph].p_vaddr;
202 static inline uintptr_t elf32_getProgramHeaderPaddr(elf_t *file, size_ argument
207 elf32_getProgramHeaderFileSize(elf_t *file, size_t ph) argument
212 elf32_getProgramHeaderMemorySize(elf_t *file, size_t ph) argument
217 elf32_getProgramHeaderFlags(elf_t *file, size_t ph) argument
222 elf32_getProgramHeaderAlign(elf_t *file, size_t ph) argument
[all...]
/seL4-test-master/projects/util_libs/libpci/include/pci/
H A Dhelper_gen.py18 print ( "// WARNING: This file is generated. DO NOT EDIT.", file=helper_out );
19 print ( "// Look in include/pci/helper_gen.y instead.\n", file=helper_out );
20 print ( "#include <pci/helper.h>\n", file=helper_out );
23 print ( "char* libpci_vendorID_str(int vid) {", file=helper_out );
31 print ( " if (vid == %s) return \"%s\";" % (val, vendor), file=helper_out );
33 print ( " return \"Unknown vendor ID.\"; ", file=helper_out );
34 print ( "}\n", file=helper_out );
37 print ( "char* libpci_deviceID_str(int vid, int did) {", file=helper_out );
50 print ( " if (vid == %s && did == %s) return \"%s\";" % (vval, val, device), file
[all...]
/seL4-test-master/projects/seL4_libs/libsel4test/src/
H A Dtestutil.c74 void _sel4test_report_error(const char *error, const char *file, int line) argument
77 printf("\t\t<error>%s at line %d of file %s</error>\n", error, line, file);
79 printf("\tError: %s at line %d of file %s\n", error, line, file);
84 void _sel4test_failure(const char *failure, const char *file, int line) argument
87 printf("\t\t<failure type=\"failure\">%s at line %d of file %s</failure>\n", failure, line, file);
89 printf("\tFailure: %s at line %d of file %s\n", failure, line, file);
94 _sel4test_abort(const char *failure, const char *file, int line) argument
[all...]
/seL4-test-master/projects/musllibc/src/ldso/
H A Ddlopen.c7 static void *stub_dlopen(const char *file, int mode) argument
/seL4-test-master/tools/riscv-pk/scripts/
H A Dmk-install-dirs.sh11 for file
13 set fnord `echo ":$file" | sed -ne 's/^:\//#/;s/^://;s/\// /g;s/^#/\//;p'`
/seL4-test-master/projects/musllibc/src/process/
H A Dexecvp.c10 int __execvpe(const char *file, char *const argv[], char *const envp[]) argument
17 if (!*file) return -1;
19 if (strchr(file, '/'))
20 return execve(file, argv, envp);
23 k = strnlen(file, NAME_MAX+1);
40 memcpy(b+(z-p)+(z>p), file, k+1);
50 int execvp(const char *file, char *const argv[]) argument
52 return __execvpe(file, argv, __environ);
H A Dposix_spawnp.c11 int posix_spawnp(pid_t *restrict res, const char *restrict file, argument
16 return __posix_spawnx(res, file, __execvpe, fa, attr, argv, envp);
H A Dexeclp.c4 int execlp(const char *file, const char *argv0, ...) argument
20 return execvp(file, argv);
/seL4-test-master/projects/musllibc/tools/
H A Dld.musl-clang.in30 set -- "$@" $($cc -print-file-name=$x)
33 file=lib${x#-l}.a
34 set -- "$@" $($cc -print-file-name=$file)
/seL4-test-master/projects/seL4_libs/libsel4test/include/sel4test/
H A Dtestutil.h72 void _sel4test_report_error(const char *error, const char *file, int line);
78 void _sel4test_failure(const char *failure, const char *file, int line);
84 void _sel4test_abort(const char *failure, const char *file, int line);
/seL4-test-master/tools/seL4/cmake-tool/helpers/
H A Dcmakerepl10 # If this file was included somewhere else then CMAKE_PARENT_LIST_FILE will be set
12 message(" Currently included in file: ${CMAKE_PARENT_LIST_FILE}")
18 file(GLOB tids /proc/self/task/*)
25 file(MAKE_DIRECTORY ${state_dir})
26 file(TOUCH ${history_file})
33 file(WRITE ${state_dir}/read.py "from __future__ import print_function
39 print(s, file=f)
42 print(\"set(forever OFF)\", file=f)
58 # The input is then written out to a file which cmake includes into itself
59 # Including the file result
[all...]
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/x86/
H A Dguest_image.c24 FILE *file; member in struct:boot_guest_cookie
27 /* Reads the elf header and elf program headers from a file when given a sufficiently
30 static int read_elf_headers(void *buf, vm_t *vm, FILE *file, size_t buf_size, elf_t *elf) argument
36 fseek(file, 0, SEEK_SET);
37 result = fread(buf, buf_size, 1, file);
69 /* Open the relocs file. */
70 ZF_LOGI("plat: opening relocs file %s", relocs_filename);
73 FILE *file = fopen(relocs_filename, "r"); local
74 if (!file) {
80 fseek(file,
146 load_guest_segment(vm_t *vm, seL4_Word source_offset, seL4_Word dest_addr, unsigned int segment_size, unsigned int file_size, FILE *file) argument
225 FILE *file = fopen(image_name, "r"); local
351 FILE *file = fopen(module_name, "r"); local
[all...]
/seL4-test-master/projects/seL4_libs/libsel4test/tools/
H A Dextract_results.py43 print(tag, file=f)
45 print('<%s>' % tag.name, file=f)
52 print('</%s>' % tag.name, file=f)
57 }, file=f)
63 print('</%s>' % tag.name, file=f)
69 nargs='?', help='Input file', type=argparse.FileType('r', errors="ignore"),
72 nargs='?', help='Output file', type=argparse.FileType('w'),
86 print('Failed to strip leading and trailing garbage', file=sys.stderr)
101 print('Failed to parse input: %s' % inst, file=sys.stderr)
107 print('Failed to find initial %s tag: %s' % (TOP_TAG, inst), file
[all...]
/seL4-test-master/tools/nanopb/tests/basic_stream/
H A Dencode_stream.c12 FILE *file = (FILE*) stream->state; local
13 return fwrite(buf, 1, count, file) == count;
/seL4-test-master/tools/seL4/misc/
H A Dis-valid-shell-script33 # If it's executable, let file(1) do the hard work of figuring out what kind
37 DESCRIPTION=$(file -b "$FILE")
68 if ! which file > /dev/null
70 die "\"file\" command not found; is the \"file\" package installed?"
85 # Is the current file a shell script? If not, skip it.
/seL4-test-master/kernel/include/
H A Dassert.h16 const char *file,
25 const char *file,
/seL4-test-master/kernel/libsel4/include/sel4/
H A Dassert.h19 void __assert_fail(const char *str, const char *file, int line, const char *function);
23 * expr as a string plus the file, line and function.
29 * expr as a string plus the file, line and function.
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/arm/
H A Dguest_image.c57 static int is_uImage(void *file) argument
60 return memcmp(file, &magic, sizeof(magic));
63 static int is_zImage(void *file) argument
66 hdr = (struct zimage_hdr *)file;
70 static int is_dtb(void *file) argument
73 hdr = (struct dtb_hdr *)file;
77 static int is_initrd(void *file) argument
81 hdr = (struct initrd_gz_hdr *)file;
85 enum img_type image_get_type(void *file) argument
87 if (elf_check_magic(file)
102 zImage_get_load_address(void *file, uintptr_t ram_base) argument
[all...]

Completed in 135 milliseconds

123