/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/ |
H A D | wintype.h | 10 /* generic parameter - must not be any larger than a pointer */ 11 typedef union any { union 19 #define ANY_P union any /* avoid typedef in prototypes */ 32 #define PICK_ANY 2 /* can pick any amount */ 35 /* any additional port specific types should be defined in win*.h */
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/ |
H A D | wintype.h | 10 /* generic parameter - must not be any larger than a pointer */ 11 typedef union any { union 19 #define ANY_P union any /* avoid typedef in prototypes */ 32 #define PICK_ANY 2 /* can pick any amount */ 35 /* any additional port specific types should be defined in win*.h */
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | options.c | 627 * for control characters is also understood, and \[mM] followed by any of the 799 /* fill in any omitted classes, using previous ordering */ 2339 anything any; local 2342 any.a_void = 0; 2344 any.a_int = 0; 2351 any.a_int = i + 1 + indexoffset; 2357 any.a_int = 0; 2362 Sprintf(buf, fmtstr_doset_add_menu, any.a_int ? "" : " ", option, value); 2365 add_menu(win, NO_GLYPH, &any, 0, 0, ATR_NONE, buf, MENU_UNSELECTED); 2376 anything any; local 2537 anything any; local 2800 anything any; local 3488 anything any; local [all...] |
H A D | pickup.c | 135 * "/a" or "a/" becomes 'A' since there aren't any '/' 475 /* correct counts, if any given */ 697 anything any; local 722 any.a_obj = (struct obj *) 0; 745 any.a_obj = (struct obj *) 0; 746 add_menu(win, NO_GLYPH, &any, 0, 0, iflags.menu_headings, 751 any.a_obj = curr; 752 add_menu(win, obj_to_glyph(curr), &any, 795 anything any; local 850 any 1532 boolean any = FALSE; local 2380 anything any; local [all...] |
H A D | cmd.c | 337 anything any; local 352 any.a_void = 0; 393 any.a_char = prevaccelerator; 394 add_menu(win, NO_GLYPH, &any, any.a_char, 0, 415 any.a_char = prevaccelerator; 416 add_menu(win, NO_GLYPH, &any, any.a_char, 0, ATR_NONE, buf, FALSE); 523 /* ^F command - reveal the level map and any traps on it */ 1139 anything any; local 2488 anything any; local [all...] |
H A D | weapon.c | 7 * bonuses for any given weapon used, as well as weapons selection 846 * to keep being able to pick things to advance until we couldn't any 860 anything any; local 884 /* start with a legend if any entries will be annotated 887 any.a_void = 0; 895 add_menu(win, NO_GLYPH, &any, 0, 0, ATR_NONE, 900 "(Skill%s flagged by \"#\" cannot be enhanced any further.)", 902 add_menu(win, NO_GLYPH, &any, 0, 0, ATR_NONE, 905 add_menu(win, NO_GLYPH, &any, 0, 0, ATR_NONE, 917 any [all...] |
H A D | pager.c | 443 pline("I don't have any information on those things."); 895 anything any; local 897 any.a_void = 0; /* zero all bits */ 908 any.a_int = PORT_HELP_ID + 1; 909 add_menu(tmpwin, NO_GLYPH, &any, 0, 0, ATR_NONE, 914 any.a_int = (*help_menu_items[i]) ? i+1 : 0; 915 add_menu(tmpwin, NO_GLYPH, &any, 0, 0,
|
H A D | dungeon.c | 708 /* skip over any levels or branches */ 1190 * This happens on intermediate dungeon levels or on any top dungeon 1562 anything any; local 1576 any.a_void = 0; 1577 any.a_int = lchoices->idx + 1; 1578 add_menu(win, NO_GLYPH, &any, lchoices->menuletter, 1602 anything any; local 1629 any.a_void = 0; 1630 add_menu(win, NO_GLYPH, &any, 0, 0, iflags.menu_headings, buf, MENU_UNSELECTED); 1641 /* print any branche [all...] |
H A D | spell.c | 349 pline("This spellbook is too faint to be read any more."); 545 You("don't know any spells right now."); 1031 You("don't know any spells right now."); 1057 anything any; local 1061 any.a_void = 0; /* zero out all bits */ 1076 add_menu(tmpwin, NO_GLYPH, &any, 0, 0, ATR_BOLD, buf, MENU_UNSELECTED); 1085 any.a_int = i+1; /* must be non-zero */ 1086 add_menu(tmpwin, NO_GLYPH, &any, 1100 de-select any preselected entry */ 1177 /* Players basic likelihood of being able to cast any spel [all...] |
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | options.c | 627 * for control characters is also understood, and \[mM] followed by any of the 799 /* fill in any omitted classes, using previous ordering */ 2339 anything any; local 2342 any.a_void = 0; 2344 any.a_int = 0; 2351 any.a_int = i + 1 + indexoffset; 2357 any.a_int = 0; 2362 Sprintf(buf, fmtstr_doset_add_menu, any.a_int ? "" : " ", option, value); 2365 add_menu(win, NO_GLYPH, &any, 0, 0, ATR_NONE, buf, MENU_UNSELECTED); 2376 anything any; local 2537 anything any; local 2800 anything any; local 3488 anything any; local [all...] |
H A D | pickup.c | 135 * "/a" or "a/" becomes 'A' since there aren't any '/' 475 /* correct counts, if any given */ 697 anything any; local 722 any.a_obj = (struct obj *) 0; 745 any.a_obj = (struct obj *) 0; 746 add_menu(win, NO_GLYPH, &any, 0, 0, iflags.menu_headings, 751 any.a_obj = curr; 752 add_menu(win, obj_to_glyph(curr), &any, 795 anything any; local 850 any 1532 boolean any = FALSE; local 2380 anything any; local [all...] |
H A D | cmd.c | 337 anything any; local 352 any.a_void = 0; 393 any.a_char = prevaccelerator; 394 add_menu(win, NO_GLYPH, &any, any.a_char, 0, 415 any.a_char = prevaccelerator; 416 add_menu(win, NO_GLYPH, &any, any.a_char, 0, ATR_NONE, buf, FALSE); 523 /* ^F command - reveal the level map and any traps on it */ 1139 anything any; local 2488 anything any; local [all...] |
H A D | weapon.c | 7 * bonuses for any given weapon used, as well as weapons selection 846 * to keep being able to pick things to advance until we couldn't any 860 anything any; local 884 /* start with a legend if any entries will be annotated 887 any.a_void = 0; 895 add_menu(win, NO_GLYPH, &any, 0, 0, ATR_NONE, 900 "(Skill%s flagged by \"#\" cannot be enhanced any further.)", 902 add_menu(win, NO_GLYPH, &any, 0, 0, ATR_NONE, 905 add_menu(win, NO_GLYPH, &any, 0, 0, ATR_NONE, 917 any [all...] |
H A D | pager.c | 443 pline("I don't have any information on those things."); 895 anything any; local 897 any.a_void = 0; /* zero all bits */ 908 any.a_int = PORT_HELP_ID + 1; 909 add_menu(tmpwin, NO_GLYPH, &any, 0, 0, ATR_NONE, 914 any.a_int = (*help_menu_items[i]) ? i+1 : 0; 915 add_menu(tmpwin, NO_GLYPH, &any, 0, 0,
|
H A D | dungeon.c | 708 /* skip over any levels or branches */ 1190 * This happens on intermediate dungeon levels or on any top dungeon 1562 anything any; local 1576 any.a_void = 0; 1577 any.a_int = lchoices->idx + 1; 1578 add_menu(win, NO_GLYPH, &any, lchoices->menuletter, 1602 anything any; local 1629 any.a_void = 0; 1630 add_menu(win, NO_GLYPH, &any, 0, 0, iflags.menu_headings, buf, MENU_UNSELECTED); 1641 /* print any branche [all...] |
H A D | spell.c | 349 pline("This spellbook is too faint to be read any more."); 545 You("don't know any spells right now."); 1031 You("don't know any spells right now."); 1057 anything any; local 1061 any.a_void = 0; /* zero out all bits */ 1076 add_menu(tmpwin, NO_GLYPH, &any, 0, 0, ATR_BOLD, buf, MENU_UNSELECTED); 1085 any.a_int = i+1; /* must be non-zero */ 1086 add_menu(tmpwin, NO_GLYPH, &any, 1100 de-select any preselected entry */ 1177 /* Players basic likelihood of being able to cast any spel [all...] |
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/win/tty/ |
H A D | wintty.c | 325 anything any; local 390 any.a_void = 0; /* zero out all bits */ 394 any.a_int = i+1; /* must be non-zero */ 410 add_menu(win, NO_GLYPH, &any, thisch, 415 any.a_int = pick_role(flags.initrace, flags.initgend, 417 if (any.a_int == 0) /* must be non-zero */ 418 any.a_int = randrole()+1; 419 add_menu(win, NO_GLYPH, &any , '*', 0, ATR_NONE, 421 any.a_int = i+1; /* must be non-zero */ 422 add_menu(win, NO_GLYPH, &any , ' 2080 anything any; local [all...] |
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/win/tty/ |
H A D | wintty.c | 325 anything any; local 390 any.a_void = 0; /* zero out all bits */ 394 any.a_int = i+1; /* must be non-zero */ 410 add_menu(win, NO_GLYPH, &any, thisch, 415 any.a_int = pick_role(flags.initrace, flags.initgend, 417 if (any.a_int == 0) /* must be non-zero */ 418 any.a_int = randrole()+1; 419 add_menu(win, NO_GLYPH, &any , '*', 0, ATR_NONE, 421 any.a_int = i+1; /* must be non-zero */ 422 add_menu(win, NO_GLYPH, &any , ' 2080 anything any; local [all...] |
/seL4-refos-master/libs/libmuslc/src/internal/i386_sel4/ |
H A D | syscall.s | 7 # any registers
|
/seL4-refos-master/libs/libmuslc/src/internal/x86_64_sel4/ |
H A D | syscall.s | 7 # any registers
|
/seL4-refos-master/seL4_tools/misc/ |
H A D | filter.py | 52 if not any(map(matches, filters)):
|
H A D | style.py | 21 # dict of style-tools to regex. The regex should match any full file path. 47 """filter any files that match the filter filters""" 49 if not any(map(matches, filters)):
|
/seL4-refos-master/kernel/tools/hardware/outputs/ |
H A D | elfloader.py | 168 'uses_psci': any([c['enable_method'] == 'psci' for c in cpu_info])
|
/seL4-refos-master/kernel/manual/parts/ |
H A D | ipc.tex | 137 The kernel will silently ignore any usage of the high 4 bits. 147 result in transfer of the raw message, without any capability transfer. 189 before the send is initiated in the kernel. If the lookup fails for any 224 No error message will be returned to the receiving thread in any of the 258 directly addressed with any CPtr as it is not part of any CSpace. 270 if the caller thread is destroyed or modified in any way that would render 286 the thread that received the call without having to check any kind of badge.
|
H A D | objects.tex | 93 authority. Revocation recursively removes any capabilities that have 146 appropriate one. The \emph{Yield} system call is not associated with any kernel 282 creation scheduling contexts are \textit{empty} and do not represent any time. 308 polling to check any flags, 309 and blocking until any are signalled. Notification capabilities 379 \emph{General purpose} memory can be untyped into any other object 380 type and used for any operation on untyped memory provided by the kernel. 394 parent untyped object. That is, any child of a device untyped will 435 operation on the now unreferenced object. This simply cleans up any in-kernel dependencies between 442 to any objec [all...] |