Searched refs:sys (Results 1 - 25 of 462) sorted by relevance

1234567891011>>

/seL4-camkes-master/projects/musllibc/include/sys/
H A Dvfs.h1 #include <sys/statfs.h>
/seL4-camkes-master/projects/musllibc/include/
H A Dsyscall.h1 #include <sys/syscall.h>
H A Dwait.h1 #warning redirecting incorrect #include <wait.h> to <sys/wait.h>
2 #include <sys/wait.h>
/seL4-camkes-master/projects/musllibc/src/network/
H A Dsockatmark.c1 #include <sys/socket.h>
2 #include <sys/ioctl.h>
H A Dlisten.c1 #include <sys/socket.h>
H A Dshutdown.c1 #include <sys/socket.h>
/seL4-camkes-master/tools/rumprun/lib/librumprun_tester/
H A Dtester.h29 #include <sys/cdefs.h>
/seL4-camkes-master/projects/musllibc/src/mman/
H A Dmlockall.c1 #include <sys/mman.h>
H A Dmunlockall.c1 #include <sys/mman.h>
/seL4-camkes-master/tools/rumprun/platform/xen/librumpnet_xenif/
H A Dxenif_component.c30 #include <sys/cdefs.h>
33 #include <sys/param.h>
34 #include <sys/domain.h>
35 #include <sys/protosw.h>
/seL4-camkes-master/tools/rumprun/platform/xen/librumpxen_xendev/
H A Drumpxen_xendev.h31 #include <sys/filedesc.h>
32 #include <sys/malloc.h>
33 #include <sys/lwp.h>
34 #include <sys/device.h>
35 #include <sys/conf.h>
36 #include <sys/stat.h>
37 #include <sys/select.h>
38 #include <sys/file.h>
39 #include <sys/poll.h>
/seL4-camkes-master/projects/camkes-tool/examples/direct-ast-access/
H A Dexample-import.py26 import sys namespace
27 sys.path.append('../..')
35 sys.stdout.write('Input:\n%s\n\n' % s)
59 sys.stdout.write('Output:\n%s\n\n' % camkes.show(ast))
63 sys.stdout.write('Pretty printed:\n%s\n\n' % camkes.pretty(camkes.show(ast)))
68 sys.exit(main())
/seL4-camkes-master/tools/rumprun/lib/librumpkern_bmktc/
H A Drump_bmktc.c26 #include <sys/cdefs.h>
27 #include <sys/param.h>
28 #include <sys/cpu.h>
29 #include <sys/kernel.h>
30 #include <sys/module.h>
31 #include <sys/timetc.h>
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/
H A Dpid.h15 #include <sys/types.h>
/seL4-camkes-master/projects/musllibc/src/linux/
H A Dwait3.c2 #include <sys/wait.h>
3 #include <sys/resource.h>
H A Dadjtimex.c1 #include <sys/timex.h>
H A Dflock.c1 #include <sys/file.h>
H A Diopl.c4 #include <sys/io.h>
H A Dpersonality.c1 #include <sys/personality.h>
H A Dreboot.c1 #include <sys/reboot.h>
H A Dsetfsgid.c1 #include <sys/fsuid.h>
H A Dsetfsuid.c1 #include <sys/fsuid.h>
/seL4-camkes-master/projects/musllibc/src/misc/
H A Duname.c1 #include <sys/utsname.h>
/seL4-camkes-master/projects/musllibc/src/process/
H A Dwait.c1 #include <sys/wait.h>
/seL4-camkes-master/projects/musllibc/src/stat/
H A Dfutimens.c1 #include <sys/stat.h>

Completed in 82 milliseconds

1234567891011>>