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

/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/
H A Dtrampoli.h27 #define timed_occupation() timed_occupation_() macro
H A Dextern.h141 E int NDECL(timed_occupation);
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/
H A Dtrampoli.h27 #define timed_occupation() timed_occupation_() macro
H A Dextern.h141 E int NDECL(timed_occupation);
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A Dcmd.c107 STATIC_PTR int NDECL(timed_occupation);
170 timed_occupation() function
210 occupation = timed_occupation;
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Dcmd.c107 STATIC_PTR int NDECL(timed_occupation);
170 timed_occupation() function
210 occupation = timed_occupation;

Completed in 116 milliseconds