Searched refs:sys (Results 101 - 125 of 462) sorted by relevance

1234567891011>>

/seL4-camkes-master/projects/musllibc/src/termios/
H A Dcfgetospeed.c3 #include <sys/ioctl.h>
/seL4-camkes-master/projects/musllibc/src/unistd/
H A Dnice.c2 #include <sys/resource.h>
H A Dtcgetpgrp.c3 #include <sys/ioctl.h>
H A Dtcsetpgrp.c3 #include <sys/ioctl.h>
/seL4-camkes-master/projects/picotcp/include/arch/
H A Dpico_none.h12 #include <sys/time.h>
/seL4-camkes-master/tools/seL4/misc/
H A Dwhence.py24 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 Dfutimes.c2 #include <sys/stat.h>
3 #include <sys/time.h>
H A Dlutimes.c2 #include <sys/stat.h>
3 #include <sys/time.h>
/seL4-camkes-master/projects/musllibc/src/network/
H A Dif_nametoindex.c3 #include <sys/socket.h>
4 #include <sys/ioctl.h>
/seL4-camkes-master/projects/camkes-tool/tools/
H A Dmake_isabelle_symbols.py26 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 Dgoanna_wrapper.py36 import re, subprocess, sys namespace
114 sys.exit(main(sys.argv, sys.stdout, sys.stderr))
H A Djinja_pylint.py22 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 Dmemusage.py18 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 Dsyscalls.h56 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 Dsyscalls.h56 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 Dsyscalls.h57 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 Dsyscalls_sysenter.h22 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 Dsyscalls_syscall.h21 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 Dprocfs.h7 #include <sys/time.h>
8 #include <sys/types.h>
9 #include <sys/user.h>
/seL4-camkes-master/kernel/tools/
H A Dcircular_includes.py14 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 Drunall.py20 import sys namespace
48 sys.exit(main(sys.argv))
/seL4-camkes-master/projects/camkes-tool/camkes/internal/
H A Dterminal.py26 import os, subprocess, sys namespace
36 if not sys.stdout.isatty():
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/bcm2837/
H A Dclock.c33 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 Dclock.c38 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 Dclock.c40 clk_print_clock_tree(clock_sys_t* sys) argument
42 clk_t *clk = clk_get_clock(sys, CLK_MASTER);

Completed in 226 milliseconds

1234567891011>>