Searched refs:sys (Results 26 - 50 of 462) sorted by relevance

1234567891011>>

/seL4-camkes-master/projects/musllibc/src/stat/
H A Dumask.c1 #include <sys/stat.h>
/seL4-camkes-master/projects/musllibc/src/thread/
H A Dsem_unlink.c2 #include <sys/mman.h>
/seL4-camkes-master/projects/musllibc/src/time/
H A Dtimes.c1 #include <sys/times.h>
/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/
H A D__main__.py14 import sys, os namespace
16 sys.path.append(os.path.join(os.path.dirname(os.path.abspath(__file__)), '../../'))
17 sys.path.append(os.path.dirname(os.path.abspath(__file__)))
27 :param argv: sys.argv - Arguments to the function.
28 :param out: sys.stdout - Unused
29 :param err: sys.stderr - Unused
47 sys.exit(main(sys.argv, sys.stdout, sys
[all...]
/seL4-camkes-master/kernel/manual/tools/
H A Dgen_env.py10 import sys namespace
15 if len(sys.argv) != 2:
17 sys.exit(1)
18 output_filename = sys.argv[1]
41 with open(sys.argv[1], "r") as f:
46 with open(sys.argv[1], "w") as f:
50 sys.exit(0)
/seL4-camkes-master/projects/musllibc/src/ipc/
H A Dshmdt.c1 #include <sys/shm.h>
/seL4-camkes-master/projects/musllibc/src/linux/
H A Dclock_adjtime.c1 #include <sys/timex.h>
H A Dioperm.c4 #include <sys/io.h>
H A Dklogctl.c1 #include <sys/klog.h>
H A Dquotactl.c1 #include <sys/quota.h>
H A Dsettimeofday.c2 #include <sys/time.h>
H A Dsysinfo.c1 #include <sys/sysinfo.h>
H A Dutimes.c1 #include <sys/time.h>
/seL4-camkes-master/projects/musllibc/src/misc/
H A Dgetrusage.c1 #include <sys/resource.h>
H A Dsetpriority.c1 #include <sys/resource.h>
/seL4-camkes-master/projects/musllibc/src/mman/
H A Dmincore.c2 #include <sys/mman.h>
H A Dmlock.c1 #include <sys/mman.h>
H A Dmsync.c1 #include <sys/mman.h>
H A Dmunlock.c1 #include <sys/mman.h>
/seL4-camkes-master/projects/musllibc/src/network/
H A Daccept.c1 #include <sys/socket.h>
H A Dbind.c1 #include <sys/socket.h>
H A Dconnect.c1 #include <sys/socket.h>
H A Dgetpeername.c1 #include <sys/socket.h>
H A Dgetsockname.c1 #include <sys/socket.h>
/seL4-camkes-master/projects/musllibc/src/process/
H A Dwaitpid.c1 #include <sys/wait.h>

Completed in 108 milliseconds

1234567891011>>