/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | pager.c | 54 * Return the name of the glyph found at (x,y). 293 * whole name (user_typed_name == TRUE), or we've found a possible match 364 * will usually be found under their name, rather than under their 466 int found; /* count of matching syms found */ local 471 boolean hit_trap; /* true if found trap explanation */ 510 found = 0; 566 if (!found) { 569 found++; 571 found [all...] |
H A D | write.c | 132 goto found; 135 goto found; 141 found:
|
H A D | o_init.c | 244 impossible("snow boots not found?"); 315 uname'd) or the next open slot; one or the other will be found 337 register boolean found = FALSE; local 343 if (found) 346 found = TRUE; 349 if (found) disco[dindx-1] = 0;
|
H A D | mkmaze.c | 812 boolean found, nonwall; local 817 found = nonwall = FALSE; 818 for(xmin=0; !found; xmin++) { 823 found = TRUE; 831 found = nonwall = FALSE; 832 for(xmax=COLNO-1; !found; xmax--) { 837 found = TRUE; 845 found = nonwall = FALSE; 846 for(ymin=0; !found; ymin++) { 851 found [all...] |
H A D | steed.c | 424 boolean found = FALSE; local 429 for (; !found && i < 2; ++i) { 445 found = TRUE; 457 return found;
|
H A D | detect.c | 23 /* Recursively search obj for an object in class oclass and return 1st found */ 43 /* Recursively search obj for an object made of specified material and return 1st found */ 207 /* no gold found on floor or monster's inventory. 688 boolean found = FALSE; local 694 else found = TRUE; 700 else found = TRUE; 708 else found = TRUE; 711 if (!found) { 921 /* Secret corridors are found, but not secret doors. */ 1101 findit() /* returns number of things found */ [all...] |
H A D | options.c | 2312 char *found = index(mapped_menu_cmds, ch); local 2313 if (found) { 2314 int idx = found - mapped_menu_cmds; 2354 /* We are trying to add an option not found in compopt[]. 3398 boolean found = FALSE, numeric = FALSE; local 3403 found = TRUE; 3416 if (found || numeric ||
|
H A D | hack.c | 710 * Returns TRUE if a path was found. 841 goto found; 855 found:
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | pager.c | 54 * Return the name of the glyph found at (x,y). 293 * whole name (user_typed_name == TRUE), or we've found a possible match 364 * will usually be found under their name, rather than under their 466 int found; /* count of matching syms found */ local 471 boolean hit_trap; /* true if found trap explanation */ 510 found = 0; 566 if (!found) { 569 found++; 571 found [all...] |
H A D | write.c | 132 goto found; 135 goto found; 141 found:
|
H A D | o_init.c | 244 impossible("snow boots not found?"); 315 uname'd) or the next open slot; one or the other will be found 337 register boolean found = FALSE; local 343 if (found) 346 found = TRUE; 349 if (found) disco[dindx-1] = 0;
|
H A D | mkmaze.c | 812 boolean found, nonwall; local 817 found = nonwall = FALSE; 818 for(xmin=0; !found; xmin++) { 823 found = TRUE; 831 found = nonwall = FALSE; 832 for(xmax=COLNO-1; !found; xmax--) { 837 found = TRUE; 845 found = nonwall = FALSE; 846 for(ymin=0; !found; ymin++) { 851 found [all...] |
H A D | steed.c | 424 boolean found = FALSE; local 429 for (; !found && i < 2; ++i) { 445 found = TRUE; 457 return found;
|
H A D | detect.c | 23 /* Recursively search obj for an object in class oclass and return 1st found */ 43 /* Recursively search obj for an object made of specified material and return 1st found */ 207 /* no gold found on floor or monster's inventory. 688 boolean found = FALSE; local 694 else found = TRUE; 700 else found = TRUE; 708 else found = TRUE; 711 if (!found) { 921 /* Secret corridors are found, but not secret doors. */ 1101 findit() /* returns number of things found */ [all...] |
H A D | options.c | 2312 char *found = index(mapped_menu_cmds, ch); local 2313 if (found) { 2314 int idx = found - mapped_menu_cmds; 2354 /* We are trying to add an option not found in compopt[]. 3398 boolean found = FALSE, numeric = FALSE; local 3403 found = TRUE; 3416 if (found || numeric ||
|
/seL4-refos-master/libs/libplatsupport/src/plat/pc99/acpi/ |
H A D | walker.c | 86 void *found = NULL; local 90 while (start < end && !found) { 97 found = _sig_search(sig, sig_len, vaddr, vaddr + getpagesize()); 99 if (!found) { 106 if (!found) { 112 return (void*)((uintptr_t) start + ((uintptr_t)found % getpagesize()));
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/ |
H A D | walker.c | 86 void *found = NULL; local 90 while (start < end && !found) { 97 found = _sig_search(sig, sig_len, vaddr, vaddr + getpagesize()); 99 if (!found) { 106 if (!found) { 112 return (void*)((uintptr_t) start + ((uintptr_t)found % getpagesize()));
|
/seL4-refos-master/libs/libmuslc/src/search/ |
H A D | tsearch_avl.c | 81 int (*cmp)(const void *, const void *), struct node **found) 93 *found = n; 98 *found = n; 101 r = insert(c < 0 ? n->left : n->right, k, cmp, found); 80 insert(struct node *n, const void *k, int (*cmp)(const void *, const void *), struct node **found) argument
|
/seL4-refos-master/projects/seL4_libs/libsel4allocman/src/cspace/ |
H A D | two_level.c | 178 int found; local 184 found = 0; 186 while (!found && (first || i != cspace->last_second_level)) { 189 found = 1; 194 if (!found) {
|
/seL4-refos-master/libs/libsel4allocman/src/cspace/ |
H A D | two_level.c | 178 int found; local 184 found = 0; 186 while (!found && (first || i != cspace->last_second_level)) { 189 found = 1; 194 if (!found) {
|
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/memserv/ |
H A D | window.c | 421 char found = false; local 434 /* We have found the correct window. */ 435 found = true; 446 return found ? currentIndex : (-1 - currentIndex);
|
/seL4-refos-master/apps/process_server/src/system/memserv/ |
H A D | window.c | 421 char found = false; local 434 /* We have found the correct window. */ 435 found = true; 446 return found ? currentIndex : (-1 - currentIndex);
|
/seL4-refos-master/kernel/manual/parts/ |
H A D | cspace.tex | 263 capability to a CNode is found within the container, the found CNode 264 is not destroyed. Instead, the found CNode is made unreachable by 265 moving the capability pointing to the found CNode into the found cnode 267 found cnode, and then trying to delete the swapped capability
|
H A D | vspace.tex | 168 Methods for page objects for each architecture can be found in the \autoref{sec:api_reference}, and
|
/seL4-refos-master/projects/refos/design/ |
H A D | appendix.tex | 32 R box R [ label = "found the mem object zero\_fill in itself"];
|