Searched refs:doversion (Results 1 - 8 of 8) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A Dversion.c45 doversion() function
H A Dcmd.c93 extern int NDECL(doversion); /**/
1435 {'v', TRUE, doversion},
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Dversion.c45 doversion() function
H A Dcmd.c93 extern int NDECL(doversion); /**/
1435 {'v', TRUE, doversion},
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/
H A Dtrampoli.h264 #define doversion() doversion_() macro
H A Dextern.h2111 E int NDECL(doversion);
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/
H A Dtrampoli.h264 #define doversion() doversion_() macro
H A Dextern.h2111 E int NDECL(doversion);

Completed in 65 milliseconds