/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/sys/unix/ |
H A D | Makefile.dat | 30 x11tiles: ../util/tile2x11 ../win/share/monsters.txt ../win/share/objects.txt \ 31 ../win/share/other.txt 32 ../util/tile2x11 ../win/share/monsters.txt ../win/share/objects.txt \ 33 ../win/share/other.txt 35 beostiles: ../util/tile2beos ../win/share/monsters.txt ../win/share/objects.txt \ 36 ../win/share/other.txt 37 ../util/tile2beos ../win/shar [all...] |
H A D | Makefile.src | 149 GNOMEINC=-I/usr/lib/glib/include -I/usr/lib/gnome-libs/include -I../win/gnome 173 WINTTYSRC = ../win/tty/getline.c ../win/tty/termcap.c ../win/tty/topl.c \ 174 ../win/tty/wintty.c 179 WINX11SRC = ../win/X11/Window.c ../win/X11/dialogs.c ../win/X11/winX.c \ 180 ../win/X11/winmap.c ../win/X1 [all...] |
H A D | Makefile.utl | 320 tilemap: ../win/share/tilemap.c $(HACK_H) 321 $(CC) $(CFLAGS) $(LFLAGS) -o tilemap ../win/share/tilemap.c $(LIBS) 325 ../include/tile.h: ../win/share/tile.h 326 cp ../win/share/tile.h ../include/tile.h 327 tiletext.o: ../win/share/tiletext.c $(CONFIG_H) ../include/tile.h 328 $(CC) $(CFLAGS) -c ../win/share/tiletext.c 329 tiletxt.o: ../win/share/tilemap.c $(HACK_H) 330 $(CC) $(CFLAGS) -c -DTILETEXT ../win/share/tilemap.c 333 gifread.o: ../win/share/gifread.c $(CONFIG_H) ../include/tile.h 334 $(CC) $(CFLAGS) -c ../win/shar [all...] |
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/sys/unix/ |
H A D | Makefile.dat | 30 x11tiles: ../util/tile2x11 ../win/share/monsters.txt ../win/share/objects.txt \ 31 ../win/share/other.txt 32 ../util/tile2x11 ../win/share/monsters.txt ../win/share/objects.txt \ 33 ../win/share/other.txt 35 beostiles: ../util/tile2beos ../win/share/monsters.txt ../win/share/objects.txt \ 36 ../win/share/other.txt 37 ../util/tile2beos ../win/shar [all...] |
H A D | Makefile.src | 149 GNOMEINC=-I/usr/lib/glib/include -I/usr/lib/gnome-libs/include -I../win/gnome 173 WINTTYSRC = ../win/tty/getline.c ../win/tty/termcap.c ../win/tty/topl.c \ 174 ../win/tty/wintty.c 179 WINX11SRC = ../win/X11/Window.c ../win/X11/dialogs.c ../win/X11/winX.c \ 180 ../win/X11/winmap.c ../win/X1 [all...] |
H A D | Makefile.utl | 320 tilemap: ../win/share/tilemap.c $(HACK_H) 321 $(CC) $(CFLAGS) $(LFLAGS) -o tilemap ../win/share/tilemap.c $(LIBS) 325 ../include/tile.h: ../win/share/tile.h 326 cp ../win/share/tile.h ../include/tile.h 327 tiletext.o: ../win/share/tiletext.c $(CONFIG_H) ../include/tile.h 328 $(CC) $(CFLAGS) -c ../win/share/tiletext.c 329 tiletxt.o: ../win/share/tilemap.c $(HACK_H) 330 $(CC) $(CFLAGS) -c -DTILETEXT ../win/share/tilemap.c 333 gifread.o: ../win/share/gifread.c $(CONFIG_H) ../include/tile.h 334 $(CC) $(CFLAGS) -c ../win/shar [all...] |
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/dat/ |
H A D | Makefile | 30 x11tiles: ../util/tile2x11 ../win/share/monsters.txt ../win/share/objects.txt \ 31 ../win/share/other.txt 32 ../util/tile2x11 ../win/share/monsters.txt ../win/share/objects.txt \ 33 ../win/share/other.txt 35 beostiles: ../util/tile2beos ../win/share/monsters.txt ../win/share/objects.txt \ 36 ../win/share/other.txt 37 ../util/tile2beos ../win/shar [all...] |
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/dat/ |
H A D | Makefile | 30 x11tiles: ../util/tile2x11 ../win/share/monsters.txt ../win/share/objects.txt \ 31 ../win/share/other.txt 32 ../util/tile2x11 ../win/share/monsters.txt ../win/share/objects.txt \ 33 ../win/share/other.txt 35 beostiles: ../util/tile2beos ../win/share/monsters.txt ../win/share/objects.txt \ 36 ../win/share/other.txt 37 ../util/tile2beos ../win/shar [all...] |
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | Makefile | 149 GNOMEINC=-I/usr/lib/glib/include -I/usr/lib/gnome-libs/include -I../win/gnome 173 WINTTYSRC = ../win/tty/getline.c ../win/tty/termcap.c ../win/tty/topl.c \ 174 ../win/tty/wintty.c 179 WINX11SRC = ../win/X11/Window.c ../win/X11/dialogs.c ../win/X11/winX.c \ 180 ../win/X11/winmap.c ../win/X1 [all...] |
H A D | cmd.c | 336 winid win; local 383 win = create_nhwindow(NHW_MENU); 384 start_menu(win); 394 add_menu(win, NO_GLYPH, &any, any.a_char, 0, 416 add_menu(win, NO_GLYPH, &any, any.a_char, 0, ATR_NONE, buf, FALSE); 419 end_menu(win, prompt); 420 n = select_menu(win, PICK_ONE, &pick_list); 421 destroy_nhwindow(win); 652 winid win; local 656 win 694 winid win; local 731 winid win; local 1707 winid win; local 2117 winid win; local 2487 winid win; local [all...] |
H A D | light.c | 586 winid win; local 590 win = create_nhwindow(NHW_MENU); /* corner text window */ 591 if (win == WIN_ERR) return 0; 594 putstr(win, 0, buf); 595 putstr(win, 0, ""); 598 putstr(win, 0, "location range flags type id"); 599 putstr(win, 0, "-------- ----- ------ ---- -------"); 610 putstr(win, 0, buf); 613 putstr(win, 0, "<none>"); 616 display_nhwindow(win, FALS [all...] |
H A D | dungeon.c | 1552 print_branch(win, dnum, lower_bound, upper_bound, bymenu, lchoices) 1553 winid win; 1578 add_menu(win, NO_GLYPH, &any, lchoices->menuletter, 1584 putstr(win, 0, buf); 1605 winid win = create_nhwindow(NHW_MENU); local 1607 start_menu(win); 1630 add_menu(win, NO_GLYPH, &any, 0, 0, iflags.menu_headings, buf, MENU_UNSELECTED); 1632 putstr(win, 0, buf); 1642 print_branch(win, i, last_level, slev->dlevel.dlevel, bymenu, &lchoices); 1659 add_menu(win, NO_GLYP [all...] |
H A D | pickup.c | 694 winid win; local 720 win = create_nhwindow(NHW_MENU); 721 start_menu(win); 736 destroy_nhwindow(win); /* stop the menu and revert */ 746 add_menu(win, NO_GLYPH, &any, 0, 0, iflags.menu_headings, 752 add_menu(win, obj_to_glyph(curr), &any, 761 end_menu(win, qstr); 762 n = select_menu(win, how, pick_list); 763 destroy_nhwindow(win); 792 winid win; local 2379 winid win; local [all...] |
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | Makefile | 149 GNOMEINC=-I/usr/lib/glib/include -I/usr/lib/gnome-libs/include -I../win/gnome 173 WINTTYSRC = ../win/tty/getline.c ../win/tty/termcap.c ../win/tty/topl.c \ 174 ../win/tty/wintty.c 179 WINX11SRC = ../win/X11/Window.c ../win/X11/dialogs.c ../win/X11/winX.c \ 180 ../win/X11/winmap.c ../win/X1 [all...] |
H A D | cmd.c | 336 winid win; local 383 win = create_nhwindow(NHW_MENU); 384 start_menu(win); 394 add_menu(win, NO_GLYPH, &any, any.a_char, 0, 416 add_menu(win, NO_GLYPH, &any, any.a_char, 0, ATR_NONE, buf, FALSE); 419 end_menu(win, prompt); 420 n = select_menu(win, PICK_ONE, &pick_list); 421 destroy_nhwindow(win); 652 winid win; local 656 win 694 winid win; local 731 winid win; local 1707 winid win; local 2117 winid win; local 2487 winid win; local [all...] |
H A D | light.c | 586 winid win; local 590 win = create_nhwindow(NHW_MENU); /* corner text window */ 591 if (win == WIN_ERR) return 0; 594 putstr(win, 0, buf); 595 putstr(win, 0, ""); 598 putstr(win, 0, "location range flags type id"); 599 putstr(win, 0, "-------- ----- ------ ---- -------"); 610 putstr(win, 0, buf); 613 putstr(win, 0, "<none>"); 616 display_nhwindow(win, FALS [all...] |
H A D | dungeon.c | 1552 print_branch(win, dnum, lower_bound, upper_bound, bymenu, lchoices) 1553 winid win; 1578 add_menu(win, NO_GLYPH, &any, lchoices->menuletter, 1584 putstr(win, 0, buf); 1605 winid win = create_nhwindow(NHW_MENU); local 1607 start_menu(win); 1630 add_menu(win, NO_GLYPH, &any, 0, 0, iflags.menu_headings, buf, MENU_UNSELECTED); 1632 putstr(win, 0, buf); 1642 print_branch(win, i, last_level, slev->dlevel.dlevel, bymenu, &lchoices); 1659 add_menu(win, NO_GLYP [all...] |
H A D | pickup.c | 694 winid win; local 720 win = create_nhwindow(NHW_MENU); 721 start_menu(win); 736 destroy_nhwindow(win); /* stop the menu and revert */ 746 add_menu(win, NO_GLYPH, &any, 0, 0, iflags.menu_headings, 752 add_menu(win, obj_to_glyph(curr), &any, 761 end_menu(win, qstr); 762 n = select_menu(win, how, pick_list); 763 destroy_nhwindow(win); 792 winid win; local 2379 winid win; local [all...] |
/seL4-refos-master/projects/refos/design/ |
H A D | appendix.tex | 25 R >> C [ label = "Reply(SUCCESS, win\_cap)"]; 26 C => R [ label = "rootserver\_clientid\_cap.file\_map(\"zero\_fill\", win\_cap)"]; 27 R box R [ label = "validate request and allocate win\_id"]; 31 R box R [ label = "transform into win\_id, offset"]; 55 A box A [ label = "opened some object backed by pager in window A with win\_capA"]; 57 A => P [ label = "pager\_clientAid\_cap.mk\_mobject\_anon\_cap(win\_capA, perm)"]; 60 A => B [ label = "clientB\_clientAid\_cap.share\_object(mobject\_anon\_cap, win\_size)"]; 62 B box B [ label = "create a new window indicated by win\_capB"]; 63 B => P [ label = "mobject\_anon\_cap.object\_share\_init(win\_capB)"]; 64 P box P [ label = "validate request and find win\_cap [all...] |
/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
H A D | mem_syscall.c | 215 struct w_window *win = w_get_window(&procServ.windowList, rpc_window - W_BADGE_BASE); local 216 if (!win) { 220 assert(win->magic == W_MAGIC); 233 w_set_pager_endpoint(win, faultNotifyEPPath, pcb->pid); 236 (*rpc_winID) = win->wID; 257 struct w_window *win = w_get_window(&procServ.windowList, rpc_window - W_BADGE_BASE); local 258 if (!win) { 262 assert(win->magic == W_MAGIC); 268 w_set_pager_endpoint(win, emptyPath, PID_NULL);
|
/seL4-refos-master/apps/process_server/src/dispatchers/ |
H A D | mem_syscall.c | 215 struct w_window *win = w_get_window(&procServ.windowList, rpc_window - W_BADGE_BASE); local 216 if (!win) { 220 assert(win->magic == W_MAGIC); 233 w_set_pager_endpoint(win, faultNotifyEPPath, pcb->pid); 236 (*rpc_winID) = win->wID; 257 struct w_window *win = w_get_window(&procServ.windowList, rpc_window - W_BADGE_BASE); local 258 if (!win) { 262 assert(win->magic == W_MAGIC); 268 w_set_pager_endpoint(win, emptyPath, PID_NULL);
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/ |
H A D | winami.h | 45 short disprows; /* Rows displayed so far (used for paging in message win) */ 59 struct Window *win; /* Intuition window pointer */ member in struct:amii_WinDesc
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/ |
H A D | winami.h | 45 short disprows; /* Rows displayed so far (used for paging in message win) */ 59 struct Window *win; /* Intuition window pointer */ member in struct:amii_WinDesc
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/win/tty/ |
H A D | wintty.c | 324 winid win; local 388 win = create_nhwindow(NHW_MENU); 389 start_menu(win); 410 add_menu(win, NO_GLYPH, &any, thisch, 419 add_menu(win, NO_GLYPH, &any , '*', 0, ATR_NONE, 422 add_menu(win, NO_GLYPH, &any , 'q', 0, ATR_NONE, 425 end_menu(win, pbuf); 426 n = select_menu(win, PICK_ONE, &selected); 427 destroy_nhwindow(win); 476 win [all...] |
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/win/tty/ |
H A D | wintty.c | 324 winid win; local 388 win = create_nhwindow(NHW_MENU); 389 start_menu(win); 410 add_menu(win, NO_GLYPH, &any, thisch, 419 add_menu(win, NO_GLYPH, &any , '*', 0, ATR_NONE, 422 add_menu(win, NO_GLYPH, &any , 'q', 0, ATR_NONE, 425 end_menu(win, pbuf); 426 n = select_menu(win, PICK_ONE, &selected); 427 destroy_nhwindow(win); 476 win [all...] |