Searched refs:up (Results 1 - 25 of 53) sorted by relevance

123

/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/
H A Ddgn_file.h44 int up; /* branch is up or down */ member in struct:tmpbranch
51 #define TBR_NO_UP 1 /* connection with no up staircase */
H A Dsp_lev.h93 xchar x, y, up; member in struct:__anon706
97 xchar x, y, up; member in struct:__anon707
H A Ddungeon.h34 char up; /* what type of stairway (up/down) */ member in struct:stairway
77 boolean end1_up; /* does end1 go up? */
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/
H A Ddgn_file.h44 int up; /* branch is up or down */ member in struct:tmpbranch
51 #define TBR_NO_UP 1 /* connection with no up staircase */
H A Dsp_lev.h93 xchar x, y, up; member in struct:__anon28
97 xchar x, y, up; member in struct:__anon29
H A Ddungeon.h34 char up; /* what type of stairway (up/down) */ member in struct:stairway
77 boolean end1_up; /* does end1 go up? */
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/sys/share/
H A Dtclib.c84 /* otherwise, look `term' up in the file */
124 (void)tgetstr("up", &s);
213 /* look up a numeric entry */
232 /* look up a boolean entry */
242 /* look up a string entry; update `*outptr' */
343 int bc = 0, up = 0; local
373 ++up; /* incr row now, later move up */
416 if (bc || up) {
420 while (--up >
[all...]
H A Ddgn_yacc.c905 tmpbranch[n_brs].up = yyvsp[0].i;
919 tmpbranch[n_brs].up = yyvsp[0].i;
938 yyval.i = TBR_NO_UP; /* no up staircase */
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/sys/share/
H A Dtclib.c84 /* otherwise, look `term' up in the file */
124 (void)tgetstr("up", &s);
213 /* look up a numeric entry */
232 /* look up a boolean entry */
242 /* look up a string entry; update `*outptr' */
343 int bc = 0, up = 0; local
373 ++up; /* incr row now, later move up */
416 if (bc || up) {
420 while (--up >
[all...]
H A Ddgn_yacc.c905 tmpbranch[n_brs].up = yyvsp[0].i;
919 tmpbranch[n_brs].up = yyvsp[0].i;
938 yyval.i = TBR_NO_UP; /* no up staircase */
/seL4-refos-master/projects/refos/design/
H A Dprotocol.tex45 \autoref{f:estab} illustrates that to interact with a server one must establish a session with the server through the server's anonymous endpoint capability. An established session with a server is represented by a \obj{session} capability with the server knowing the security subject of the client and optionally death notifications set up so that the server is informed when the client exits and at this time can modify its bookkeeping accordingly.
65 R box R [ label = "set up death notify"];
109 \autoref{f:opendata} shows mapping an open dataspace into a given memory window. The initialisation sets up the components for sample fault delegation in the system. Note that the process server is acting as the memory manager. The paging could instead be implemented through a separate memory manager process.
170 \autoref{f:deathnotify} illustrates an example death notification protocol. Note that it is assumed that the client is active and has already established a connection with the data server (see \autoref{f:estab}) and that the data server has subsequently set up death notification.
196 \autoref{f:sharedata} is an example of how to set up a shared dataspace. Note that it is assumed that the share is not revocable and that sharing is with an entity that is trusted. Therefore, given two clients, at least one of the clients must trust the other client. Mutual distrust is not supported yet because capability transfer to an untrusted entity requires more than a direct call.
390 C box C [ label = "set up userland environment"];
H A Dappendix.tex67 R box R [ label = "set up pager information for win\_capB"];
251 setting up sharing of the same copy mapped to the window indicated
273 listens to the anonymous capability. It asks the server to set up
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A Dmklev.c666 /* construct stairs (up and down in different rooms if possible) */
682 mkstairs(sx, sy, 1, croom); /* up */
1100 sstairs.up = (char) on_level(&br->end1, &u.uz) ?
1105 levl[x][y].ladder = sstairs.up ? LA_UP : LA_DOWN;
1271 mkstairs(x, y, up, croom)
1273 char up;
1284 * has an up or down stair specified in its description file.
1286 if ((dunlev(&u.uz) == 1 && up) ||
1287 (dunlev(&u.uz) == dunlevs_in_dungeon(&u.uz) && !up))
1290 if(up) {
[all...]
H A Dmkmaze.c349 /* water level is an odd beast - it has to be set up
551 /* some levels can end up with monsters
580 mkstairs(mm.x, mm.y, 1, (struct mkroom *)0); /* up */
594 * We actually allow up to 2 squares around the usual edge of
936 static boolean up; local
943 /* set up the portal the first time bubbles are moved */
951 * Pick up everything inside of a bubble then fill all bubble
955 for (b = up ? bbubbles : ebubbles; b; b = up ? b->next : b->prev) {
965 /* pick up object
[all...]
H A Ddo.c5 /* Contains code for 'd', 'D' (drop), '>', '<' (up, down) */
55 /* Called when a boulder is dropped, thrown, or pushed. If it ends up
56 * in a pool, it either fills the pool up or sinks away. In either case,
399 pline_The("sink backs up, leaving %s.", doname(obj));
553 if (obj != uball) { /* mon doesn't pick up ball */
659 assigninvlet(u_gold); /* might end up as NOINVSYM */
755 (u.ux == sstairs.sx && u.uy == sstairs.sy && !sstairs.up)),
844 || !sstairs.up)
846 You_cant("go up here.");
859 You("are %s, and cannot go up
960 up = (depth(newlevel) < depth(&u.uz)), local
[all...]
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Dmklev.c666 /* construct stairs (up and down in different rooms if possible) */
682 mkstairs(sx, sy, 1, croom); /* up */
1100 sstairs.up = (char) on_level(&br->end1, &u.uz) ?
1105 levl[x][y].ladder = sstairs.up ? LA_UP : LA_DOWN;
1271 mkstairs(x, y, up, croom)
1273 char up;
1284 * has an up or down stair specified in its description file.
1286 if ((dunlev(&u.uz) == 1 && up) ||
1287 (dunlev(&u.uz) == dunlevs_in_dungeon(&u.uz) && !up))
1290 if(up) {
[all...]
H A Dmkmaze.c349 /* water level is an odd beast - it has to be set up
551 /* some levels can end up with monsters
580 mkstairs(mm.x, mm.y, 1, (struct mkroom *)0); /* up */
594 * We actually allow up to 2 squares around the usual edge of
936 static boolean up; local
943 /* set up the portal the first time bubbles are moved */
951 * Pick up everything inside of a bubble then fill all bubble
955 for (b = up ? bbubbles : ebubbles; b; b = up ? b->next : b->prev) {
965 /* pick up object
[all...]
H A Ddo.c5 /* Contains code for 'd', 'D' (drop), '>', '<' (up, down) */
55 /* Called when a boulder is dropped, thrown, or pushed. If it ends up
56 * in a pool, it either fills the pool up or sinks away. In either case,
399 pline_The("sink backs up, leaving %s.", doname(obj));
553 if (obj != uball) { /* mon doesn't pick up ball */
659 assigninvlet(u_gold); /* might end up as NOINVSYM */
755 (u.ux == sstairs.sx && u.uy == sstairs.sy && !sstairs.up)),
844 || !sstairs.up)
846 You_cant("go up here.");
859 You("are %s, and cannot go up
960 up = (depth(newlevel) < depth(&u.uz)), local
[all...]
/seL4-refos-master/kernel/manual/
H A Dmanual.tex48 \usepackage[small,bf,up,width=0.75\textwidth]{caption}
/seL4-refos-master/kernel/manual/parts/
H A Dnotifications.tex36 to just waking up the first thread waiting on the notification (also see below).
H A Dcspace.tex32 % this section need to be cleaned up. They were clearly written at a time when
254 object, this object will now be destroyed by the kernel, cleaning up
278 unreachable CNodes can be cleaned up via revoking a covering untyped
315 CSpaces are designed to permit sparsity, and the process of looking-up
338 capability slot. When looking up a capability address presented by a
483 A CSpace CPTR root (within which a capability was to be looked up)
512 encountered while there were still bits remaining to be looked up. \\ \\
H A Dbootup.tex127 \texttt{extraBIPages} slot region gives the frames capabilities for the pages that make up
153 It is up to userland to infer the virtual address of frames referenced by
161 contiguous, and is made up of the smallest frames available on the architecture.
H A Dipc.tex188 the caller is attempting to send are looked up to ensure that they exist
200 \item A source capability cannot be looked up. Although the presence
208 \item The destination slot cannot be looked up. Unlike the send
223 buffer is set to the number of capabilities transferred up to failure.
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/doc/
H A DGuidebook.tex113 to move quickly and sneak up on the local nasties. They start equipped
145 as with. They wear no armor but make up for it with increased mobility.
444 Stairs up: a way to the previous level.
593 Go up to the previous level (if you are on a staircase or ladder).
624 Prefix: move without picking up objects or fighting (even if you remember
645 the same conditions as the `G' command, but without picking up
735 {\tt Ix} --- list all used up items that are on your shopping bill;\\
843 Pick up some things. May be preceded by `{\tt m}' to force a selection menu.
888 used up all the letters, so this is a way to introduce the less frequently
1133 In general, each level in the dungeon will have a staircase going up
[all...]
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/doc/
H A DGuidebook.tex113 to move quickly and sneak up on the local nasties. They start equipped
145 as with. They wear no armor but make up for it with increased mobility.
444 Stairs up: a way to the previous level.
593 Go up to the previous level (if you are on a staircase or ladder).
624 Prefix: move without picking up objects or fighting (even if you remember
645 the same conditions as the `G' command, but without picking up
735 {\tt Ix} --- list all used up items that are on your shopping bill;\\
843 Pick up some things. May be preceded by `{\tt m}' to force a selection menu.
888 used up all the letters, so this is a way to introduce the less frequently
1133 In general, each level in the dungeon will have a staircase going up
[all...]

Completed in 144 milliseconds

123