/seL4-refos-master/libs/libmuslc/src/math/ |
H A D | __rem_pio2f.c | 45 double tx[1],ty[1]; local 68 n = __rem_pio2_large(tx,ty,e0,1,0); 70 *y = -ty[0]; 73 *y = ty[0];
|
H A D | __rem_pio2.c | 52 double tx[3],ty[2]; local 168 n = __rem_pio2_large(tx,ty,(int)(ix>>20)-(0x3ff+23),i+1,1); 170 y[0] = -ty[0]; 171 y[1] = -ty[1]; 174 y[0] = ty[0]; 175 y[1] = ty[1];
|
H A D | __rem_pio2l.c | 73 double tx[NX],ty[NY]; local 124 n = __rem_pio2_large(tx, ty, ex-0x3fff-23, i+1, NY); 125 w = ty[1]; 127 w += ty[2]; 128 r = ty[0] + w; 130 comments of __rem_pio2_large which seem wrong if |ty[0]| > |ty[1]+ty[2]| */ 131 w -= r - ty[0];
|
/seL4-refos-master/projects/refos/design/ |
H A D | appendix.tex | 247 \item[\ty{mk\_mobject\_anon\_cap(win\_cap, perm)}] A method 252 by \ty{win\_cap}. \ty{perm} indicates the permission that the 257 \item[\ty{clientB\_clientid\_cap}] A distinguished badged client B cap 260 \item[\ty{share\_object(mobject\_anon\_cap, win\_size)}] A call to 262 capability \ty{mobject\_anon\_cap} so that client B can make 264 server. \ty{win\_size} indicates the suggested size of the window 268 \item[\ty{mobject\_anon\_cap}] An anonymous badged cap used to start a 272 \item[\ty{object\_share\_init(win\_cap)}] A call to the server that 274 pager information for this argument \ty{wi [all...] |
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/ |
H A D | trap.h | 17 xchar tx,ty; member in struct:trap
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/ |
H A D | trap.h | 17 xchar tx,ty; member in struct:trap
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | mkroom.c | 232 int sh, tx, ty, goldlim, type = sroom->rtype; local 237 tx = ty = goldlim = 0; 245 for(ty = sroom->ly; ty <= sroom->hy; ty++) 246 if(IS_THRONE(levl[tx][ty].typ)) 252 tx = mm.x; ty = mm.y; 253 } while (occupied((xchar)tx, (xchar)ty) && --i > 0); 259 ty = sroom->ly + (sroom->hy - sroom->ly + 1)/2; 262 if ((int) levl[tx][ty] [all...] |
H A D | mail.c | 277 md_rush(md,tx,ty) 279 register int tx, ty; /* destination of mail daemon */ 301 /* Find a good location next to (fx,fy) closest to (tx,ty). */ 302 d1 = dist2(fx,fy,tx,ty); 306 d2 = dist2(fx+dx,fy+dy,tx,ty); 321 if (fx == tx && fy == ty) break;
|
H A D | do_name.c | 50 int sidx, tx, ty; local 72 c = nh_poskey(&tx, &ty, &sidx); 80 if (!isok(tx, ty)) continue; 83 cy = ty; 141 for (ty = lo_y; ty <= hi_y; ty++) { 142 lo_x = (pass == 0 && ty == lo_y) ? cx + 1 : 1; 143 hi_x = (pass == 1 && ty == hi_y) ? cx : COLNO - 1; 145 k = levl[tx][ty] [all...] |
H A D | hack.c | 707 * Find a path from the destination (u.tx,u.ty) back to (u.ux,u.uy). 717 if (!guess && iflags.travel1 && distmin(u.ux, u.uy, u.tx, u.ty) == 1) { 719 if (test_move(u.ux, u.uy, u.tx-u.ux, u.ty-u.uy, TEST_MOVE)) { 721 u.dy = u.ty-u.uy; 728 if (u.tx != u.ux || u.ty != u.uy) { 732 xchar tx, ty, ux, uy; local 743 tx = u.ux; ty = u.uy; ux = u.tx; uy = u.ty; 745 tx = u.tx; ty = u.ty; u [all...] |
H A D | wizard.c | 68 int du = distu(ttmp->tx, ttmp->ty); 335 ty = STRAT_GOALY(strat); local 342 if((u.ux == tx && u.uy == ty) || where == STRAT_PLAYER) { 348 if(!MON_AT(tx, ty) || (mtmp->mx == tx && mtmp->my == ty)) { 350 rloc_to(mtmp, tx, ty); /* clean old pos */ 368 (void) mnearto(mtmp, tx, ty, FALSE);
|
H A D | teleport.c | 1165 register xchar tx, ty, otx, oty; local 1179 ty = rn2(ROWNO); 1181 } while (!goodpos(tx, ty, (struct monst *)0, 0) || 1184 (!within_bounded_area(tx, ty, dndest.lx, dndest.ly, 1187 within_bounded_area(tx, ty, dndest.nlx, dndest.nly, 1190 if (flooreffects(obj, tx, ty, "fall")) { 1196 && (!costly_spot(tx, ty) || 1197 !index(in_rooms(tx, ty, 0), *in_rooms(otx, oty, 0)))) { 1205 place_object(obj, tx, ty); 1206 newsym(tx, ty); [all...] |
H A D | trap.c | 253 ttmp->ty = y; 1286 (void)scatter(trap->tx, trap->ty, 4, 1289 del_engr_at(trap->tx, trap->ty); 1290 wake_nearto(trap->tx, trap->ty, 400); 1291 if (IS_DOOR(levl[trap->tx][trap->ty].typ)) 1292 levl[trap->tx][trap->ty].doormask = D_BROKEN; 1334 int tx, ty; local 1336 tx = x1; ty = y1; 1338 x2 = tx; y2 = ty; 1551 newsym(trap->tx, trap->ty); [all...] |
H A D | mklev.c | 254 register xchar tx, ty, xx, yy; local 277 ty = troom->hy+1; 278 finddpos(&tt, troom->lx, ty, troom->hx, ty); 290 ty = troom->ly-1; 292 finddpos(&tt, troom->lx, ty, troom->hx, ty); 297 ty = tt.y - dy; 304 dest.x = tx; dest.y = ty;
|
H A D | engrave.c | 1188 int tx, ty, tryct = 200; local 1193 ty = rn2(ROWNO); 1194 } while (engr_at(tx, ty) || 1195 !goodpos(tx, ty, (struct monst *)0, 0)); 1198 ep->engr_y = ty;
|
H A D | detect.c | 654 obj.oy = trap->ty; 668 temp_trap.ty = y; 692 if (ttmp->tx != u.ux || ttmp->ty != u.uy) 1138 feel_location(trap->tx, trap->ty); 1140 newsym(trap->tx, trap->ty); 1142 if (levl[trap->tx][trap->ty].glyph != trap_to_glyph(trap)) {
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | mkroom.c | 232 int sh, tx, ty, goldlim, type = sroom->rtype; local 237 tx = ty = goldlim = 0; 245 for(ty = sroom->ly; ty <= sroom->hy; ty++) 246 if(IS_THRONE(levl[tx][ty].typ)) 252 tx = mm.x; ty = mm.y; 253 } while (occupied((xchar)tx, (xchar)ty) && --i > 0); 259 ty = sroom->ly + (sroom->hy - sroom->ly + 1)/2; 262 if ((int) levl[tx][ty] [all...] |
H A D | mail.c | 277 md_rush(md,tx,ty) 279 register int tx, ty; /* destination of mail daemon */ 301 /* Find a good location next to (fx,fy) closest to (tx,ty). */ 302 d1 = dist2(fx,fy,tx,ty); 306 d2 = dist2(fx+dx,fy+dy,tx,ty); 321 if (fx == tx && fy == ty) break;
|
H A D | do_name.c | 50 int sidx, tx, ty; local 72 c = nh_poskey(&tx, &ty, &sidx); 80 if (!isok(tx, ty)) continue; 83 cy = ty; 141 for (ty = lo_y; ty <= hi_y; ty++) { 142 lo_x = (pass == 0 && ty == lo_y) ? cx + 1 : 1; 143 hi_x = (pass == 1 && ty == hi_y) ? cx : COLNO - 1; 145 k = levl[tx][ty] [all...] |
H A D | hack.c | 707 * Find a path from the destination (u.tx,u.ty) back to (u.ux,u.uy). 717 if (!guess && iflags.travel1 && distmin(u.ux, u.uy, u.tx, u.ty) == 1) { 719 if (test_move(u.ux, u.uy, u.tx-u.ux, u.ty-u.uy, TEST_MOVE)) { 721 u.dy = u.ty-u.uy; 728 if (u.tx != u.ux || u.ty != u.uy) { 732 xchar tx, ty, ux, uy; local 743 tx = u.ux; ty = u.uy; ux = u.tx; uy = u.ty; 745 tx = u.tx; ty = u.ty; u [all...] |
H A D | wizard.c | 68 int du = distu(ttmp->tx, ttmp->ty); 335 ty = STRAT_GOALY(strat); local 342 if((u.ux == tx && u.uy == ty) || where == STRAT_PLAYER) { 348 if(!MON_AT(tx, ty) || (mtmp->mx == tx && mtmp->my == ty)) { 350 rloc_to(mtmp, tx, ty); /* clean old pos */ 368 (void) mnearto(mtmp, tx, ty, FALSE);
|
H A D | teleport.c | 1165 register xchar tx, ty, otx, oty; local 1179 ty = rn2(ROWNO); 1181 } while (!goodpos(tx, ty, (struct monst *)0, 0) || 1184 (!within_bounded_area(tx, ty, dndest.lx, dndest.ly, 1187 within_bounded_area(tx, ty, dndest.nlx, dndest.nly, 1190 if (flooreffects(obj, tx, ty, "fall")) { 1196 && (!costly_spot(tx, ty) || 1197 !index(in_rooms(tx, ty, 0), *in_rooms(otx, oty, 0)))) { 1205 place_object(obj, tx, ty); 1206 newsym(tx, ty); [all...] |
H A D | trap.c | 253 ttmp->ty = y; 1286 (void)scatter(trap->tx, trap->ty, 4, 1289 del_engr_at(trap->tx, trap->ty); 1290 wake_nearto(trap->tx, trap->ty, 400); 1291 if (IS_DOOR(levl[trap->tx][trap->ty].typ)) 1292 levl[trap->tx][trap->ty].doormask = D_BROKEN; 1334 int tx, ty; local 1336 tx = x1; ty = y1; 1338 x2 = tx; y2 = ty; 1551 newsym(trap->tx, trap->ty); [all...] |
H A D | mklev.c | 254 register xchar tx, ty, xx, yy; local 277 ty = troom->hy+1; 278 finddpos(&tt, troom->lx, ty, troom->hx, ty); 290 ty = troom->ly-1; 292 finddpos(&tt, troom->lx, ty, troom->hx, ty); 297 ty = tt.y - dy; 304 dest.x = tx; dest.y = ty;
|
H A D | engrave.c | 1188 int tx, ty, tryct = 200; local 1193 ty = rn2(ROWNO); 1194 } while (engr_at(tx, ty) || 1195 !goodpos(tx, ty, (struct monst *)0, 0)); 1198 ep->engr_y = ty;
|