/seL4-camkes-master/projects/musllibc/src/termios/ |
H A D | cfgetospeed.c | 3 #include <sys/ioctl.h>
|
/seL4-camkes-master/projects/musllibc/src/unistd/ |
H A D | nice.c | 2 #include <sys/resource.h>
|
H A D | tcgetpgrp.c | 3 #include <sys/ioctl.h>
|
H A D | tcsetpgrp.c | 3 #include <sys/ioctl.h>
|
/seL4-camkes-master/projects/picotcp/include/arch/ |
H A D | pico_none.h | 12 #include <sys/time.h>
|
/seL4-camkes-master/tools/seL4/misc/ |
H A D | whence.py | 24 import sys namespace 60 sys.stderr.write('Cloning %s into a temporary directory...\n' % opts.upstream) 66 sys.stderr.write('Cloning %s into a temporary directory...\n' % opts.downstream) 73 sys.stderr.write('Updating downstream to %s...\n' % opts.downstream_commit) 79 sys.stderr.write('Retrieving candidate commit list...\n') 84 sys.stderr.write('%d commits to consider\n' % len(commits)) 92 sys.stderr.write('Considering %s (%d of %d)...\n' % (commit, index, len(commits))) 103 sys.stderr.write('This commit has a difference metric of %d\n' % diff) 109 sys.stderr.write('The most likely commit is %s\n' % min_commit) 115 sys [all...] |
/seL4-camkes-master/projects/musllibc/src/legacy/ |
H A D | futimes.c | 2 #include <sys/stat.h> 3 #include <sys/time.h>
|
H A D | lutimes.c | 2 #include <sys/stat.h> 3 #include <sys/time.h>
|
/seL4-camkes-master/projects/musllibc/src/network/ |
H A D | if_nametoindex.c | 3 #include <sys/socket.h> 4 #include <sys/ioctl.h>
|
/seL4-camkes-master/projects/camkes-tool/tools/ |
H A D | make_isabelle_symbols.py | 26 import argparse, codecs, six, sys namespace 78 sys.stderr.write('unexpected format of line %d\n' % number) 89 sys.stderr.write('invalid code field on line %d\n' % 97 sys.stderr.write('no code field on line %d\n' % number) 105 sys.exit(main(sys.argv))
|
H A D | goanna_wrapper.py | 36 import re, subprocess, sys namespace 114 sys.exit(main(sys.argv, sys.stdout, sys.stderr))
|
H A D | jinja_pylint.py | 22 import atexit, jinja2, os, shutil, subprocess, sys, tempfile namespace 67 sys.exit(main(sys.argv, sys.stdout, sys.stderr))
|
/seL4-camkes-master/tools/cogent/regression/ |
H A D | memusage.py | 18 import subprocess, sys, threading, time namespace 129 if len(sys.argv) <= 1 or sys.argv[1] in ['-?', '--help']: 130 print >>sys.stderr, 'Usage: %s command args...\n Measure peak memory ' \ 131 'usage of a command' % sys.argv[0] 140 sys.exit(1) 144 p = subprocess.Popen(sys.argv[1:]) 146 print >>sys.stderr, 'command not found' 158 print >>sys.stderr, 'Peak usage %d bytes' % high 163 sys [all...] |
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
H A D | syscalls.h | 56 static inline void arm_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, argument 69 register seL4_Word scno asm("r7") = sys; 79 static inline void arm_sys_reply(seL4_Word sys, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, seL4_Word mr2, argument 91 register seL4_Word scno asm("r7") = sys; 101 static inline void arm_sys_send_null(seL4_Word sys, seL4_Word src, seL4_Word info_arg) argument 107 register seL4_Word scno asm("r7") = sys; 115 static inline void arm_sys_recv(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word *out_info, argument 130 register seL4_Word scno asm("r7") = sys; 146 static inline void arm_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_badge, seL4_Word info_arg, argument 161 register seL4_Word scno asm("r7") = sys; 178 arm_sys_nbsend_recv(seL4_Word sys, seL4_Word dest, seL4_Word src, seL4_Word *out_badge, seL4_Word info_arg, seL4_Word *out_info, seL4_Word *in_out_mr0, seL4_Word *in_out_mr1, seL4_Word *in_out_mr2, seL4_Word *in_out_mr3, seL4_Word reply) argument 214 arm_sys_null(seL4_Word sys) argument [all...] |
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/ |
H A D | syscalls.h | 56 static inline void arm_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, argument 69 register seL4_Word scno asm("r7") = sys; 79 static inline void arm_sys_reply(seL4_Word sys, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, seL4_Word mr2, argument 91 register seL4_Word scno asm("r7") = sys; 101 static inline void arm_sys_send_null(seL4_Word sys, seL4_Word src, seL4_Word info_arg) argument 107 register seL4_Word scno asm("r7") = sys; 115 static inline void arm_sys_recv(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word *out_info, argument 130 register seL4_Word scno asm("r7") = sys; 146 static inline void arm_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_badge, seL4_Word info_arg, argument 161 register seL4_Word scno asm("r7") = sys; 178 arm_sys_nbsend_recv(seL4_Word sys, seL4_Word dest, seL4_Word src, seL4_Word *out_badge, seL4_Word info_arg, seL4_Word *out_info, seL4_Word *in_out_mr0, seL4_Word *in_out_mr1, seL4_Word *in_out_mr2, seL4_Word *in_out_mr3, seL4_Word reply) argument 214 arm_sys_null(seL4_Word sys) argument [all...] |
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
H A D | syscalls.h | 57 static inline void arm_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, argument 70 register seL4_Word scno asm("x7") = sys; 80 static inline void arm_sys_reply(seL4_Word sys, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, seL4_Word mr2, argument 92 register seL4_Word scno asm("x7") = sys; 102 static inline void arm_sys_send_null(seL4_Word sys, seL4_Word src, seL4_Word info_arg) argument 108 register seL4_Word scno asm("x7") = sys; 116 static inline void arm_sys_recv(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word *out_info, argument 130 register seL4_Word scno asm("x7") = sys; 146 static inline void arm_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_badge, seL4_Word info_arg, argument 161 register seL4_Word scno asm("x7") = sys; 178 arm_sys_nbsend_recv(seL4_Word sys, seL4_Word dest, seL4_Word src, seL4_Word *out_badge, seL4_Word info_arg, seL4_Word *out_info, seL4_Word *in_out_mr0, seL4_Word *in_out_mr1, seL4_Word *in_out_mr2, seL4_Word *in_out_mr3, seL4_Word reply) argument 214 arm_sys_null(seL4_Word sys) argument [all...] |
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
H A D | syscalls_sysenter.h | 22 static inline void x64_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info, seL4_Word msg0, seL4_Word msg1, argument 36 : "a"(sys), 48 static inline void x64_sys_reply(seL4_Word sys, seL4_Word info, seL4_Word msg0, seL4_Word msg1, seL4_Word msg2, argument 62 : "a"(sys), 73 static inline void x64_sys_send_null(seL4_Word sys, seL4_Word dest, seL4_Word info) argument 81 : "a"(sys), 88 static inline void x64_sys_recv(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word *out_info, argument 108 : "a"(sys), 120 static inline void x64_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_dest, seL4_Word info, argument 141 : "a"(sys), 159 x64_sys_nbsend_recv(seL4_Word sys, seL4_Word dest, seL4_Word src, seL4_Word *out_dest, seL4_Word info, seL4_Word *out_info, seL4_Word *in_out_mr0, seL4_Word *in_out_mr1, seL4_Word *in_out_mr2, seL4_Word *in_out_mr3, seL4_Word reply) argument 196 x64_sys_null(seL4_Word sys) argument [all...] |
H A D | syscalls_syscall.h | 21 static inline void x64_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info, seL4_Word msg0, seL4_Word msg1, argument 34 : "d"(sys), 46 static inline void x64_sys_reply(seL4_Word sys, seL4_Word info, seL4_Word msg0, seL4_Word msg1, seL4_Word msg2, argument 59 : "d"(sys), 70 static inline void x64_sys_send_null(seL4_Word sys, seL4_Word dest, seL4_Word info) argument 77 : "d"(sys), 84 static inline void x64_sys_recv(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word *out_info, argument 104 : "d"(sys), 115 static inline void x64_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_dest, seL4_Word info, argument 135 : "d"(sys), 152 x64_sys_nbsend_recv(seL4_Word sys, seL4_Word dest, seL4_Word src, seL4_Word *out_dest, seL4_Word info, seL4_Word *out_info, seL4_Word *in_out_mr0, seL4_Word *in_out_mr1, seL4_Word *in_out_mr2, seL4_Word *in_out_mr3, seL4_Word reply) argument 191 x64_sys_null(seL4_Word sys) argument [all...] |
/seL4-camkes-master/projects/musllibc/include/sys/ |
H A D | procfs.h | 7 #include <sys/time.h> 8 #include <sys/types.h> 9 #include <sys/user.h>
|
/seL4-camkes-master/kernel/tools/ |
H A D | circular_includes.py | 14 import sys namespace 37 for line in sys.stdin: 74 sys.exit(main(args))
|
/seL4-camkes-master/projects/capdl/python-capdl-tool/tests/ |
H A D | runall.py | 20 import sys namespace 48 sys.exit(main(sys.argv))
|
/seL4-camkes-master/projects/camkes-tool/camkes/internal/ |
H A D | terminal.py | 26 import os, subprocess, sys namespace 36 if not sys.stdout.isatty():
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/bcm2837/ |
H A D | clock.c | 33 clk_print_clock_tree(clock_sys_t* sys) argument 35 clk_t *clk = clk_get_clock(sys, CLK_MASTER);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/imx31/ |
H A D | clock.c | 38 clk_print_clock_tree(clock_sys_t* sys) argument 40 clk_t *clk = clk_get_clock(sys, CLK_MASTER);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/omap3/ |
H A D | clock.c | 40 clk_print_clock_tree(clock_sys_t* sys) argument 42 clk_t *clk = clk_get_clock(sys, CLK_MASTER);
|