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

123456

/seL4-camkes-master/projects/lwip/src/apps/http/
H A Dfs.c27 * This file is part of the lwIP TCP/IP stack.
44 int fs_open_custom(struct fs_file *file, const char *name);
45 void fs_close_custom(struct fs_file *file);
47 u8_t fs_canread_custom(struct fs_file *file);
48 u8_t fs_wait_read_custom(struct fs_file *file, fs_wait_cb callback_fn, void *callback_arg);
49 int fs_read_async_custom(struct fs_file *file, char *buffer, int count, fs_wait_cb callback_fn, void *callback_arg);
51 int fs_read_custom(struct fs_file *file, char *buffer, int count);
57 fs_open(struct fs_file *file, const char *name) argument
61 if ((file == NULL) || (name == NULL)) {
66 if (fs_open_custom(file, nam
96 fs_close(struct fs_file *file) argument
112 fs_read_async(struct fs_file *file, char *buffer, int count, fs_wait_cb callback_fn, void *callback_arg) argument
150 fs_is_file_ready(struct fs_file *file, fs_wait_cb callback_fn, void *callback_arg) argument
171 fs_bytes_left(struct fs_file *file) argument
[all...]
/seL4-camkes-master/projects/lwip/src/apps/http/makefsdata/
H A Dmakefsdata8 while($file = <FILES>) {
11 if($file =~ /(CVS|~)/) {
15 chop($file);
18 if($file =~ /404/) {
24 if($file =~ /\.html$/) {
26 } elsif($file =~ /\.gif$/) {
28 } elsif($file =~ /\.png$/) {
30 } elsif($file =~ /\.jpg$/) {
32 } elsif($file =~ /\.class$/) {
34 } elsif($file
[all...]
/seL4-camkes-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-camkes-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-camkes-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-camkes-master/projects/musllibc/src/linux/
H A Dflock.c1 #include <sys/file.h>
/seL4-camkes-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-camkes-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-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/preprocessor/debug/
H A Dline.hpp5 # * accompanying file LICENSE_1_0.txt or copy at
23 # define MSGPACK_PP_LINE(line, file) line MSGPACK_PP_CAT(MSGPACK_PP_LINE_, MSGPACK_PP_IS_ITERATING)(file)
24 # define MSGPACK_PP_LINE_MSGPACK_PP_IS_ITERATING(file) #file
25 # define MSGPACK_PP_LINE_1(file) MSGPACK_PP_STRINGIZE(file MSGPACK_PP_CAT(MSGPACK_PP_LINE_I_, MSGPACK_PP_ITERATION_DEPTH())())
32 # define MSGPACK_PP_LINE(line, file) line __FILE__
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/
H A Dfbuffer.hpp7 // (See accompanying file LICENSE_1_0.txt or copy at
26 explicit fbuffer(FILE* file) : m_file(file) { } argument
36 FILE* file() const function in class:msgpack::fbuffer
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/preprocessor/iteration/detail/
H A Dself.hpp5 # * accompanying file LICENSE_1_0.txt or copy at
13 # error MSGPACK_PP_ERROR: no indirect file to include
/seL4-camkes-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-camkes-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-camkes-master/projects/musllibc/src/ldso/
H A Ddlopen.c7 static void *stub_dlopen(const char *file, int mode) argument
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/test/
H A Dbuffer.cpp96 FILE* file; local
97 tmpfile_s(&file);
99 FILE* file = tmpfile();
101 EXPECT_TRUE( file != NULL );
103 msgpack::fbuffer fbuf(file);
104 EXPECT_EQ(file, fbuf.file());
110 fflush(file);
111 rewind(file);
113 int ch = fgetc(file);
125 FILE* file; local
[all...]
/seL4-camkes-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);
/seL4-camkes-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-camkes-master/projects/lwip/src/include/lwip/apps/
H A Dfs.h27 * This file is part of the lwIP TCP/IP stack.
70 arbitrary data, e.g. holding some file state or file system handle */
89 err_t fs_open(struct fs_file *file, const char *name);
90 void fs_close(struct fs_file *file);
93 int fs_read_async(struct fs_file *file, char *buffer, int count, fs_wait_cb callback_fn, void *callback_arg);
95 int fs_read(struct fs_file *file, char *buffer, int count);
99 int fs_is_file_ready(struct fs_file *file, fs_wait_cb callback_fn, void *callback_arg);
101 int fs_bytes_left(struct fs_file *file);
104 /** This user-defined function is called when a file i
[all...]
/seL4-camkes-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-camkes-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-camkes-master/tools/cogent/impl/fs/ext2/cogent/plat/linux/
H A Dmodule.c13 static int ext2fs_readpage_nolock(struct file *file, struct page *page);
16 static int ext2fs_readpages_nolock(struct file *file, struct address_space *mapping,
19 static int ext2fs_write_begin_nolock(struct file *file, struct address_space *mapping,
22 static int ext2fs_write_end_nolock(struct file *file, struct address_space *mapping,
73 static int ext2fs_readpage(struct file *file, struc argument
89 ext2fs_readpage_nolock(struct file *file, struct page *page) argument
94 ext2fs_readpages(struct file *file, struct address_space *mapping, struct list_head *pages, unsigned nr_pages) argument
112 ext2fs_readpages_nolock(struct file *file, struct address_space *mapping, struct list_head *pages, unsigned nr_pages) argument
173 ext2fs_write_begin(struct file *file, struct address_space *mapping, loff_t pos, unsigned len, unsigned flags, struct page **pagep, void **fsdata) argument
192 ext2fs_write_begin_nolock(struct file *file, struct address_space *mapping, loff_t pos, unsigned len, unsigned flags, struct page **pagep, void **fsdata) argument
204 ext2fs_write_end(struct file *file, struct address_space *mapping, loff_t pos, unsigned len, unsigned copied, struct page *page, void *fsdata) argument
223 ext2fs_write_end_nolock(struct file *file, struct address_space *mapping, loff_t pos, unsigned len, unsigned copied, struct page *page, void *fsdata) argument
257 struct file *file = iocb->ki_filp; local
278 struct file *file = iocb->ki_filp; local
297 struct file *file = iocb->ki_filp; local
313 struct file *file = iocb->ki_filp; local
[all...]
/seL4-camkes-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...]

Completed in 224 milliseconds

123456