Searched refs:time (Results 201 - 207 of 207) sorted by relevance

123456789

/seL4-refos-master/projects/refos/design/
H A Dprotocol.tex45 \autoref{f:estab} illustrates that to interact with a server one must establish a session with the server through the server's anonymous endpoint capability. An established session with a server is represented by a \obj{session} capability with the server knowing the security subject of the client and optionally death notifications set up so that the server is informed when the client exits and at this time can modify its bookkeeping accordingly.
H A Dinterface.tex318 The timer server provides timer get time and sleep functionality, which is exposed through the dataspace interface.
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A Doptions.c33 * option (e.g. time and timed_delay) the shorter one must come first.
182 {"time", &flags.time, FALSE, SET_IN_GAME},
319 { "vary_msgcount", "show more old messages at a time", 20, DISP_IN_GAME }, /*WC*/
2194 if ((boolopt[i].addr) == &flags.time
3270 #define CONFIG_SLOT 3 /* fill in next value at run-time */
H A Dhack.c336 /* solid rock takes more work & time to dig through */
1399 vision_recalc(1); /* Do the work now in the recover time. */
1418 if (flags.time) flags.botl = 1;
1742 * but everything else gives a message only the first time */
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Doptions.c33 * option (e.g. time and timed_delay) the shorter one must come first.
182 {"time", &flags.time, FALSE, SET_IN_GAME},
319 { "vary_msgcount", "show more old messages at a time", 20, DISP_IN_GAME }, /*WC*/
2194 if ((boolopt[i].addr) == &flags.time
3270 #define CONFIG_SLOT 3 /* fill in next value at run-time */
H A Dhack.c336 /* solid rock takes more work & time to dig through */
1399 vision_recalc(1); /* Do the work now in the recover time. */
1418 if (flags.time) flags.botl = 1;
1742 * but everything else gives a message only the first time */
/seL4-refos-master/kernel/manual/parts/
H A Dcspace.tex32 % this section need to be cleaned up. They were clearly written at a time when

Completed in 68 milliseconds

123456789