/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/irqchip/ |
H A D | gic.c | 56 const void *curr = interrupts_prop + (i * stride * sizeof(uint32_t)); local
|
H A D | gicv3.c | 90 const void *curr = interrupts_prop + (i * stride * sizeof(uint32_t)); local [all...] |
/seL4-refos-master/libs/libplatsupport/src/arch/arm/irqchip/ |
H A D | gic.c | 56 const void *curr = interrupts_prop + (i * stride * sizeof(uint32_t)); local
|
H A D | gicv3.c | 90 const void *curr = interrupts_prop + (i * stride * sizeof(uint32_t)); local [all...] |
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | light.c | 94 light_source *curr, *prev; local 235 light_source **prev, *curr; local [all...] |
H A D | worm.c | 320 register struct wseg *curr, *new_tail; local 423 struct wseg *curr = wtails[worm->wormno]; local 444 struct wseg *curr = wtails[worm->wormno]; local 470 struct wseg *curr, *temp; local 515 struct wseg *curr, *temp; local 547 struct wseg *curr = wtails[worm->wormno]; local 569 register struct wseg *curr = wtails[worm->wormno]; local 595 struct wseg *curr = wtails[wnum]; local 686 register struct wseg *curr = (wtails[mtmp->wormno])->nseg; local 708 register struct wseg *new_tail, *curr; local 739 struct wseg *curr = wtails[worm->wormno]; local [all...] |
H A D | mkobj.c | 1340 struct obj *curr, *prev; local 1367 struct obj *curr, *prev; local [all...] |
H A D | restore.c | 911 struct bucket *curr; local 951 struct bucket *curr; local [all...] |
H A D | timeout.c | 1346 timer_element *curr; local 1395 timer_element *curr; local 1419 timer_element *curr; local 1505 timer_element *curr; local 1526 timer_element *curr, *next_timer=0; local 1546 timer_element *curr, *prev, *next_timer=0; local 1572 timer_element *curr, *prev; local 1591 timer_element *prev, *curr; local 1685 struct monst *curr; local 1725 timer_element *curr; local 1768 timer_element *curr, *prev, *next_timer=0; local 1810 timer_element *curr; local 1832 timer_element *curr; local [all...] |
H A D | dungeon.c | 118 branch *curr, *next; local 155 branch *curr, *last; local 218 s_level *curr; local 328 branch *curr; local 375 branch *curr, *prev; local 452 s_level *prev, *curr; local 1044 branch *curr; local [all...] |
H A D | mklev.c | 1050 struct mkroom *curr; local
|
H A D | pickup.c | 633 struct obj *curr; local 695 struct obj *curr, *last; local 793 struct obj *curr; local 954 struct obj *curr; local 2075 struct obj *curr, *otmp; local [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4serialserver/src/ |
H A D | server.c | 402 serial_server_registry_entry_t *curr = &get_serial_server()->registry[i]; local
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | light.c | 94 light_source *curr, *prev; local 235 light_source **prev, *curr; local [all...] |
H A D | worm.c | 320 register struct wseg *curr, *new_tail; local 423 struct wseg *curr = wtails[worm->wormno]; local 444 struct wseg *curr = wtails[worm->wormno]; local 470 struct wseg *curr, *temp; local 515 struct wseg *curr, *temp; local 547 struct wseg *curr = wtails[worm->wormno]; local 569 register struct wseg *curr = wtails[worm->wormno]; local 595 struct wseg *curr = wtails[wnum]; local 686 register struct wseg *curr = (wtails[mtmp->wormno])->nseg; local 708 register struct wseg *new_tail, *curr; local 739 struct wseg *curr = wtails[worm->wormno]; local [all...] |
H A D | mkobj.c | 1340 struct obj *curr, *prev; local 1367 struct obj *curr, *prev; local [all...] |
H A D | restore.c | 911 struct bucket *curr; local 951 struct bucket *curr; local [all...] |
H A D | timeout.c | 1346 timer_element *curr; local 1395 timer_element *curr; local 1419 timer_element *curr; local 1505 timer_element *curr; local 1526 timer_element *curr, *next_timer=0; local 1546 timer_element *curr, *prev, *next_timer=0; local 1572 timer_element *curr, *prev; local 1591 timer_element *prev, *curr; local 1685 struct monst *curr; local 1725 timer_element *curr; local 1768 timer_element *curr, *prev, *next_timer=0; local 1810 timer_element *curr; local 1832 timer_element *curr; local [all...] |
H A D | dungeon.c | 118 branch *curr, *next; local 155 branch *curr, *last; local 218 s_level *curr; local 328 branch *curr; local 375 branch *curr, *prev; local 452 s_level *prev, *curr; local 1044 branch *curr; local [all...] |
H A D | mklev.c | 1050 struct mkroom *curr; local
|
H A D | pickup.c | 633 struct obj *curr; local 695 struct obj *curr, *last; local 793 struct obj *curr; local 954 struct obj *curr; local 2075 struct obj *curr, *otmp; local [all...] |
/seL4-refos-master/projects/util_libs/libplatsupport/src/ |
H A D | fdt.c | 133 const void *curr = reg_prop + (i * stride * sizeof(uint32_t)); local
|
/seL4-refos-master/libs/libplatsupport/src/ |
H A D | fdt.c | 133 const void *curr = reg_prop + (i * stride * sizeof(uint32_t)); local
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/win/tty/ |
H A D | wintty.c | 1052 tty_menu_item *curr; local 1067 tty_menu_item *curr; local 1084 tty_menu_item *curr; local 1108 tty_menu_item *curr; local 1137 tty_menu_item *page_start, *page_end, *curr; local 2066 tty_menu_item *curr; local 2162 tty_menu_item *curr; local [all...] |
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/win/tty/ |
H A D | wintty.c | 1052 tty_menu_item *curr; local 1067 tty_menu_item *curr; local 1084 tty_menu_item *curr; local 1108 tty_menu_item *curr; local 1137 tty_menu_item *page_start, *page_end, *curr; local 2066 tty_menu_item *curr; local 2162 tty_menu_item *curr; local [all...] |