Searched refs:file (Results 51 - 65 of 65) sorted by relevance
123
/seL4-test-master/tools/nanopb/extra/ |
H A D | nanopb.mk | 1 # This is an include file for Makefiles. It provides rules for building
|
/seL4-test-master/kernel/libsel4/tools/ |
H A D | invocation_header_gen.py | 147 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 D | invocation_header_gen.py | 147 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 D | invocation_header_gen.py | 147 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 D | syscall.c | 5 #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 D | alltypes_legacy.c | 8 #error Regenerate this file with the current version of nanopb generator.
|
H A D | alltypes_legacy.h | 10 #error Regenerate this file with the current version of nanopb generator.
|
/seL4-test-master/projects/util_libs/libutils/include/utils/ |
H A D | zf_log.h | 12 * 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 D | configure | 112 $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 D | griddle | 127 # 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 D | griddle | 127 # 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 D | process.c | 564 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 D | dynlink.c | 647 * 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 D | nanopb_generator.py | 6 '''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 D | configure | 214 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