| /seL4-camkes-master/tools/rumprun/tests/cmake/ |
| H A D | test.c | 3 #include <sys/types.h>
|
| /seL4-camkes-master/tools/rumprun/tests/configure/ |
| H A D | test.c | 3 #include <sys/types.h>
|
| /seL4-camkes-master/projects/camkes-tool/ |
| H A D | alltests.py | 29 import argparse, multiprocessing, os, subprocess, sys, unittest namespace
72 sys.exit(main(sys.argv))
|
| /seL4-camkes-master/projects/camkes-tool/camkes/runner/tests/ |
| H A D | lint.py | 19 import os, pylint, re, sys, unittest namespace
25 sys.path.append(os.path.join(os.path.dirname(ME), '../../..'))
28 sys.path.append(os.path.join(os.path.dirname(ME), '../../../../python-capdl'))
|
| /seL4-camkes-master/projects/camkes-tool/tools/ |
| H A D | sqlite-lint.c | 34 #include <sys/mman.h>
35 #include <sys/stat.h>
36 #include <sys/types.h>
|
| H A D | check_deps.py | 24 import abc, argparse, importlib, os, re, shutil, subprocess, sys, tempfile namespace
227 sys.stdout.write('Dependencies of %s\n' % k)
229 sys.stdout.write(' %s (%s)... ' % (p.name, p.description))
232 sys.stdout.write(green('Found\n'))
238 sys.stdout.write(red('%s\n' % e))
240 sys.stdout.write(red('You will not be able to build/run this component\n'))
241 sys.stdout.write('\n')
247 sys.stdout.write('Suggestions:\n')
249 sys.stdout.write(yellow(' %s (%s): %s\n' % (p.name, p.description, note)))
254 sys
[all...] |
| /seL4-camkes-master/tools/rumprun/lib/librumprun_base/ |
| H A D | netbsd_initfini.c | 26 #include <sys/types.h>
28 #include <sys/exec_elf.h>
29 #include <sys/exec.h>
|
| H A D | syscall_misc.c | 26 #include <sys/cdefs.h>
27 #include <sys/resource.h>
28 #include <sys/time.h>
|
| /seL4-camkes-master/tools/rumprun/platform/xen/librumpnet_xenif/ |
| H A D | if_virt.c | 28 #include <sys/cdefs.h>
31 #include <sys/param.h>
32 #include <sys/condvar.h>
33 #include <sys/fcntl.h>
34 #include <sys/kernel.h>
35 #include <sys/kmem.h>
36 #include <sys/kthread.h>
37 #include <sys/mutex.h>
38 #include <sys/poll.h>
39 #include <sys/socki
[all...] |
| /seL4-camkes-master/kernel/tools/ |
| H A D | reciprocal.py | 18 import sys namespace
32 sys.exit(1)
56 sys.exit(-1)
|
| H A D | invocation_header_gen.py | 14 import sys namespace
165 print("Error: invalid xml file", file=sys.stderr)
166 sys.exit(-1)
|
| /seL4-camkes-master/tools/seL4/cmake-tool/simulate_scripts/ |
| H A D | simulate.py | 9 import sys namespace
50 sys.stderr.write("{}: {}".format(progname, message))
51 sys.stderr.flush()
56 progname = sys.argv[0]
93 sys.stderr.write('\n')
|
| /seL4-camkes-master/projects/camkes-tool/docs/ |
| H A D | generate-diagrams.py | 24 import os, sys namespace
181 if len(sys.argv) == 2:
182 out = sys.argv[1]
183 elif len(sys.argv) == 1:
186 sys.stderr.write('Usage: %s [output directory]\n' % sys.argv[0])
203 sys.exit(main())
|
| /seL4-camkes-master/tools/rumprun/lib/librumpkern_mman/ |
| H A D | sys_mman.c | 32 #include <sys/cdefs.h>
34 #include <sys/param.h>
35 #include <sys/errno.h>
36 #include <sys/file.h>
37 #include <sys/filedesc.h>
38 #include <sys/kmem.h>
39 #include <sys/mman.h>
40 #include <sys/queue.h>
41 #include <sys/syscall.h>
42 #include <sys/syscallarg
[all...] |
| /seL4-camkes-master/tools/rumprun/platform/xen/librumpxen_xendev/ |
| H A D | privcmd.c | 30 #include <sys/cdefs.h>
33 #include <sys/errno.h>
34 #include <sys/mount.h>
35 #include <sys/dirent.h>
37 #include <sys/vnode_if.h>
38 #include <sys/vnode.h>
|
| /seL4-camkes-master/tools/seL4/cmake-tool/helpers/ |
| H A D | platform_sift.py | 15 import sys namespace
20 program_name = sys.argv[0]
201 sys.stderr.write("{} {}\n".format(prefix, problems[0]))
203 sys.stderr.write("{} has multiple problems:\n".format(prefix))
204 [sys.stderr.write('{}\t{}\n'.format(prefix, p)) for p in problems]
276 sys.exit(main())
|
| /seL4-camkes-master/projects/picotcp/modules/ |
| H A D | pico_dev_ipc.c | 8 #include <sys/poll.h>
9 #include <sys/socket.h>
10 #include <sys/un.h>
|
| /seL4-camkes-master/tools/rumprun/tests/basic/ |
| H A D | misc_test.c | 1 #include <sys/param.h>
2 #include <sys/times.h>
3 #include <sys/mman.h>
|
| /seL4-camkes-master/kernel/libsel4/tools/ |
| H A D | invocation_header_gen.py | 14 import sys namespace
165 print("Error: invalid xml file", file=sys.stderr)
166 sys.exit(-1)
|
| /seL4-camkes-master/kernel/manual/tools/libsel4_tools/ |
| H A D | invocation_header_gen.py | 14 import sys namespace
165 print("Error: invalid xml file", file=sys.stderr)
166 sys.exit(-1)
|
| /seL4-camkes-master/tools/seL4/misc/ |
| H A D | style.py | 17 import sys namespace
60 script = os.path.join(os.path.dirname(os.path.realpath(sys.argv[0])), k)
70 sys.exit(main())
|
| /seL4-camkes-master/projects/projects_libs/libringbuffer/include/ringbuffer/ |
| H A D | ringbuffer.h | 27 #include <sys/types.h>
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/ |
| H A D | dataport.h | 17 #include <sys/types.h>
|
| /seL4-camkes-master/projects/musllibc/include/sys/ |
| H A D | msg.h | 8 #include <sys/ipc.h>
|
| H A D | shm.h | 16 #include <sys/ipc.h>
|