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

/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/
H A Dtrampoli.h127 #define doprtool() doprtool_() macro
H A Dextern.h808 E int NDECL(doprtool);
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/
H A Dtrampoli.h127 #define doprtool() doprtool_() macro
H A Dextern.h808 E int NDECL(doprtool);
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A Dcmd.c61 extern int NDECL(doprtool); /**/
1468 {TOOL_SYM, TRUE, doprtool},
H A Dinvent.c2503 doprtool() function
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Dcmd.c61 extern int NDECL(doprtool); /**/
1468 {TOOL_SYM, TRUE, doprtool},
H A Dinvent.c2503 doprtool() function

Completed in 93 milliseconds