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

123

/seL4-test-master/tools/nanopb/extra/
H A Dnanopb.mk1 # This is an include file for Makefiles. It provides rules for building
/seL4-test-master/kernel/libsel4/tools/
H A Dinvocation_header_gen.py147 help='Name of xml file with invocation definitions', required=True)
149 help='Name of file to create', required=True)
165 print("Error: invalid xml file", file=sys.stderr)
/seL4-test-master/kernel/manual/tools/libsel4_tools/
H A Dinvocation_header_gen.py147 help='Name of xml file with invocation definitions', required=True)
149 help='Name of file to create', required=True)
165 print("Error: invalid xml file", file=sys.stderr)
/seL4-test-master/kernel/tools/
H A Dinvocation_header_gen.py147 help='Name of xml file with invocation definitions', required=True)
149 help='Name of file to create', required=True)
165 print("Error: invalid xml file", file=sys.stderr)
/seL4-test-master/tools/riscv-pk/pk/
H A Dsyscall.c5 #include "file.h"
87 file_t* file = file_openat(kfd, name, flags, mode); local
88 if (IS_ERR_VALUE(file))
89 return PTR_ERR(file);
91 int fd = file_dup(file);
93 file_decref(file);
/seL4-test-master/tools/nanopb/tests/backwards_compatibility/
H A Dalltypes_legacy.c8 #error Regenerate this file with the current version of nanopb generator.
H A Dalltypes_legacy.h10 #error Regenerate this file with the current version of nanopb generator.
/seL4-test-master/projects/util_libs/libutils/include/utils/
H A Dzf_log.h12 * the current value of ZF_LOG_VERSION before including this file (or via
18 * In that case compilation will fail when included file has incompatible
38 * Example: configuration file not found, auth error.
46 * Ideally, log file of debugged, well tested, production ready application
76 * Defining either ZF_LOG_DEF_LEVEL or ZF_LOG_LEVEL in header file is usually
248 const char *const file, const unsigned line,
255 const char *const file, const unsigned line,
/seL4-test-master/tools/riscv-pk/
H A Dconfigure112 $as_echo "$as_myself: error: cannot find myself; rerun with an absolute file name" >&2
365 # Test if FILE is an executable regular file.
516 rm -f conf$$ conf$$.exe conf$$.file
518 rm -f conf$$.dir/conf$$.file
523 if (echo >conf$$.file) 2>/dev/null; then
524 if ln -s conf$$.file conf$$ 2>/dev/null; then
527 # 1) On MSYS, both `ln -s file dir' and `ln file dir' fail.
530 ln -s conf$$.file conf$$.dir 2>/dev/null && test ! -f conf$$.exe ||
532 elif ln conf$$.file con
[all...]
/seL4-test-master/
H A Dgriddle127 # Back up the CMake cache file, re-run CMake, and see if the new cache file
137 die "CMake cache file \"$CMAKECACHE\" unexpectedly does not exist!"
153 # @params: one or more strings comprising a line from a CMake input file
237 # Is an easy config file available?
241 # CMake lists file, but not an easy settings file.
318 # seekable. So we have to set up a temporary file, ensure we write to it
327 # # Clean up the temporary file and deregister the signal handler.
331 # When the user interrupts the script, the temporary file ha
[all...]
/seL4-test-master/tools/seL4/cmake-tool/
H A Dgriddle127 # Back up the CMake cache file, re-run CMake, and see if the new cache file
137 die "CMake cache file \"$CMAKECACHE\" unexpectedly does not exist!"
153 # @params: one or more strings comprising a line from a CMake input file
237 # Is an easy config file available?
241 # CMake lists file, but not an easy settings file.
318 # seekable. So we have to set up a temporary file, ensure we write to it
327 # # Clean up the temporary file and deregister the signal handler.
331 # When the user interrupts the script, the temporary file ha
[all...]
/seL4-test-master/projects/seL4_libs/libsel4utils/src/
H A Dprocess.c564 char *file = cpio_get_file(_cpio_archive, cpio_len, config.image_name, &size); local
566 elf_newFile(file, size, &elf);
581 ZF_LOGE("Failed to load elf file\n");
/seL4-test-master/projects/musllibc/ldso/
H A Ddynlink.c647 * the length of the file. This is okay because we will not
658 /* If the loaded file is not relocatable and the requested address is
1644 void *dlopen(const char *file, int mode) argument
1653 if (!file) return head;
1696 } else p = load_library(file, head);
1702 file);
/seL4-test-master/tools/nanopb/generator/
H A Dnanopb_generator.py6 '''Generate header file for nanopb from a ProtoBuf FileDescriptorSet.'''
633 # The dependency is from the same file and size cannot be
641 # file, and it or its .options could not be found.
643 # has been #defined in the other file.
746 '''Declaration of the extension type in the .pb.h file'''
756 '''Definition of the extension type in the .pb.c file'''
1059 '''Return the field descriptor definition that goes in .pb.c file.'''
1252 # Some of types used in this file probably come from the file itself.
1359 '''Generate content for a header file
[all...]
/seL4-test-master/projects/musllibc/
H A Dconfigure214 test "$i" -gt 50 && fail "$0: cannot create temporary file $tmpc"
402 printf ".file 1 \"srcfile.s\"\n.line 1\n.cfi_startproc\n.cfi_endproc" | $CC -g -x assembler -c -o /dev/null 2>/dev/null -
593 test -z "$LIBCC" && try_libcc=`$CC -print-file-name=libpcc.a 2>/dev/null` \

Completed in 75 milliseconds

123