/seL4-test-master/tools/nanopb/tests/common/ |
H A D | test_helpers.h | 9 #define SET_BINARY_MODE(file) setmode(fileno(file), O_BINARY) 12 #define SET_BINARY_MODE(file)
|
/seL4-test-master/kernel/src/ |
H A D | assert.c | 14 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 D | elf32.h | 60 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 D | elf64.h | 62 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 D | assert.c | 4 _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 D | flock.c | 1 #include <sys/file.h>
|
/seL4-test-master/projects/util_libs/libelf/include/elf/ |
H A D | elf64.h | 103 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 D | elf32.h | 108 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 D | helper_gen.py | 18 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 D | testutil.c | 74 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 D | dlopen.c | 7 static void *stub_dlopen(const char *file, int mode) argument
|
/seL4-test-master/tools/riscv-pk/scripts/ |
H A D | mk-install-dirs.sh | 11 for file 13 set fnord `echo ":$file" | sed -ne 's/^:\//#/;s/^://;s/\// /g;s/^#/\//;p'`
|
/seL4-test-master/projects/musllibc/src/process/ |
H A D | execvp.c | 10 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 D | posix_spawnp.c | 11 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 D | execlp.c | 4 int execlp(const char *file, const char *argv0, ...) argument 20 return execvp(file, argv);
|
/seL4-test-master/projects/musllibc/tools/ |
H A D | ld.musl-clang.in | 30 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 D | testutil.h | 72 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 D | cmakerepl | 10 # 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 D | guest_image.c | 24 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 D | extract_results.py | 43 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 D | encode_stream.c | 12 FILE *file = (FILE*) stream->state; local 13 return fwrite(buf, 1, count, file) == count;
|
/seL4-test-master/tools/seL4/misc/ |
H A D | is-valid-shell-script | 33 # 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 D | assert.h | 16 const char *file, 25 const char *file,
|
/seL4-test-master/kernel/libsel4/include/sel4/ |
H A D | assert.h | 19 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 D | guest_image.c | 57 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...] |