Searched refs:when (Results 1 - 25 of 28) sorted by relevance

12

/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/
H A Dmactty.h52 * Error code returned when it's probably our fault, or
120 * We may want the window not to scroll when we reach the end line,
141 * Blinking cursor is more noticeable when it's idle
287 extern short blink_cursor ( WindowPtr window , long when ) ;
H A Drm.h439 long when, cost; member in struct:damage
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/
H A Dmactty.h52 * Error code returned when it's probably our fault, or
120 * We may want the window not to scroll when we reach the end line,
141 * Blinking cursor is more noticeable when it's idle
287 extern short blink_cursor ( WindowPtr window , long when ) ;
H A Drm.h439 long when, cost; member in struct:damage
/seL4-refos-master/kernel/manual/parts/
H A Dthreads.tex71 automatically suspended when the last capability to their \obj{TCB} is
154 of the scheduling context when created by \apifunc{seL4\_Untyped\_Retype}{untyped_retype}.
214 between threads over IPC. Scheduling contexts are donated implicitly when the system calls
219 borrowing the scheduling context: when the reply cap is consumed by a reply message being sent the
248 when the thread blocks on the notification object. This feature allows for passive servers to use
268 however when a thread executes is determined by thread priority. Consequently,
304 The standard exception handler is used when a fault is triggered by a thread
319 Timeout faults are raised when a thread attempts to run but has no available
323 running when it's budget is replenished. This allows temporally sensitive
368 can occur when looku
[all...]
H A Dobjects.tex16 Note that some services are available only when the kernel is configured for
173 section \ref{sec:faults}) when attempted with other capability types.
200 object capabilities, raising a fault (see section \ref{sec:faults}) when
242 used when no reply is expected. Unlike \apifunc{seL4\_Recv}{sel4_recv},
272 always a power of two, determined when the \obj{CNode} is created. Slots
408 when there are no dangling references (i.e., capabilities) left to the
417 requires no additional kernel meta-data.} For example, when a user
H A Dio.tex26 \apifunc{signal}{sel4_signal} when an interrupt occurs. A driver
110 is bypassed when the device accesses memory. In seL4, device drivers run
201 Faults that occur when a memory transaction conflicts with a StreamID or CB
208 consistent when there are changes to any valid page table mapping entries.
433 the correct ASID or VMID when the StreamID is enabled. This is not a problem for
438 While it is possible to do this when the VSpace is only used in an MMU, it is
H A Dbootup.tex177 addresses of retyped frames and use them to initiate DMA transfers when no
200 when constructing an IOMMU address space (IOSpace). If there is no IOMMU
H A Dcspace.tex24 capability. Threads refer to capabilities in their CSpaces (e.g. when
32 % this section need to be cleaned up. They were clearly written at a time when
53 individual capabilities within their CSpaces when invoking methods.
225 capability. Untyped capabilities when copied always create children,
H A Dipc.tex201 of the source capabilities is checked when the sending thread
230 As explained in \autoref{sec:sys_call}, when the user calls
H A Dapi.tex64 trigger-span of the watchpoint. Must be zero when 'type' is \texttt{seL4\_InstructionBreakpoint}.
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/doc/
H A DGuidebook.tex66 After all, when other adventurers came back this way after spending time
67 in the caverns, they usually seemed better off than when they passed
263 enabled when your executable was created. The three possible display
272 when referring to things you might see on the screen during your game.
340 Wisdom comes from your practical experience (especially when dealing with
400 {\it Conf\/} when you're confused, {\it FoodPois\/} or {\it Ill\/}
401 when sick, {\it Blind\/}
402 when you can't see, {\it Stun\/} when stunned, and {\it Hallu\/} when
[all...]
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/doc/
H A DGuidebook.tex66 After all, when other adventurers came back this way after spending time
67 in the caverns, they usually seemed better off than when they passed
263 enabled when your executable was created. The three possible display
272 when referring to things you might see on the screen during your game.
340 Wisdom comes from your practical experience (especially when dealing with
400 {\it Conf\/} when you're confused, {\it FoodPois\/} or {\it Ill\/}
401 when sick, {\it Blind\/}
402 when you can't see, {\it Stun\/} when stunned, and {\it Hallu\/} when
[all...]
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A Dmkobj.c224 * in the nobj chain (and nexthere chain when on the floor).
247 /* Only set nexthere when on the floor, nexthere is also used */
248 /* as a back pointer to the container object when contained. */
316 * only in the billobjs chain. This function is used when a shop object
318 * purposes. For example, when eating, where an interruption will yield
643 long when; /* rot away when this old */ local
648 #define TAINT_AGE (50L) /* age when corpses go bad */
650 #define ROT_AGE (250L) /* age when corpses rot away */
659 when
[all...]
H A Dtimeout.c326 /* call this only when a move took place. */
333 * are to make noise when you fumble. Adjustments
369 there's a need to override this when wakeup_msg is true */
389 * Decide if and when to hatch the egg. The old hatch_it() code tried
436 /* only can hatch when in INVENT, FLOOR, MINVENT */
482 + Mark the egg as hatched, then place the monster when we
607 * Decide when to transform the figurine.
793 /* this should only be called when we run out */
1037 * For the latter items, age is when the object was created, so we
1038 * know when i
[all...]
H A Drestore.c36 * map is used by the timer routines when restoring ghost levels.
98 /* Things that were marked "in_use" when the game was saved (ex. via the
167 tmp_dam->when += (monstermoves - omoves);
171 /* when restoring, there are two passes over the current
415 during next fight when bare-handed or wielding an unconventional
455 * don't dereference a wild u.ustuck when saving the game state, for instance)
718 * information is available when restoring the objects.
811 them is different now than when the level was saved */
928 /* idx is zero on first time through, as well as when a new bucket is */
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Dmkobj.c224 * in the nobj chain (and nexthere chain when on the floor).
247 /* Only set nexthere when on the floor, nexthere is also used */
248 /* as a back pointer to the container object when contained. */
316 * only in the billobjs chain. This function is used when a shop object
318 * purposes. For example, when eating, where an interruption will yield
643 long when; /* rot away when this old */ local
648 #define TAINT_AGE (50L) /* age when corpses go bad */
650 #define ROT_AGE (250L) /* age when corpses rot away */
659 when
[all...]
H A Dtimeout.c326 /* call this only when a move took place. */
333 * are to make noise when you fumble. Adjustments
369 there's a need to override this when wakeup_msg is true */
389 * Decide if and when to hatch the egg. The old hatch_it() code tried
436 /* only can hatch when in INVENT, FLOOR, MINVENT */
482 + Mark the egg as hatched, then place the monster when we
607 * Decide when to transform the figurine.
793 /* this should only be called when we run out */
1037 * For the latter items, age is when the object was created, so we
1038 * know when i
[all...]
H A Drestore.c36 * map is used by the timer routines when restoring ghost levels.
98 /* Things that were marked "in_use" when the game was saved (ex. via the
167 tmp_dam->when += (monstermoves - omoves);
171 /* when restoring, there are two passes over the current
415 during next fight when bare-handed or wielding an unconventional
455 * don't dereference a wild u.ustuck when saving the game state, for instance)
718 * information is available when restoring the objects.
811 them is different now than when the level was saved */
928 /* idx is zero on first time through, as well as when a new bucket is */
/seL4-refos-master/kernel/src/arch/x86/32/
H A Dtraps.S414 * set when SYSENTER was called.
466 leal (4 * ESP)(%esp), %edi # EDI contains ESP when exception happened
512 # Assume following register contents when called:
/seL4-refos-master/libs/libmuslc/src/fenv/i386/
H A Dfenv.s33 # only do the expensive x87 fenv load/store when needed
/seL4-refos-master/libs/libmuslc/src/fenv/i386_sel4/
H A Dfenv.s33 # only do the expensive x87 fenv load/store when needed
/seL4-refos-master/kernel/src/arch/x86/64/
H A Dtraps.S21 * In x86-64 mode, when stacks are switched as part of a 64-bit mode privilege-level
502 * set when SYSENTER was called.
625 # Assume following register contents when called:
/seL4-refos-master/projects/refos/design/
H A Dappendix.tex253 caller client wants other processes to have when they gain access
H A Dintro.tex108 Protocols are shown as series of messages. Messages are implemented by operations, and the types of different messages directly correlate to the operation types. This section outlines the notation which this document will henceforth adhere to when describing the various forms of messages that form \refOS's protocol.

Completed in 143 milliseconds

12