/seL4-camkes-master/projects/camkes/apps/testsyscalls/ |
H A D | client.c | 21 #include <sys/mman.h> 22 #include <sys/types.h>
|
H A D | server.c | 14 #include <sys/types.h>
|
/seL4-camkes-master/projects/camkes/apps/terminal/tools/ |
H A D | termsize.c | 8 #include <sys/ioctl.h>
|
/seL4-camkes-master/projects/camkes/apps/rumprun_ethernet/components/rump_ether/ |
H A D | tcp_server.c | 31 #include <sys/types.h> 32 #include <sys/socket.h>
|
/seL4-camkes-master/kernel/libsel4/arch_include/riscv/sel4/arch/ |
H A D | syscalls.h | 25 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 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/kernel/manual/tools/libsel4_tools/ |
H A D | syscall_stub_gen.py | 44 import sys namespace 1074 sys.exit(2) 1087 sys.exit(2) 1093 sys.exit(2) 1100 sys.exit(main())
|
H A D | bitfield_gen.py | 14 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 D | syscall_stub_gen.py | 44 import sys namespace 1074 sys.exit(2) 1087 sys.exit(2) 1093 sys.exit(2) 1100 sys.exit(main())
|
H A D | bitfield_gen.py | 14 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 D | extract_results.py | 16 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 D | entry.c | 41 #include <sys/mman.h>
|
/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | io.h | 19 #include <sys/types.h>
|
/seL4-camkes-master/projects/seL4_libs/libsel4muslcsys/src/ |
H A D | vsyscall.c | 23 #include <sys/uio.h>
|
/seL4-camkes-master/tools/cogent/cogent/examples/brutal/ |
H A D | brutal_manual.c | 57 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 D | gpio.c | 121 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 D | capdl_linker.py | 13 import sys namespace 152 sys.exit(main())
|
/seL4-camkes-master/projects/camkes-tool/camkes/runner/ |
H A D | Context.py | 38 orderedset, os, pdb, re, six, sys, textwrap, math namespace 193 'sys': sys,
|
/seL4-camkes-master/kernel/tools/ |
H A D | bitfield_gen.py | 14 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 D | sys_arch.c | 41 #include <lwip/sys.h>
|
/seL4-camkes-master/projects/lwip/src/netif/ppp/ |
H A D | utils.c | 48 #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 D | ipv6cp.c | 158 #include <sys/param.h> 159 #include <sys/types.h> 160 #include <sys/socket.h>
|
H A D | ipcp.c | 55 #include <sys/param.h> 56 #include <sys/types.h> 57 #include <sys/socket.h>
|
H A D | fsm.c | 55 #include <sys/types.h>
|
H A D | chap_ms.c | 85 #include <sys/types.h> 86 #include <sys/time.h>
|