| /seL4-refos-master/libs/libmuslc/src/unistd/ |
| H A D | faccessat.c | 4 #include <sys/wait.h>
|
| /seL4-refos-master/libs/libplatsupport/src/arch/arm/ |
| H A D | clock.h | 82 clk_t* ps_get_clock(clock_sys_t* sys, enum clk_id id);
|
| H A D | clock.c | 104 clk_t *ps_get_clock(clock_sys_t *sys, enum clk_id id) argument
113 clk->clk_sys = sys;
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/ |
| H A D | clock.h | 82 clk_t* ps_get_clock(clock_sys_t* sys, enum clk_id id);
|
| H A D | clock.c | 104 clk_t *ps_get_clock(clock_sys_t *sys, enum clk_id id) argument
113 clk->clk_sys = sys;
|
| /seL4-refos-master/projects/util_libs/libutils/include/utils/ |
| H A D | circular_buffer.h | 21 #include <sys/types.h>
|
| /seL4-refos-master/kernel/tools/ |
| H A D | lex.py | 41 import sys namespace
62 if sys.version_info[0] < 3:
242 if sys.version_info[0] < 3:
461 e, b, t = sys.exc_info()
592 self.log = PlyLogger(sys.stderr)
749 if sys.version_info[0] < 3:
758 if sys.version_info[0] < 3:
804 _etype, e, _etrace = sys.exc_info()
832 _etype, e, _etrace = sys.exc_info()
924 errorlog = PlyLogger(sys
[all...] |
| /seL4-refos-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-refos-master/libs/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-refos-master/projects/refos/impl/apps/test_os/src/ |
| H A D | test_fileserv.c | 17 #include <sys/types.h>
18 #include <sys/stat.h>
|
| /seL4-refos-master/apps/test_os/src/ |
| H A D | test_fileserv.c | 17 #include <sys/types.h>
18 #include <sys/stat.h>
|
| /seL4-refos-master/libs/libmuslc/include/netinet/ |
| H A D | tcp.h | 62 #include <sys/types.h>
63 #include <sys/socket.h>
|
| /seL4-refos-master/libs/libmuslc/include/sys/ |
| H A D | mtio.h | 4 #include <sys/types.h>
5 #include <sys/ioctl.h>
|
| H A D | time.h | 9 #include <sys/select.h>
|
| H A D | timex.h | 12 #include <sys/time.h>
|
| /seL4-refos-master/libs/libmuslc/src/thread/ |
| H A D | sem_open.c | 2 #include <sys/mman.h>
11 #include <sys/stat.h>
|
| /seL4-refos-master/kernel/manual/tools/ |
| H A D | gen_invocations.py | 14 import sys namespace
142 sys.exit(main())
|
| /seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/sys/share/ |
| H A D | unixtty.c | 39 # include <sys/ioctl.h>
311 # include <sys/console.h>
316 # include <sys/emap.h>
380 # include <sys/vt.h>
|
| /seL4-refos-master/apps/nethack/src/nethack-3.4.3/sys/share/ |
| H A D | unixtty.c | 39 # include <sys/ioctl.h>
311 # include <sys/console.h>
316 # include <sys/emap.h>
380 # include <sys/vt.h>
|
| /seL4-refos-master/libs/libmuslc/src/linux/ |
| H A D | xattr.c | 1 #include <sys/xattr.h>
|
| /seL4-refos-master/libs/libmuslc/src/mq/ |
| H A D | mq_notify.c | 4 #include <sys/socket.h>
|
| /seL4-refos-master/libs/libmuslc/src/network/ |
| H A D | gethostbyaddr_r.c | 3 #include <sys/socket.h>
|
| H A D | gethostbyname2_r.c | 3 #include <sys/socket.h>
|
| H A D | inet_pton.c | 1 #include <sys/socket.h>
|
| H A D | netlink.c | 4 #include <sys/socket.h>
|