/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/ |
H A D | extern.h | 13 E long *FDECL(alloc, (unsigned int)); 15 E char *FDECL(fmt_ptr, (const genericptr,char *)); 27 E void FDECL(welcome, (BOOLEAN_P)); 34 E int FDECL(jump, (int)); 36 E void FDECL(o_unleash, (struct obj *)); 37 E void FDECL(m_unleash, (struct monst *,BOOLEAN_P)); 40 E struct obj *FDECL(get_mleash, (struct monst *)); 41 E void FDECL(check_leash, (XCHAR_P,XCHAR_P)); 42 E boolean FDECL(um_dist, (XCHAR_P,XCHAR_P,XCHAR_P)); 43 E boolean FDECL(snuff_candl [all...] |
H A D | system.h | 83 E void FDECL(srandom, (unsigned int)); 86 E int FDECL(srandom, (unsigned int)); 97 E void FDECL(exit, (int)); 116 E void FDECL(free, (genericptr_t)); 122 E int FDECL(perror, (const char *)); 125 E void FDECL(perror, (const char *)); 132 E void FDECL(qsort, (genericptr_t,size_t,size_t, 139 E void FDECL(qsort, (genericptr_t,size_t,size_t, 152 E int FDECL(lseek, (int,off_t,int)); 154 E long FDECL(lsee [all...] |
H A D | wingem.h | 30 E void FDECL(docorner, (int, int)); 32 E void FDECL(g_putch, (int)); 37 E int FDECL(mar_create_window, (int)); 38 E void FDECL(mar_destroy_nhwindow, (int)); 39 E void FDECL(mar_print_glyph, (int, int, int, int)); 40 E void FDECL(mar_print_line, (int, int, int, char *)); 41 E void FDECL(mar_set_message, (char *, char *, char *)); 43 E void FDECL(mar_set_menu_type,(int)); 45 E void FDECL(mar_set_menu_title, (const char *)); 47 E void FDECL(mar_add_men [all...] |
H A D | winX.h | 273 E Widget FDECL(CreateDialog, (Widget, String, XtCallbackProc, XtCallbackProc)); 274 E void FDECL(SetDialogPrompt,(Widget, String)); 275 E String FDECL(GetDialogResponse,(Widget)); 276 E void FDECL(SetDialogResponse,(Widget, String)); 277 E void FDECL(positionpopup,(Widget,BOOLEAN_P)); 280 E struct xwindow *FDECL(find_widget,(Widget)); 281 E Boolean FDECL(nhApproxColor,(Screen*, Colormap, char*, XColor*)); 282 E Dimension FDECL(nhFontHeight,(Widget)); 283 E char FDECL(key_event_to_char,(XKeyEvent*)); 284 E void FDECL(msgke [all...] |
H A D | wintty.h | 94 E void FDECL(xwaitforspace, (const char *)); 98 E void FDECL(tty_startup,(int*, int*)); 108 E void FDECL(xputc, (int)); 110 E void FDECL(xputc, (CHAR_P)); 112 E void FDECL(xputs, (const char *)); 114 E void FDECL(xputg, (int, int, unsigned)); 139 E void FDECL(term_start_attr,(int attr)); 140 E void FDECL(term_end_attr,(int attr)); 146 E void FDECL(term_start_color,(int color)); 147 E int FDECL(has_colo [all...] |
H A D | amiconf.h | 72 extern void FDECL(nethack_exit, (int)); 78 extern int FDECL(ami_wbench_getsave, (int)); 79 extern void FDECL(ami_wbench_unlink, (char *)); 80 extern int FDECL(ami_wbench_iconsize, (char *)); 81 extern void FDECL(ami_wbench_iconwrite, (char *)); 82 extern int FDECL(ami_wbench_badopt, (const char *)); 84 extern void FDECL(getlind, (const char *,char *,const char *)); 90 extern void FDECL(exit, (int)); 92 extern void FDECL(Abort, (long)); 94 extern char *FDECL(CopyFil [all...] |
H A D | macwin.h | 170 extern Boolean FDECL(RetrieveWinPos, (WindowPtr,short *,short *)); 186 extern void FDECL(C2P,(const char *c, unsigned char *p)); 187 extern void FDECL(P2C,(const unsigned char *p, char *c)); 199 extern void FDECL (process_openfile, (short s_vol, long s_dir, Str255 fNm, OSType ft)); 207 int FDECL (try_key_queue, (char *)); 208 void FDECL (enter_topl_mode, (char *)); 209 void FDECL (leave_topl_mode, (char *)); 210 void FDECL (topl_set_resp, (char *, char)); 211 Boolean FDECL (topl_key, (unsigned char, Boolean)); 212 E void FDECL(HandleEven [all...] |
H A D | winprocs.h | 12 void FDECL((*win_init_nhwindows), (int *, char **)); 16 void FDECL((*win_exit_nhwindows), (const char *)); 17 void FDECL((*win_suspend_nhwindows), (const char *)); 19 winid FDECL((*win_create_nhwindow), (int)); 20 void FDECL((*win_clear_nhwindow), (winid)); 21 void FDECL((*win_display_nhwindow), (winid, BOOLEAN_P)); 22 void FDECL((*win_destroy_nhwindow), (winid)); 23 void FDECL((*win_curs), (winid,int,int)); 24 void FDECL((*win_putstr), (winid, int, const char *)); 25 void FDECL((*win_display_fil [all...] |
H A D | dlb.h | 74 dlb *FDECL(dlb_fopen, (const char *,const char *)); 75 int FDECL(dlb_fclose, (DLB_P)); 76 int FDECL(dlb_fread, (char *,int,int,DLB_P)); 77 int FDECL(dlb_fseek, (DLB_P,long,int)); 78 char *FDECL(dlb_fgets, (char *,int,DLB_P)); 79 int FDECL(dlb_fgetc, (DLB_P)); 80 long FDECL(dlb_ftell, (DLB_P));
|
H A D | timeout.h | 9 typedef void FDECL((*timeout_proc), (genericptr_t, long)); typedef
|
H A D | tosconf.h | 57 extern int FDECL(strcmpi,(const char *, const char *)); 58 extern int FDECL(strncmpi,(const char *, const char *, size_t));
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/ |
H A D | extern.h | 13 E long *FDECL(alloc, (unsigned int)); 15 E char *FDECL(fmt_ptr, (const genericptr,char *)); 27 E void FDECL(welcome, (BOOLEAN_P)); 34 E int FDECL(jump, (int)); 36 E void FDECL(o_unleash, (struct obj *)); 37 E void FDECL(m_unleash, (struct monst *,BOOLEAN_P)); 40 E struct obj *FDECL(get_mleash, (struct monst *)); 41 E void FDECL(check_leash, (XCHAR_P,XCHAR_P)); 42 E boolean FDECL(um_dist, (XCHAR_P,XCHAR_P,XCHAR_P)); 43 E boolean FDECL(snuff_candl [all...] |
H A D | system.h | 83 E void FDECL(srandom, (unsigned int)); 86 E int FDECL(srandom, (unsigned int)); 97 E void FDECL(exit, (int)); 116 E void FDECL(free, (genericptr_t)); 122 E int FDECL(perror, (const char *)); 125 E void FDECL(perror, (const char *)); 132 E void FDECL(qsort, (genericptr_t,size_t,size_t, 139 E void FDECL(qsort, (genericptr_t,size_t,size_t, 152 E int FDECL(lseek, (int,off_t,int)); 154 E long FDECL(lsee [all...] |
H A D | wingem.h | 30 E void FDECL(docorner, (int, int)); 32 E void FDECL(g_putch, (int)); 37 E int FDECL(mar_create_window, (int)); 38 E void FDECL(mar_destroy_nhwindow, (int)); 39 E void FDECL(mar_print_glyph, (int, int, int, int)); 40 E void FDECL(mar_print_line, (int, int, int, char *)); 41 E void FDECL(mar_set_message, (char *, char *, char *)); 43 E void FDECL(mar_set_menu_type,(int)); 45 E void FDECL(mar_set_menu_title, (const char *)); 47 E void FDECL(mar_add_men [all...] |
H A D | winX.h | 273 E Widget FDECL(CreateDialog, (Widget, String, XtCallbackProc, XtCallbackProc)); 274 E void FDECL(SetDialogPrompt,(Widget, String)); 275 E String FDECL(GetDialogResponse,(Widget)); 276 E void FDECL(SetDialogResponse,(Widget, String)); 277 E void FDECL(positionpopup,(Widget,BOOLEAN_P)); 280 E struct xwindow *FDECL(find_widget,(Widget)); 281 E Boolean FDECL(nhApproxColor,(Screen*, Colormap, char*, XColor*)); 282 E Dimension FDECL(nhFontHeight,(Widget)); 283 E char FDECL(key_event_to_char,(XKeyEvent*)); 284 E void FDECL(msgke [all...] |
H A D | wintty.h | 94 E void FDECL(xwaitforspace, (const char *)); 98 E void FDECL(tty_startup,(int*, int*)); 108 E void FDECL(xputc, (int)); 110 E void FDECL(xputc, (CHAR_P)); 112 E void FDECL(xputs, (const char *)); 114 E void FDECL(xputg, (int, int, unsigned)); 139 E void FDECL(term_start_attr,(int attr)); 140 E void FDECL(term_end_attr,(int attr)); 146 E void FDECL(term_start_color,(int color)); 147 E int FDECL(has_colo [all...] |
H A D | amiconf.h | 72 extern void FDECL(nethack_exit, (int)); 78 extern int FDECL(ami_wbench_getsave, (int)); 79 extern void FDECL(ami_wbench_unlink, (char *)); 80 extern int FDECL(ami_wbench_iconsize, (char *)); 81 extern void FDECL(ami_wbench_iconwrite, (char *)); 82 extern int FDECL(ami_wbench_badopt, (const char *)); 84 extern void FDECL(getlind, (const char *,char *,const char *)); 90 extern void FDECL(exit, (int)); 92 extern void FDECL(Abort, (long)); 94 extern char *FDECL(CopyFil [all...] |
H A D | macwin.h | 170 extern Boolean FDECL(RetrieveWinPos, (WindowPtr,short *,short *)); 186 extern void FDECL(C2P,(const char *c, unsigned char *p)); 187 extern void FDECL(P2C,(const unsigned char *p, char *c)); 199 extern void FDECL (process_openfile, (short s_vol, long s_dir, Str255 fNm, OSType ft)); 207 int FDECL (try_key_queue, (char *)); 208 void FDECL (enter_topl_mode, (char *)); 209 void FDECL (leave_topl_mode, (char *)); 210 void FDECL (topl_set_resp, (char *, char)); 211 Boolean FDECL (topl_key, (unsigned char, Boolean)); 212 E void FDECL(HandleEven [all...] |
H A D | winprocs.h | 12 void FDECL((*win_init_nhwindows), (int *, char **)); 16 void FDECL((*win_exit_nhwindows), (const char *)); 17 void FDECL((*win_suspend_nhwindows), (const char *)); 19 winid FDECL((*win_create_nhwindow), (int)); 20 void FDECL((*win_clear_nhwindow), (winid)); 21 void FDECL((*win_display_nhwindow), (winid, BOOLEAN_P)); 22 void FDECL((*win_destroy_nhwindow), (winid)); 23 void FDECL((*win_curs), (winid,int,int)); 24 void FDECL((*win_putstr), (winid, int, const char *)); 25 void FDECL((*win_display_fil [all...] |
H A D | dlb.h | 74 dlb *FDECL(dlb_fopen, (const char *,const char *)); 75 int FDECL(dlb_fclose, (DLB_P)); 76 int FDECL(dlb_fread, (char *,int,int,DLB_P)); 77 int FDECL(dlb_fseek, (DLB_P,long,int)); 78 char *FDECL(dlb_fgets, (char *,int,DLB_P)); 79 int FDECL(dlb_fgetc, (DLB_P)); 80 long FDECL(dlb_ftell, (DLB_P));
|
H A D | timeout.h | 9 typedef void FDECL((*timeout_proc), (genericptr_t, long)); typedef
|
H A D | tosconf.h | 57 extern int FDECL(strcmpi,(const char *, const char *)); 58 extern int FDECL(strncmpi,(const char *, const char *, size_t));
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/win/share/ |
H A D | tile.h | 33 extern boolean FDECL(fopen_text_file, (const char *, const char *)); 34 extern boolean FDECL(read_text_tile, (pixel (*)[TILE_X])); 35 extern boolean FDECL(write_text_tile, (pixel (*)[TILE_X])); 44 extern void FDECL(exit, (int));
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/win/share/ |
H A D | tile.h | 33 extern boolean FDECL(fopen_text_file, (const char *, const char *)); 34 extern boolean FDECL(read_text_tile, (pixel (*)[TILE_X])); 35 extern boolean FDECL(write_text_tile, (pixel (*)[TILE_X])); 44 extern void FDECL(exit, (int));
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | dlb.c | 24 boolean FDECL((*dlb_fopen_proc), (DLB_P,const char *,const char *)); 25 int FDECL((*dlb_fclose_proc), (DLB_P)); 26 int FDECL((*dlb_fread_proc), (char *,int,int,DLB_P)); 27 int FDECL((*dlb_fseek_proc), (DLB_P,long,int)); 28 char *FDECL((*dlb_fgets_proc), (char *,int,DLB_P)); 29 int FDECL((*dlb_fgetc_proc), (DLB_P)); 30 long FDECL((*dlb_ftell_proc), (DLB_P)); 34 extern FILE *FDECL(fopen_datafile, (const char *,const char *,int)); 56 static boolean FDECL(readlibdir,(library *lp)); 57 static boolean FDECL(find_fil [all...] |