Searched refs:was (Results 1 - 14 of 14) sorted by relevance

/seL4-refos-master/projects/refos/impl/cidl_templates/
H A Ddispatcher_container.py14 // This file was generated by CIDL - Simple C IDL Compiler.\n\n
/seL4-refos-master/cidl_templates/
H A Ddispatcher_container.py14 // This file was generated by CIDL - Simple C IDL Compiler.\n\n
/seL4-refos-master/libs/libmuslc/src/thread/powerpc/
H A Dsyscall_cp.s39 beq+ cr7, 1f #jump to label 1 if r0 was 0
43 #ok, the cancel flag was not set
/seL4-refos-master/kernel/manual/parts/
H A Dnotifications.tex35 If the signal sender capability was unbadged or 0-badged, the operation degrades
61 endpoint. To distinguish whether the received message was a notification
H A Dintro.tex23 confidentiality~\cite{Murray_MBGBSLGK_13}. The kernel's small size was
H A Dcspace.tex33 % it was not possible to change a capability's rights during a CNode_Copy.
115 special \obj{TCB} slot it was created in, into the designated CSpace
226 never siblings. In this scenario, the untyped capability was typed
253 all that happens. If, however, it was the last typed capability to an
258 If the object to be destroyed was a capability container, i.e.\ a TCB
483 A CSpace CPTR root (within which a capability was to be looked up)
510 When resolving a capability, a CNode was traversed that resolved more
511 bits than was left to decode in the CPTR or a non-CNode capability was
526 When resolving a capability, a CNode was traverse
[all...]
H A Dipc.tex179 \texttt{capsUnwrapped} of 2, then the first capability in the message was
180 transferred to the specified receive slot and the second capability was
204 was paired with a receiving thread. During this time, its
240 \apifunc{seL4\_TCB\_Suspend}{tcb_suspend} was called on it. The send part of
251 the latter was destroyed, the reply capability would still exist and point to
H A Dapi.tex97 breakpoint ID that was passed to the function, was consumed in the setup of the single-stepping
H A Dthreads.tex255 Passive threads will run on the CPU node that the scheduling context was configured with, and will
563 \apifunc{seL4\_SchedContext\_Consumed}{schedcontext_consumed} was last called.
569 the scheduling context object that the thread was running on when the fault
590 Instruction fault (1 if the fault was caused by an instruction fetch). & \ipcbloc{seL4\_VMFault\_PrefetchFault} \\
650 if there was no bound \obj{VCPU}, and the other is the guest mode execution using the
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/doc/
H A DGuidebook.tex68 through the first time. And who was to say that all of those who did
240 orientation was almost unique among computer fantasy games. Since
263 enabled when your executable was created. The three possible display
768 the `f' command. (In versions prior to 3.3 this was the command to quit
891 the game was compiled with.
1197 it was obtained; other shopkeepers won't honor it. (If you happen to
2154 Only applies when MFLOPPY was defined during compilation.
2343 partial, or full. Traditional was the only interface available for
2440 {\tt s} --- single message (default, this was the behavior before 3.4.0).\\
2832 will return 92 to NetHack, if 171 was originall
[all...]
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/doc/
H A DGuidebook.tex68 through the first time. And who was to say that all of those who did
240 orientation was almost unique among computer fantasy games. Since
263 enabled when your executable was created. The three possible display
768 the `f' command. (In versions prior to 3.3 this was the command to quit
891 the game was compiled with.
1197 it was obtained; other shopkeepers won't honor it. (If you happen to
2154 Only applies when MFLOPPY was defined during compilation.
2343 partial, or full. Traditional was the only interface available for
2440 {\tt s} --- single message (default, this was the behavior before 3.4.0).\\
2832 will return 92 to NetHack, if 171 was originall
[all...]
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A Dsp_lev.c969 /* assume we wouldn't be given an egg corpsenm unless it was
1010 struct monst *was; local
1020 was = makemon(&mons[wastyp], 0, 0, NO_MM_FLAGS);
1021 if (!resists_ston(was)) break;
1022 mongone(was);
1025 while(was->minvent) {
1026 obj = was->minvent;
1032 mongone(was);
2547 * what direction was chosen.
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Dsp_lev.c969 /* assume we wouldn't be given an egg corpsenm unless it was
1010 struct monst *was; local
1020 was = makemon(&mons[wastyp], 0, 0, NO_MM_FLAGS);
1021 if (!resists_ston(was)) break;
1022 mongone(was);
1025 while(was->minvent) {
1026 obj = was->minvent;
1032 mongone(was);
2547 * what direction was chosen.
/seL4-refos-master/kernel/src/arch/x86/64/
H A Dtraps.S502 * set when SYSENTER was called.
509 * exception continue. The debug exception handler will notice that it was
520 /* Else it was EFLAGS.TF that caused the kernel exception on SYSENTER.

Completed in 175 milliseconds