/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/ |
H A D | wintype.h | 18 } anything; typedef in typeref:union:any 24 anything item; /* identifier */
|
H A D | winami.h | 17 anything identifier; /* Opaque type to identify this selection */
|
H A D | macwin.h | 100 anything id; 228 E void FDECL(mac_add_menu, (winid,int,const anything *,
|
H A D | wintty.h | 16 anything identifier; /* user identifier */
|
H A D | winX.h | 122 anything identifier; /* Opaque type to identify this selection */
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/ |
H A D | wintype.h | 18 } anything; typedef in typeref:union:any 24 anything item; /* identifier */
|
H A D | winami.h | 17 anything identifier; /* Opaque type to identify this selection */
|
H A D | macwin.h | 100 anything id; 228 E void FDECL(mac_add_menu, (winid,int,const anything *,
|
H A D | wintty.h | 16 anything identifier; /* user identifier */
|
H A D | winX.h | 122 anything identifier; /* Opaque type to identify this selection */
|
/seL4-refos-master/projects/refos/design/ |
H A D | intro.tex | 15 The overall design of \refOS revolves around the abstraction of a dataspace. A dataspace is a memory space (a series of bytes) representing anything from physical RAM to file contents on a disk to a device or even to a random number generator. The concept is analogous to UNIX files which may represent anything from \texttt{/usr/bin/sh} to \texttt{/dev/audio} to \texttt{/dev/urandom}.
|
/seL4-refos-master/kernel/manual/parts/ |
H A D | api.tex | 79 \newcommand{\noret}{This method does not return anything.}
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | options.c | 2306 * doesn't match anything, just return the original. 2339 anything any; 2376 anything any; 2537 anything any; 2800 anything any; 3488 anything any;
|
H A D | cmd.c | 337 anything any; 1139 anything any; 2488 anything any;
|
H A D | pickup.c | 245 /* didn't pick anything, 396 else /* pick anything */ 436 You("are physically incapable of picking anything up."); 442 /* if there's anything here, stop running */ 592 /* see whether there's anything else here, after auto-pickup is done */ 697 anything any; 795 anything any; 1480 pline("Without limbs, you cannot loot anything."); 1483 pline("Without a free %s, you cannot loot anything.", 1513 const char *dont_find_anything = "don't find anything"; [all...] |
H A D | dungeon.c | 1562 anything any; 1602 anything any;
|
H A D | pager.c | 895 anything any;
|
H A D | spell.c | 790 * casting anything else except detect food 1057 anything any; 1105 user chose not to swap it with anything */ 1212 /* Wearing anything but a light shield makes it very awkward
|
H A D | weapon.c | 860 anything any;
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | options.c | 2306 * doesn't match anything, just return the original. 2339 anything any; 2376 anything any; 2537 anything any; 2800 anything any; 3488 anything any;
|
H A D | cmd.c | 337 anything any; 1139 anything any; 2488 anything any;
|
H A D | pickup.c | 245 /* didn't pick anything, 396 else /* pick anything */ 436 You("are physically incapable of picking anything up."); 442 /* if there's anything here, stop running */ 592 /* see whether there's anything else here, after auto-pickup is done */ 697 anything any; 795 anything any; 1480 pline("Without limbs, you cannot loot anything."); 1483 pline("Without a free %s, you cannot loot anything.", 1513 const char *dont_find_anything = "don't find anything"; [all...] |
H A D | dungeon.c | 1562 anything any; 1602 anything any;
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/win/tty/ |
H A D | wintty.c | 325 anything any; 1991 const anything *identifier; /* what to return if selected */ 2080 anything any;
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/win/tty/ |
H A D | wintty.c | 325 anything any; 1991 const anything *identifier; /* what to return if selected */ 2080 anything any;
|