Searched refs:sys (Results 176 - 200 of 388) sorted by relevance

1234567891011>>

/seL4-refos-master/libs/libmuslc/src/misc/
H A Dget_current_dir_name.c6 #include <sys/stat.h>
/seL4-refos-master/libs/libmuslc/src/network/
H A Drecvmmsg.c2 #include <sys/socket.h>
H A Drecvmsg.c1 #include <sys/socket.h>
/seL4-refos-master/libs/libmuslc/src/select/
H A Dpselect.c1 #include <sys/select.h>
/seL4-refos-master/libs/libmuslc/src/stat/
H A Dfchmod.c1 #include <sys/stat.h>
H A Dfstat.c1 #include <sys/stat.h>
/seL4-refos-master/libs/libmuslc/src/temp/
H A Dmkdtemp.c4 #include <sys/stat.h>
/seL4-refos-master/libs/libmuslc/src/termios/
H A Dcfsetospeed.c3 #include <sys/ioctl.h>
/seL4-refos-master/libs/libmuslc/src/unistd/
H A Dgethostname.c2 #include <sys/utsname.h>
/seL4-refos-master/kernel/tools/
H A Dreciprocal.py18 import sys namespace
32 sys.exit(1)
56 sys.exit(-1)
H A Dinvocation_header_gen.py14 import sys namespace
165 print("Error: invalid xml file", file=sys.stderr)
166 sys.exit(-1)
/seL4-refos-master/seL4_tools/cmake-tool/simulate_scripts/
H A Dsimulate.py9 import sys namespace
50 sys.stderr.write("{}: {}".format(progname, message))
51 sys.stderr.flush()
56 progname = sys.argv[0]
93 sys.stderr.write('\n')
/seL4-refos-master/seL4_tools/cmake-tool/helpers/
H A Dplatform_sift.py15 import sys namespace
20 program_name = sys.argv[0]
201 sys.stderr.write("{} {}\n".format(prefix, problems[0]))
203 sys.stderr.write("{} has multiple problems:\n".format(prefix))
204 [sys.stderr.write('{}\t{}\n'.format(prefix, p)) for p in problems]
276 sys.exit(main())
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/
H A Dunixconf.h12 * <sys/time.h> <time.h>
83 /* see sys/unix/snd86unx.shr for more information on these */
261 #include <sys/time.h>
283 #include <sys/wait.h>
341 # include <sys/syscall.h>
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/
H A Dunixconf.h12 * <sys/time.h> <time.h>
83 /* see sys/unix/snd86unx.shr for more information on these */
261 #include <sys/time.h>
283 #include <sys/wait.h>
341 # include <sys/syscall.h>
/seL4-refos-master/kernel/libsel4/tools/
H A Dinvocation_header_gen.py14 import sys namespace
165 print("Error: invalid xml file", file=sys.stderr)
166 sys.exit(-1)
/seL4-refos-master/kernel/manual/tools/libsel4_tools/
H A Dinvocation_header_gen.py14 import sys namespace
165 print("Error: invalid xml file", file=sys.stderr)
166 sys.exit(-1)
/seL4-refos-master/libs/libsel4/tools/
H A Dinvocation_header_gen.py14 import sys namespace
165 print("Error: invalid xml file", file=sys.stderr)
166 sys.exit(-1)
/seL4-refos-master/seL4_tools/misc/
H A Dstyle.py17 import sys namespace
60 script = os.path.join(os.path.dirname(os.path.realpath(sys.argv[0])), k)
70 sys.exit(main())
/seL4-refos-master/libs/libmuslc/include/sys/
H A Dmsg.h8 #include <sys/ipc.h>
H A Dshm.h16 #include <sys/ipc.h>
/seL4-refos-master/libs/libmuslc/src/internal/or1k/
H A Dsyscall.s12 l.sys 1
/seL4-refos-master/libs/libmuslc/src/ipc/
H A Dsemctl.c1 #include <sys/sem.h>
/seL4-refos-master/libs/libmuslc/src/linux/
H A Deventfd.c1 #include <sys/eventfd.h>
H A Dprlimit.c2 #include <sys/resource.h>

Completed in 130 milliseconds

1234567891011>>