Searched refs:RUNTIME_PORT_ID (Results 1 - 6 of 6) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A Dversion.c38 #if defined(RUNTIME_PORT_ID)
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Dversion.c38 #if defined(RUNTIME_PORT_ID)
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/
H A Dwceconf.h107 #define RUNTIME_PORT_ID /* trigger run-time port identification since macro
H A Dextern.h2120 #ifdef RUNTIME_PORT_ID
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/
H A Dwceconf.h107 #define RUNTIME_PORT_ID /* trigger run-time port identification since macro
H A Dextern.h2120 #ifdef RUNTIME_PORT_ID

Completed in 98 milliseconds