Searched refs:sys (Results 1 - 25 of 462) sorted by last modified time

1234567891011>>

/seL4-camkes-master/projects/camkes/apps/testsyscalls/
H A Dclient.c21 #include <sys/mman.h>
22 #include <sys/types.h>
H A Dserver.c14 #include <sys/types.h>
/seL4-camkes-master/projects/camkes/apps/terminal/tools/
H A Dtermsize.c8 #include <sys/ioctl.h>
/seL4-camkes-master/projects/camkes/apps/rumprun_ethernet/components/rump_ether/
H A Dtcp_server.c31 #include <sys/types.h>
32 #include <sys/socket.h>
/seL4-camkes-master/kernel/libsel4/arch_include/riscv/sel4/arch/
H A Dsyscalls.h25 static inline void riscv_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, argument
38 register seL4_Word scno asm("a7") = sys;
48 static inline void riscv_sys_reply(seL4_Word sys, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, seL4_Word mr2, argument
60 register seL4_Word scno asm("a7") = sys;
70 static inline void riscv_sys_send_null(seL4_Word sys, seL4_Word src, seL4_Word info_arg) argument
76 register seL4_Word scno asm("a7") = sys;
84 static inline void riscv_sys_recv(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word *out_info, seL4_Word argument
98 register seL4_Word scno asm("a7") = sys;
114 static inline void riscv_sys_null(seL4_Word sys) argument
116 register seL4_Word scno asm("a7") = sys;
124 riscv_sys_send_recv(seL4_Word sys, seL4_Word dest, 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, LIBSEL4_UNUSED seL4_Word reply) argument
158 riscv_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
[all...]
/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/kernel/manual/tools/libsel4_tools/
H A Dsyscall_stub_gen.py44 import sys namespace
1074 sys.exit(2)
1087 sys.exit(2)
1093 sys.exit(2)
1100 sys.exit(main())
H A Dbitfield_gen.py14 import sys namespace
129 print("%s: Unexpected character '%s'" % (sys.argv[0], t.value[0]),
130 file=sys.stderr)
132 print('Token: %s' % str(t), file=sys.stderr)
133 sys.exit(1)
256 print("Syntax error at token '%s'" % t.value, file=sys.stderr)
257 sys.exit(1)
2164 print("-----%s.%s" % (self.name, self.tagname), file=sys.stderr)
2167 file=sys.stderr)
2635 print('Temp file: %r -> %r' % (self.file.name, self.filename), file=sys
[all...]
/seL4-camkes-master/kernel/libsel4/tools/
H A Dsyscall_stub_gen.py44 import sys namespace
1074 sys.exit(2)
1087 sys.exit(2)
1093 sys.exit(2)
1100 sys.exit(main())
H A Dbitfield_gen.py14 import sys namespace
129 print("%s: Unexpected character '%s'" % (sys.argv[0], t.value[0]),
130 file=sys.stderr)
132 print('Token: %s' % str(t), file=sys.stderr)
133 sys.exit(1)
256 print("Syntax error at token '%s'" % t.value, file=sys.stderr)
257 sys.exit(1)
2164 print("-----%s.%s" % (self.name, self.tagname), file=sys.stderr)
2167 file=sys.stderr)
2635 print('Temp file: %r -> %r' % (self.file.name, self.filename), file=sys
[all...]
/seL4-camkes-master/projects/seL4_libs/libsel4test/tools/
H A Dextract_results.py16 import sys namespace
70 default=sys.stdin)
73 default=sys.stdout)
86 print('Failed to strip leading and trailing garbage', file=sys.stderr)
101 print('Failed to parse input: %s' % inst, file=sys.stderr)
107 print('Failed to find initial %s tag: %s' % (TOP_TAG, inst), file=sys.stderr)
113 print('While navigating XML: %s' % inst, file=sys.stderr)
119 sys.exit(main())
/seL4-camkes-master/tools/rumprun/platform/sel4/
H A Dentry.c41 #include <sys/mman.h>
/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/
H A Dio.h19 #include <sys/types.h>
/seL4-camkes-master/projects/seL4_libs/libsel4muslcsys/src/
H A Dvsyscall.c23 #include <sys/uio.h>
/seL4-camkes-master/tools/cogent/cogent/examples/brutal/
H A Dbrutal_manual.c57 findStuff_ret_t findStuff (SysState *sys, char *name) { argument
58 get_block_ret_t ret_block = get_block(sys);
59 sys = ret_block.p1;
69 return (findStuff_ret_t){ .p1 = sys, .p2 = stuff_ptr(e) };
72 return (findStuff_ret_t){ .p1 = sys, .p2 = NULL};
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/tk1/
H A Dgpio.c121 static inline tk1_gpio_regs_t *tk1_gpio_get_priv(gpio_sys_t *sys) argument
123 ZF_LOGF_IF(sys == NULL, "Invalid controller handle!");
124 return (tk1_gpio_regs_t *)sys->priv;
133 static inline tk1_gpio_bank_t *tk1_gpio_get_bank_by_pin(gpio_sys_t *sys, int pin) argument
135 return &tk1_gpio_get_priv(sys)->bank[GPIO_BANK(pin)];
/seL4-camkes-master/projects/capdl/cdl_utils/
H A Dcapdl_linker.py13 import sys namespace
152 sys.exit(main())
/seL4-camkes-master/projects/camkes-tool/camkes/runner/
H A DContext.py38 orderedset, os, pdb, re, six, sys, textwrap, math namespace
193 'sys': sys,
/seL4-camkes-master/kernel/tools/
H A Dbitfield_gen.py14 import sys namespace
129 print("%s: Unexpected character '%s'" % (sys.argv[0], t.value[0]),
130 file=sys.stderr)
132 print('Token: %s' % str(t), file=sys.stderr)
133 sys.exit(1)
256 print("Syntax error at token '%s'" % t.value, file=sys.stderr)
257 sys.exit(1)
2164 print("-----%s.%s" % (self.name, self.tagname), file=sys.stderr)
2167 file=sys.stderr)
2635 print('Temp file: %r -> %r' % (self.file.name, self.filename), file=sys
[all...]
/seL4-camkes-master/projects/lwip/test/unit/arch/
H A Dsys_arch.c41 #include <lwip/sys.h>
/seL4-camkes-master/projects/lwip/src/netif/ppp/
H A Dutils.c48 #include <sys/param.h>
49 #include <sys/types.h>
50 #include <sys/wait.h>
51 #include <sys/time.h>
52 #include <sys/resource.h>
53 #include <sys/stat.h>
54 #include <sys/socket.h>
57 #include <sys/mkdev.h>
H A Dipv6cp.c158 #include <sys/param.h>
159 #include <sys/types.h>
160 #include <sys/socket.h>
H A Dipcp.c55 #include <sys/param.h>
56 #include <sys/types.h>
57 #include <sys/socket.h>
H A Dfsm.c55 #include <sys/types.h>
H A Dchap_ms.c85 #include <sys/types.h>
86 #include <sys/time.h>

Completed in 262 milliseconds

1234567891011>>