/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/win/tty/ |
H A D | wintty.c | 430 if (n != 1 || selected[0].item.a_int == any.a_int) 433 flags.initrole = selected[0].item.a_int - 1; 499 if (n != 1 || selected[0].item.a_int == any.a_int) 502 k = selected[0].item.a_int - 1; 571 if (n != 1 || selected[0].item.a_int == any.a_int) 574 k = selected[0].item.a_int - 1; 642 if (n != 1 || selected[0].item.a_int == any.a_int) 645 k = selected[0].item.a_int - 1; 1034 set_item_state(window, lineno, item) 1037 tty_menu_item *item; 1999 tty_menu_item *item; local [all...] |
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/win/tty/ |
H A D | wintty.c | 430 if (n != 1 || selected[0].item.a_int == any.a_int) 433 flags.initrole = selected[0].item.a_int - 1; 499 if (n != 1 || selected[0].item.a_int == any.a_int) 502 k = selected[0].item.a_int - 1; 571 if (n != 1 || selected[0].item.a_int == any.a_int) 574 k = selected[0].item.a_int - 1; 642 if (n != 1 || selected[0].item.a_int == any.a_int) 645 k = selected[0].item.a_int - 1; 1034 set_item_state(window, lineno, item) 1037 tty_menu_item *item; 1999 tty_menu_item *item; local [all...] |
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | pickup.c | 486 res = pickup_object(pick_list[i].item.a_obj,pick_list[i].count, 503 selective = FALSE; /* ask for each item */ 632 menu_item *pi; /* pick item */ 660 pi[n].item.a_obj = curr; 715 (*pick_list)->item.a_obj = last; 771 if (mi->count == -1L || mi->count > mi->item.a_obj->quan) 772 mi->count = mi->item.a_obj->quan; 835 (*pick_list)->item.a_int = curr->oclass; 905 "Auto-select every item being worn" : 906 "Auto-select every item", MENU_UNSELECTE [all...] |
H A D | trap.c | 58 struct obj *item; local 67 item = (victim == &youmonst) ? uarmh : which_armor(victim, W_ARMH); 68 if (item) { 69 mat_idx = objects[item->otyp].oc_material; 72 if (!burn_dmg(item, item ? buf : "helmet")) continue; 75 item = (victim == &youmonst) ? uarmc : which_armor(victim, W_ARMC); 76 if (item) { 77 (void) burn_dmg(item, cloak_simple_name(item)); 410 struct obj *item; local [all...] |
H A D | options.c | 263 { "menu_search", "search for a menu item", 4, SET_IN_FILE }, 2487 opt_indx = pick_list[pick_idx].item.a_int - 1; 2563 flags.menu_style = style_pick->item.a_int - 1; 2581 flags.pickup_burden = burden_pick->item.a_int - 1; 2615 opt_idx = disclosure_category_pick[pick_idx].item.a_int - 1; 2647 flags.end_disclose[i] = disclosure_option_pick->item.a_char; 2667 iflags.runmode = mode_pick->item.a_int - 1; 2693 iflags.prevmsg_window = window_pick->item.a_char; 2724 if (msg) iflags.wc_align_message = window_pick->item.a_int; 2725 else iflags.wc_align_status = window_pick->item [all...] |
H A D | do.c | 34 /* 'd' command: drop one inventory item */ 675 if (pick_list[i].item.a_int == ALL_TYPES_SELECTED) 677 else if (pick_list[i].item.a_int == 'A') 680 add_valid_menu_class(pick_list[i].item.a_int); 707 otmp = pick_list[i].item.a_obj;
|
H A D | spell.c | 1098 *spell_no = selected[0].item.a_int - 1; 1102 *spell_no = selected[1].item.a_int - 1;
|
H A D | zap.c | 1216 the new item be the same as it was for the old one. */ 1629 struct obj *item; local 1639 while ((item = obj->cobj) != 0) { 1640 obj_extract_self(item); 1641 place_object(item, oox, ooy); 3795 struct obj *item; local 3801 while ((item = obj->cobj) != 0) { 3802 obj_extract_self(item); 3803 place_object(item, obj->ox, obj->oy);
|
H A D | invent.c | 38 * item without this. putting it in inv_order would mean venom would 97 * We expect at most one item to be out of order, so this 132 /* if this is an item on the shop floor, the attributes it will 366 /* Add an item to the inventory unless we're fumbling or it refuses to be 441 /* useup() all of an item regardless of its quantity */ 467 /* use one charge from an item and possibly incur shop debt for it */ 1037 * split off a single item anyway */ 1044 You("can only throw one item at a time."); 1496 /* assumptions: id_limit > 0 and at least one unID'd item is present */ 1507 (void) identify(pick_list[i].item [all...] |
H A D | objnam.c | 20 int item; member in struct:Jitem 608 * totally identified the item, so "uncursed" is unneccesary, 613 * printed to avoid ambiguity between an item whose curse 614 * status is unknown, and an item known to be uncursed. 815 /* otmp->rknown is the only item of interest if we reach here */ 2230 while(j->item) { 2232 typ = j->item; 2746 while(j->item) { 2747 if (i == j->item)
|
H A D | do_wear.c | 1205 /* Be warned! We want off_msg after removing the item to 1207 * item which grants fire resistance might cause some trouble 1749 /* also for praying; find worn item that confers "Unchanging" attribute */ 1775 why = 0; /* the item which prevents ring removal */ 1820 why = 0; /* the item which prevents disrobing */ 2006 * would always produce a delay 1 too big per item unless we subtract 2076 if (pick_list[i].item.a_int == ALL_TYPES_SELECTED) 2079 add_valid_menu_class(pick_list[i].item.a_int); 2094 (void) select_off(pick_list[i].item.a_obj);
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | pickup.c | 486 res = pickup_object(pick_list[i].item.a_obj,pick_list[i].count, 503 selective = FALSE; /* ask for each item */ 632 menu_item *pi; /* pick item */ 660 pi[n].item.a_obj = curr; 715 (*pick_list)->item.a_obj = last; 771 if (mi->count == -1L || mi->count > mi->item.a_obj->quan) 772 mi->count = mi->item.a_obj->quan; 835 (*pick_list)->item.a_int = curr->oclass; 905 "Auto-select every item being worn" : 906 "Auto-select every item", MENU_UNSELECTE [all...] |
H A D | trap.c | 58 struct obj *item; local 67 item = (victim == &youmonst) ? uarmh : which_armor(victim, W_ARMH); 68 if (item) { 69 mat_idx = objects[item->otyp].oc_material; 72 if (!burn_dmg(item, item ? buf : "helmet")) continue; 75 item = (victim == &youmonst) ? uarmc : which_armor(victim, W_ARMC); 76 if (item) { 77 (void) burn_dmg(item, cloak_simple_name(item)); 410 struct obj *item; local [all...] |
H A D | options.c | 263 { "menu_search", "search for a menu item", 4, SET_IN_FILE }, 2487 opt_indx = pick_list[pick_idx].item.a_int - 1; 2563 flags.menu_style = style_pick->item.a_int - 1; 2581 flags.pickup_burden = burden_pick->item.a_int - 1; 2615 opt_idx = disclosure_category_pick[pick_idx].item.a_int - 1; 2647 flags.end_disclose[i] = disclosure_option_pick->item.a_char; 2667 iflags.runmode = mode_pick->item.a_int - 1; 2693 iflags.prevmsg_window = window_pick->item.a_char; 2724 if (msg) iflags.wc_align_message = window_pick->item.a_int; 2725 else iflags.wc_align_status = window_pick->item [all...] |
H A D | do.c | 34 /* 'd' command: drop one inventory item */ 675 if (pick_list[i].item.a_int == ALL_TYPES_SELECTED) 677 else if (pick_list[i].item.a_int == 'A') 680 add_valid_menu_class(pick_list[i].item.a_int); 707 otmp = pick_list[i].item.a_obj;
|
H A D | spell.c | 1098 *spell_no = selected[0].item.a_int - 1; 1102 *spell_no = selected[1].item.a_int - 1;
|
H A D | zap.c | 1216 the new item be the same as it was for the old one. */ 1629 struct obj *item; local 1639 while ((item = obj->cobj) != 0) { 1640 obj_extract_self(item); 1641 place_object(item, oox, ooy); 3795 struct obj *item; local 3801 while ((item = obj->cobj) != 0) { 3802 obj_extract_self(item); 3803 place_object(item, obj->ox, obj->oy);
|
H A D | invent.c | 38 * item without this. putting it in inv_order would mean venom would 97 * We expect at most one item to be out of order, so this 132 /* if this is an item on the shop floor, the attributes it will 366 /* Add an item to the inventory unless we're fumbling or it refuses to be 441 /* useup() all of an item regardless of its quantity */ 467 /* use one charge from an item and possibly incur shop debt for it */ 1037 * split off a single item anyway */ 1044 You("can only throw one item at a time."); 1496 /* assumptions: id_limit > 0 and at least one unID'd item is present */ 1507 (void) identify(pick_list[i].item [all...] |
H A D | objnam.c | 20 int item; member in struct:Jitem 608 * totally identified the item, so "uncursed" is unneccesary, 613 * printed to avoid ambiguity between an item whose curse 614 * status is unknown, and an item known to be uncursed. 815 /* otmp->rknown is the only item of interest if we reach here */ 2230 while(j->item) { 2232 typ = j->item; 2746 while(j->item) { 2747 if (i == j->item)
|
/seL4-refos-master/projects/refos/design/ |
H A D | paper.tex | 148 \item Kevin Elphinstone 149 \item Andi Cheng 150 \item Xi Chen 151 \item Alexander Wharton
|
H A D | intro.tex | 51 \item 56 \item 59 \item 123 \item 126 \item 130 \item 133 \item
|
/seL4-refos-master/projects/refos/impl/apps/process_server/src/test/ |
H A D | test.c | 128 int item = (int) cqueue_pop(&q); local 129 test_assert(item == i);
|
/seL4-refos-master/apps/process_server/src/test/ |
H A D | test.c | 128 int item = (int) cqueue_pop(&q); local 129 test_assert(item == i);
|
/seL4-refos-master/kernel/manual/parts/ |
H A D | threads.tex | 95 \begin{description} \item[Priority] the priority a thread will be scheduled with. \item[Maximum 130 \item When a thread starts executing at current time $T$, record $T_{s}$ 131 \item When a thread stops executing (blocks or is preempted), schedule a replenishment at $T_{s} + p$ for the 153 \item The maximum number of refills in a single scheduling context is determined by the size 155 \item A per scheduling context parameter, \texttt{extra\_refills} that 441 \item PC99: IA-32 and x86\_64 442 \item Sabrelite (i.MX6) 443 \item Jetson TegraK1 444 \item HiSilico [all...] |
H A D | ipc.tex | 200 \item A source capability cannot be looked up. Although the presence 208 \item The destination slot cannot be looked up. Unlike the send 216 \item The capability being transferred cannot be derived. See 239 \item If this is not the case, the caller thread is suspended as if 242 \item If this is the case. A reply capability is set in a specific slot of the
|