/seL4-refos-master/libs/libmuslc/src/thread/ |
H A D | pthread_barrier_wait.c | 55 volatile int last; member in struct:instance 97 a_store(&inst->last, 1); 99 __wake(&inst->last, -1, 1); 103 __wait(&inst->last, &inst->waiters, 0, 1);
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | o_init.c | 113 register int i, first, last, sum; local 136 last = first+1; 137 while (last < NUM_OBJECTS && objects[last].oc_class == oclass) last++; 164 for(i = first; i < last; i++) { 168 for(i = first; i < last; i++) 169 objects[i].oc_prob = (1000+i-first)/(last-first); 175 first = last; 187 int first, last, oclas local [all...] |
H A D | write.c | 79 int first, last, i; local 126 last = bases[(int)paper->oclass + 1] - 1; 127 for (i = first; i <= last; i++) {
|
H A D | makemon.c | 1315 register int first, last, num = 0; local 1330 for (last = first; 1331 last < SPECIAL_PM && mons[last].mlet == class; last++) 1332 if (!(mvitals[last].mvflags & G_GONE) && !(mons[last].geno & mask) 1333 && !is_placeholder(&mons[last])) { 1335 if(num && toostrong(last, maxmlev) && 1336 monstr[last] ! [all...] |
H A D | dungeon.c | 155 branch *curr, *last; local 163 last = branches = (branch *) 0; 170 if (last) 171 last->next = curr; 174 last = curr; 446 * last entry. 959 * The last level in the bookkeeping list of level is the bottom of the last 1233 /* beyond end of dungeon, jump to last level */ 1669 /* print branches after the last specia [all...] |
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | o_init.c | 113 register int i, first, last, sum; local 136 last = first+1; 137 while (last < NUM_OBJECTS && objects[last].oc_class == oclass) last++; 164 for(i = first; i < last; i++) { 168 for(i = first; i < last; i++) 169 objects[i].oc_prob = (1000+i-first)/(last-first); 175 first = last; 187 int first, last, oclas local [all...] |
H A D | write.c | 79 int first, last, i; local 126 last = bases[(int)paper->oclass + 1] - 1; 127 for (i = first; i <= last; i++) {
|
H A D | makemon.c | 1315 register int first, last, num = 0; local 1330 for (last = first; 1331 last < SPECIAL_PM && mons[last].mlet == class; last++) 1332 if (!(mvitals[last].mvflags & G_GONE) && !(mons[last].geno & mask) 1333 && !is_placeholder(&mons[last])) { 1335 if(num && toostrong(last, maxmlev) && 1336 monstr[last] ! [all...] |
/seL4-refos-master/kernel/src/arch/x86/kernel/ |
H A D | cmdline.c | 84 char *last; local 89 for (last = str; *str && *str != ','; str++); 96 v = str_to_long(last);
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/ |
H A D | winami.h | 31 amii_menu_item *last; /* End pointer for item list. */ member in struct:amii_menu 90 winid lastwin; /* last window used for I/O */ 123 extern char morc; /* last character typed to xwaitforspace */
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/ |
H A D | winami.h | 31 amii_menu_item *last; /* End pointer for item list. */ member in struct:amii_menu 90 winid lastwin; /* last window used for I/O */ 123 extern char morc; /* last character typed to xwaitforspace */
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/sys/share/ |
H A D | pcsys.c | 167 char from[PATHLEN], to[PATHLEN], last[13]; 178 /* Find the name of the last file to be transferred 182 last[0] = '\0'; 196 Strcpy(last, foundfile); 202 if (last[0]) { 218 /* See if the last file got there. If so, remove the ramdisk bones 221 Sprintf(to, "%s%s", topath, last); 533 * we need to get one last return, so the score board does
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/sys/share/ |
H A D | pcsys.c | 167 char from[PATHLEN], to[PATHLEN], last[13]; 178 /* Find the name of the last file to be transferred 182 last[0] = '\0'; 196 Strcpy(last, foundfile); 202 if (last[0]) { 218 /* See if the last file got there. If so, remove the ramdisk bones 221 Sprintf(to, "%s%s", topath, last); 533 * we need to get one last return, so the score board does
|
/seL4-refos-master/projects/refos/impl/apps/test_user/src/ |
H A D | test_user.c | 361 time_t last = 0; local 364 tvprintf("%d (last %d).\n", t, last); 365 test_assert(t >= last); 366 last = t;
|
/seL4-refos-master/apps/test_user/src/ |
H A D | test_user.c | 361 time_t last = 0; local 364 tvprintf("%d (last %d).\n", t, last); 365 test_assert(t >= last); 366 last = t;
|
/seL4-refos-master/libs/libmuslc/src/network/ |
H A D | getifaddrs.c | 43 struct ifaddrs_storage *last; member in struct:ifaddrs_ctx 199 if (ctx->last) ctx->last->ifa.ifa_next = &ifs->ifa; 200 ctx->last = ifs;
|
/seL4-refos-master/projects/util_libs/libfdt/ |
H A D | fdt.c | 299 * the same as the last. 313 const char *last = strtab + tabsize - len; local 316 for (p = strtab; p <= last; p++)
|
/seL4-refos-master/libs/libvterm/src/ |
H A D | unicode.c | 74 int last; member in struct:interval 136 if (ucs < table[0].first || ucs > table[max].last) 140 if (ucs > table[mid].last)
|
/seL4-refos-master/projects/refos/impl/libs/libvterm/src/ |
H A D | unicode.c | 74 int last; member in struct:interval 136 if (ucs < table[0].first || ucs > table[max].last) 140 if (ucs > table[mid].last)
|
/seL4-refos-master/seL4_tools/cmake-tool/helpers/ |
H A D | platform_sift.py | 89 ' increasing order ({this} not > {last})' 91 last=last_seen_bound))
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/ |
H A D | list.h | 162 * list_is_last - tests whether @list is the last entry in list @head 254 struct list_head *last = list->prev; local 259 last->next = next; 260 next->prev = last;
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
H A D | list.h | 164 * list_is_last - tests whether @list is the last entry in list @head 256 struct list_head *last = list->prev; local 261 last->next = next; 262 next->prev = last;
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
H A D | list.h | 164 * list_is_last - tests whether @list is the last entry in list @head 259 struct list_head *last = list->prev; local 264 last->next = next; 265 next->prev = last;
|
/seL4-refos-master/kernel/manual/parts/ |
H A D | cspace.tex | 249 destruction of the last capability to an object. 253 all that happens. If, however, it was the last typed capability to an 262 the last capabilities.\footnote{The recursion is limited as if the last 270 The result of this approach is that deleting the last cap to the root 285 any of the revoked child capabilities were the last capabilities to an 290 CNode containing the last capability to the TCB of the thread 291 performing the revoke (or the last capability to the TCB itself) is
|
/seL4-refos-master/kernel/include/arch/x86/arch/object/ |
H A D | vcpu.h | 306 /* Core this VCPU was last loaded on, or is currently loaded on */ 352 void clearVPIDIOPortMappings(vpid_t vpid, uint16_t first, uint16_t last);
|