/seL4-refos-master/libs/libmuslc/src/fenv/ |
H A D | feupdateenv.c | 5 int ex = fetestexcept(FE_ALL_EXCEPT); local 7 feraiseexcept(ex);
|
/seL4-refos-master/libs/libmuslc/src/math/ |
H A D | remquo.c | 7 int ex = ux.i>>52 & 0x7ff; local 16 if (uy.i<<1 == 0 || isnan(y) || ex == 0x7ff) 22 if (!ex) { 23 for (i = uxi<<12; i>>63 == 0; ex--, i <<= 1); 24 uxi <<= -ex + 1; 38 if (ex < ey) { 39 if (ex+1 == ey) 45 for (; ex > ey; ex--) { 60 ex [all...] |
H A D | remquof.c | 7 int ex = ux.i>>23 & 0xff; local 16 if (uy.i<<1 == 0 || isnan(y) || ex == 0xff) 22 if (!ex) { 23 for (i = uxi<<9; i>>31 == 0; ex--, i <<= 1); 24 uxi <<= -ex + 1; 38 if (ex < ey) { 39 if (ex+1 == ey) 45 for (; ex > ey; ex--) { 60 ex [all...] |
H A D | fmod.c | 7 int ex = ux.i>>52 & 0x7ff; local 16 if (uy.i<<1 == 0 || isnan(y) || ex == 0x7ff) 25 if (!ex) { 26 for (i = uxi<<12; i>>63 == 0; ex--, i <<= 1); 27 uxi <<= -ex + 1; 41 for (; ex > ey; ex--) { 56 for (; uxi>>52 == 0; uxi <<= 1, ex--); 59 if (ex > 0) { 61 uxi |= (uint64_t)ex << 5 [all...] |
H A D | fmodf.c | 7 int ex = ux.i>>23 & 0xff; local 13 if (uy.i<<1 == 0 || isnan(y) || ex == 0xff) 22 if (!ex) { 23 for (i = uxi<<9; i>>31 == 0; ex--, i <<= 1); 24 uxi <<= -ex + 1; 38 for (; ex > ey; ex--) { 53 for (; uxi>>23 == 0; uxi <<= 1, ex--); 56 if (ex > 0) { 58 uxi |= (uint32_t)ex << 2 [all...] |
H A D | coshl.c | 12 unsigned ex = u.i.se & 0x7fff; local 17 u.i.se = ex; 22 if (ex < 0x3fff-1 || (ex == 0x3fff-1 && w < 0xb17217f7)) { 23 if (ex < 0x3fff-32) { 32 if (ex < 0x3fff+13 || (ex == 0x3fff+13 && w < 0xb17217f7)) {
|
H A D | sinhl.c | 12 unsigned ex = u.i.se & 0x7fff; local 19 u.i.se = ex; 23 if (ex < 0x3fff+13 || (ex == 0x3fff+13 && u.i.m>>32 < 0xb17217f7)) { 25 if (ex < 0x3fff) { 26 if (ex < 0x3fff-32)
|
H A D | remquol.c | 12 int ex = ux.i.se & 0x7fff; local 19 if (y == 0 || isnan(y) || ex == 0x7fff) 25 if (!ex) { 26 ux.i.se = ex; 28 ex = ux.i.se - 120; 37 if (ex >= ey) { 43 for (; ex > ey; ex--) { 64 ex = -120; 66 for (; mx >> 63 == 0; mx *= 2, ex [all...] |
H A D | tanhl.c | 12 unsigned ex = u.i.se & 0x7fff; local 18 u.i.se = ex; 22 if (ex > 0x3ffe || (ex == 0x3ffe && w > 0x8c9f53d5)) { 24 if (ex >= 0x3fff+5) { 31 } else if (ex > 0x3ffd || (ex == 0x3ffd && w > 0x82c577d4)) {
|
H A D | fmodl.c | 12 int ex = ux.i.se & 0x7fff; local 16 if (y == 0 || isnan(y) || ex == 0x7fff) 18 ux.i.se = ex; 27 if (!ex) { 29 ex = ux.i.se - 120; 41 for (; ex > ey; ex--) { 59 for (; mx >> 63 == 0; mx *= 2, ex--); 67 for (; ex > ey; ex [all...] |
H A D | hypotl.c | 28 int ex, ey; local 34 ex = uy.i.se; 39 ex = ux.i.se; 45 if (ex == 0x7fff && isinf(y)) 47 if (ex == 0x7fff || y == 0) 49 if (ex - ey > LDBL_MANT_DIG) 53 if (ex > 0x3fff+8000) {
|
H A D | atan2l.c | 32 int m, ex, ey; local 40 ex = ux.i.se & 0x7fff; 53 if (ex == 0x7fff) { 70 if (ex+120 < ey || ey == 0x7fff) 73 if ((m&2) && ey+120 < ex) /* |y/x| < 0x1p-120, x<0 */
|
H A D | hypot.c | 25 int ex, ey; local 38 ex = ux.i>>52; 45 if (ex == 0x7ff || uy.i == 0) 49 if (ex - ey > 64) 55 if (ex > 0x3ff+510) {
|
H A D | __rem_pio2l.c | 74 int ex,ey,n,i; local 77 ex = u.i.se & 0x7fff; 87 if (ex - ey > ROUND1) { /* 2nd iteration needed, good to 141/248 (ld80/ld128) */ 95 if (ex - ey > ROUND2) { /* 3rd iteration, good to 180/316 bits */ 109 if (ex == 0x7fff) { /* x is inf or NaN */ 124 n = __rem_pio2_large(tx, ty, ex-0x3fff-23, i+1, NY);
|
H A D | __rem_pio2.c | 54 int sign, n, ex, ey, i; local 128 ex = ix>>20; 129 if (ex - ey > 16) { /* 2nd round, good to 118 bits */ 137 if (ex - ey > 49) { /* 3rd round, good to 151 bits, covers all cases */
|
H A D | fmal.c | 171 int ex, ey, ez; local 188 xs = frexpl(x, &ex); 192 spread = ex + ey - ez; 251 spread = ex + ey;
|
H A D | fma.c | 338 int ex, ey, ez; local 355 xs = frexp(x, &ex); 359 spread = ex + ey - ez; 418 spread = ex + ey;
|
/seL4-refos-master/libs/libmuslc/src/fcntl/ |
H A D | fcntl.c | 18 struct f_owner_ex ex; local 19 int ret = __syscall(SYS_fcntl, fd, F_GETOWN_EX, &ex); 22 return ex.type == F_OWNER_PGRP ? -ex.pid : ex.pid;
|
/seL4-refos-master/libs/libmuslc/src/time/ |
H A D | strptime.c | 12 const char *ex; local 92 ex = nl_langinfo(AM_STR); 93 len = strlen(ex); 94 if (!strncasecmp(s, ex, len)) { 98 ex = nl_langinfo(PM_STR); 99 len = strlen(ex); 100 if (!strncasecmp(s, ex, len)) { 183 ex = nl_langinfo(min+i); 184 len = strlen(ex); 185 if (strncasecmp(s, ex, le [all...] |
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | dbridge.c | 230 int ex, ey; member in struct:entity 246 (occupants[entitycnt].ex == x) && 265 etmp->ex = x; 280 etmp->ex = u.ux; 399 if (!e_survives_at(etmp, etmp->ex, etmp->ey)) { 400 if (enexto(&xy, etmp->ex, etmp->ey, etmp->edata)) { 411 etmp->ex = u.ux, etmp->ey = u.uy; 476 else if (chunks && is_pool(etmp->ex, etmp->ey)) 481 if (is_db_wall(etmp->ex, etmp->ey)) 512 if (is_db_wall(etmp->ex, etm [all...] |
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | dbridge.c | 230 int ex, ey; member in struct:entity 246 (occupants[entitycnt].ex == x) && 265 etmp->ex = x; 280 etmp->ex = u.ux; 399 if (!e_survives_at(etmp, etmp->ex, etmp->ey)) { 400 if (enexto(&xy, etmp->ex, etmp->ey, etmp->edata)) { 411 etmp->ex = u.ux, etmp->ey = u.uy; 476 else if (chunks && is_pool(etmp->ex, etmp->ey)) 481 if (is_db_wall(etmp->ex, etmp->ey)) 512 if (is_db_wall(etmp->ex, etm [all...] |
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/doc/ |
H A D | Guidebook.tex | 1104 open doors, although a few don't need to (ex.\ ghosts can walk through 1603 \nd You can also wear other pieces of armor (ex.\ helmets, boots, 1663 for their amusement value (ex.\ ``READ ME,'' or ``THANX MAUD'' backwards). 2137 Name your starting cat (ex.\ ``{\tt catname:Morris}''). 2141 Pick your type of character (ex.\ ``{\tt character:Monk}''); 2199 (ex.\ ``{\tt disclose:yi na +v -g -c}'') 2209 Name your starting dog (ex.\ ``{\tt dogname:Fang}''). 2285 Name a fruit after something you enjoy eating (ex.\ ``{\tt fruit:mango}'') 2307 Name your starting horse (ex.\ ``{\tt horsename:Trigger}''). 2527 Pick your type of character (ex [all...] |
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/doc/ |
H A D | Guidebook.tex | 1104 open doors, although a few don't need to (ex.\ ghosts can walk through 1603 \nd You can also wear other pieces of armor (ex.\ helmets, boots, 1663 for their amusement value (ex.\ ``READ ME,'' or ``THANX MAUD'' backwards). 2137 Name your starting cat (ex.\ ``{\tt catname:Morris}''). 2141 Pick your type of character (ex.\ ``{\tt character:Monk}''); 2199 (ex.\ ``{\tt disclose:yi na +v -g -c}'') 2209 Name your starting dog (ex.\ ``{\tt dogname:Fang}''). 2285 Name a fruit after something you enjoy eating (ex.\ ``{\tt fruit:mango}'') 2307 Name your starting horse (ex.\ ``{\tt horsename:Trigger}''). 2527 Pick your type of character (ex [all...] |
/seL4-refos-master/kernel/manual/parts/ |
H A D | threads.tex | 73 % an example of which is demonstrated in \nameref{ex:second_thread}.
|