Searched refs:was (Results 1 - 14 of 14) sorted by relevance
/seL4-refos-master/projects/refos/impl/cidl_templates/ |
H A D | dispatcher_container.py | 14 // This file was generated by CIDL - Simple C IDL Compiler.\n\n
|
/seL4-refos-master/cidl_templates/ |
H A D | dispatcher_container.py | 14 // This file was generated by CIDL - Simple C IDL Compiler.\n\n
|
/seL4-refos-master/libs/libmuslc/src/thread/powerpc/ |
H A D | syscall_cp.s | 39 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 D | notifications.tex | 35 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 D | intro.tex | 23 confidentiality~\cite{Murray_MBGBSLGK_13}. The kernel's small size was
|
H A D | cspace.tex | 33 % 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 D | ipc.tex | 179 \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 D | api.tex | 97 breakpoint ID that was passed to the function, was consumed in the setup of the single-stepping
|
H A D | threads.tex | 255 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 D | Guidebook.tex | 68 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 D | Guidebook.tex | 68 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 D | sp_lev.c | 969 /* 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 D | sp_lev.c | 969 /* 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 D | traps.S | 502 * 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