Searched refs:errno (Results 1 - 25 of 34) sorted by relevance

12

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dunix_specific.cpp45 #include <errno.h>
411 if (pid < 0) raise_syscall(taskData, "fork failed", errno);
422 if (kill(pid, sig) < 0) raise_syscall(taskData, "kill failed", errno);
429 if (pid < 0) raise_syscall(taskData, "getpid failed", errno);
436 if (pid < 0) raise_syscall(taskData, "getppid failed", errno);
471 if (pid < 0) raise_syscall(taskData, "getpgrp failed", errno);
532 err = errno;
547 err = errno;
562 err = errno;
584 raise_syscall(taskData, "setitimer failed", errno);
[all...]
H A Dlocking.cpp37 #include <errno.h>
293 if (errno != EINTR)
H A Dtiming.cpp66 #include <errno.h>
221 raise_syscall(taskData, "gettimeofday failed", errno);
469 raise_syscall(taskData, "getrusage failed", errno);
500 raise_syscall(taskData, "getrusage failed", errno);
551 raise_syscall(taskData, "gettimeofday failed", errno);
579 raise_syscall(taskData, "getrusage failed", errno);
607 raise_syscall(taskData, "getrusage failed", errno);
776 errno = 0;
779 if ((errno == ERANGE && (epoch == LLONG_MIN || epoch == LLONG_MAX)) || (errno !
[all...]
H A Dpolyffi.cpp30 #include <errno.h>
312 // Get either errno or GetLastError
318 addr.AsObjPtr()->Set(0, PolyWord::FromUnsigned((POLYUNSIGNED)errno));
329 errno = err.AsObjPtr()->Get(0).AsSigned();
H A Dbasicio.cpp57 #include <errno.h>
148 #define ERRORNUMBER errno
184 else if (selRes < 0 && errno != EINTR) // Maybe another thread closed descr
236 switch (errno)
306 if (errno != EINTR)
344 if (errno != EINTR)
386 if (sel < 0 && errno != EINTR)
555 switch (errno)
894 while ((cwd = getcwd(string_buffer, size)) == NULL && errno == ERANGE) {
H A Ddiagnostics.cpp36 #include <errno.h>
H A Drtsentry.cpp30 #include <errno.h>
H A Dprocess_env.cpp35 #include <errno.h>
548 raise_syscall(taskData, "Function system failed", errno);
561 raise_syscall(taskData, "Function system failed", errno);
571 raise_syscall(taskData, "Function system failed", errno);
614 raise_syscall(taskData, "Function system failed", errno);
H A Dosmemunix.cpp56 #include <errno.h>
386 if (errno != ENOTSUP && errno != EACCES) // Fails with ENOTSUPP on OpenBSD and EACCES in SELinux.
H A Dsighandler.cpp42 #include <errno.h>
H A Dwinstartup.cpp53 #include <errno.h>
H A Dpecoffexport.cpp41 #include <errno.h>
H A Dexporter.cpp42 #include <errno.h>
91 #define ERRORNUMBER errno
H A Derrors.cpp37 #include <errno.h>
H A Dwinguiconsole.cpp51 #include <errno.h>
H A Dwindows_specific.cpp48 #include <errno.h>
H A Dmachoexport.cpp40 #include <errno.h>
H A Drealconv.cpp46 * string (or sets errno to ERANGE). With IEEE arithmetic, ties are
185 * #define NO_ERRNO if strtod should not assign errno = ERANGE when
303 #include "errno.h"
1980 errno = ERANGE;
2063 errno = ERANGE;
2092 errno = ERANGE;
2937 errno = ERANGE;
3614 errno = ERANGE;
H A Dnetwork.cpp37 #include <errno.h>
497 #define GETERROR (errno)
501 #define ERRORNUMBER errno
H A Dprocesses.cpp35 #include <errno.h>
1359 errorCode = errno;
H A Dstatistics.cpp89 #include <errno.h>
/seL4-l4v-master/HOL4/src/integer/testing/
H A Dtcooper.c7 #include <errno.h>
122 if (errno == EINTR) continue;
/seL4-l4v-master/l4v/misc/filemerge/faster/
H A Dtranslate.cpp14 #include <errno.h>
23 #define die(args...) error(-1, errno, args)
/seL4-l4v-master/l4v/tools/autocorres/tools/stats/
H A Dstats.py9 import errno namespace
39 if exc.errno == errno.EEXIST:
/seL4-l4v-master/l4v/tools/autocorres/tools/
H A Drelease.py9 import errno namespace
40 if exc.errno == errno.EEXIST:

Completed in 227 milliseconds

12