/seL4-refos-master/kernel/manual/parts/ |
H A D | cspace.tex | 65 Like any other object, a \obj{CNode} must be created by calling 118 any outstanding sends that use the same badge and object as the 168 \obj{Endpoint} & Receiving & Sending & Sending any 173 \obj{Reply} & N/A & N/A & Sending any capabilities in reply message & N/A \\ 277 unreachable CNodes are to be avoided. Alternatively, any resulting 285 any of the revoked child capabilities were the last capabilities to an 429 any address of the form 0x060xxxxx (where xxxxx is any number, 465 In summary, to refer to any capability (or slot) in a CSpace, the user
|
H A D | notifications.tex | 32 thread waiting on the notification (if any). As such,
|
H A D | bootup.tex | 126 chunk that has no data, any other types are platform or architecture specific. The 203 On ARM if the platform has any available SMMU units the capabilities for them 218 Keys and values can't have any whitespace in them and there can be no
|
H A D | threads.tex | 175 system call \apifunc{seL4\_Yield}{sel4_yield} can be used to sacrifice any remaining budget and 206 The kernel does not conduct any schedulability tests, as task admission is left to user-level policy 271 exceeed the budget in their scheduling context for any given period, and that 307 make any more progress until the page is mapped. If a thread experiences a 532 can be configured as single-steppers, to one at any given time. The register that 533 is currently configured (if any) for single-stepping will be the implicit 538 should be set to \texttt{1} when single-stepping, or any non-zero integer value to skip that many 642 \texttt{cpsr} register set to values other than \texttt{user}. Specifically it may have any value other than 654 Should the guest execution mode generate any kind of fault, or if a message arrives 662 to run in such a way as to violate any kerne [all...] |
H A D | io.tex | 104 may not have overlap with any existing issued \obj{IO Port} capability. 208 consistent when there are changes to any valid page table mapping entries. 276 a capability to any valid StreamID for the SMMU and delegate access to other 351 If there are any exceptions after the stream ID is enabled, the user-level 371 removing any configured VSpace, 401 The kernel does not impose any restrictions on how a VSpace is used by user-level
|
H A D | api.tex | 71 any access.
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/doc/ |
H A D | Guidebook.tex | 82 if you encounter any of the terrifying and magical creatures of 221 they have no special abilities, they can succeed in any role. 227 unequalled, and will go out of their way to kill one at any opportunity. 518 You need not memorize all these symbols; you can ask the game what any 527 like ``{\tt search}'', do not require that any more information be collected 560 The list of commands is rather long, but it can be read at any time 578 `{\tt ,}' will explain the symbol but skip any additional 581 info, if any, without asking for confirmation. When picking a location, 587 always gives any additional information available about that name. 1179 have paid any deb [all...] |
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/doc/ |
H A D | Guidebook.tex | 82 if you encounter any of the terrifying and magical creatures of 221 they have no special abilities, they can succeed in any role. 227 unequalled, and will go out of their way to kill one at any opportunity. 518 You need not memorize all these symbols; you can ask the game what any 527 like ``{\tt search}'', do not require that any more information be collected 560 The list of commands is rather long, but it can be read at any time 578 `{\tt ,}' will explain the symbol but skip any additional 581 info, if any, without asking for confirmation. When picking a location, 587 always gives any additional information available about that name. 1179 have paid any deb [all...] |
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | invent.c | 166 * we'd wind up never merging any corpses. 368 * If there aren't any free inventory slots, we'll drop it instead. 370 * fumbling/slot-limit checking for a silent grab. In any case, 426 /* undo any merge which took place */ 765 boolean allowgold = FALSE; /* can't use gold because they don't have any */ 991 You("are not carrying any gold."); 1257 [any duplicate entries in extra_removeables[] won't matter] */ 1275 You("are not wearing any armor."); 1325 You("don't have any %c's.", sym); 1690 * any coun 1704 anything any; local 2737 anything any; local [all...] |
H A D | artifact.c | 66 /* Excalibur can be used by any lawful character, not just knights */ 403 /* don't change any spfx also conferred by other artifacts */ 491 * This routine does not change any object chains. 637 always return 0 for any artifact which has that attribute */ 1279 anything any; local 1281 any.a_void = 0; /* set all bits to zero */ 1286 any.a_int = i+1; 1287 add_menu(tmpwin, NO_GLYPH, &any, 0, 0, ATR_NONE,
|
H A D | mklev.c | 324 boolean any = TRUE; local 333 for(a = 0; any && a < nroom; a++) { 334 any = FALSE; 338 any = TRUE;
|
H A D | apply.c | 200 not take any time; however, unless it did, the stethoscope would be 424 You("cannot leash any more pets."); 772 /* note: once any of them are gone, we stop all of them */ 1503 /* don't recover more than 3 points worth of any attribute */ 2519 anything any; local 2523 any.a_void = 0; /* set all bits to zero */ 2524 any.a_int = 1; /* use index+1 (cant use 0) as identifier */ 2526 any.a_int++; 2528 add_menu(tmpwin, NO_GLYPH, &any, 0, 0, ATR_NONE, 2530 any [all...] |
H A D | pray.c | 883 /* fix any rust/burn/rot damage, but don't protect 918 /* if any levels have been lost (and not yet regained), 937 int any = 0; local 950 ++any; 954 if (any) update_inventory(); 1029 * returns true if it found any water here.
|
H A D | objnam.c | 173 objects[otyp].oc_uname = 0; /* suppress any name given by user */ 186 /* Since there aren't any objects which are both 530 /* The only cases where any of these bits do double duty are for 801 /* gold doesn't have any interesting attributes [yet?] */ 1803 if (!bp) goto any; 1816 if (!bp || !*bp) goto any; 1925 otmp->spe is type schar; so we don't want spe to be any bigger or smaller. 2120 goto any; 2412 any: 2440 /* catch any othe [all...] |
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | invent.c | 166 * we'd wind up never merging any corpses. 368 * If there aren't any free inventory slots, we'll drop it instead. 370 * fumbling/slot-limit checking for a silent grab. In any case, 426 /* undo any merge which took place */ 765 boolean allowgold = FALSE; /* can't use gold because they don't have any */ 991 You("are not carrying any gold."); 1257 [any duplicate entries in extra_removeables[] won't matter] */ 1275 You("are not wearing any armor."); 1325 You("don't have any %c's.", sym); 1690 * any coun 1704 anything any; local 2737 anything any; local [all...] |
H A D | artifact.c | 66 /* Excalibur can be used by any lawful character, not just knights */ 403 /* don't change any spfx also conferred by other artifacts */ 491 * This routine does not change any object chains. 637 always return 0 for any artifact which has that attribute */ 1279 anything any; local 1281 any.a_void = 0; /* set all bits to zero */ 1286 any.a_int = i+1; 1287 add_menu(tmpwin, NO_GLYPH, &any, 0, 0, ATR_NONE,
|
H A D | mklev.c | 324 boolean any = TRUE; local 333 for(a = 0; any && a < nroom; a++) { 334 any = FALSE; 338 any = TRUE;
|
H A D | apply.c | 200 not take any time; however, unless it did, the stethoscope would be 424 You("cannot leash any more pets."); 772 /* note: once any of them are gone, we stop all of them */ 1503 /* don't recover more than 3 points worth of any attribute */ 2519 anything any; local 2523 any.a_void = 0; /* set all bits to zero */ 2524 any.a_int = 1; /* use index+1 (cant use 0) as identifier */ 2526 any.a_int++; 2528 add_menu(tmpwin, NO_GLYPH, &any, 0, 0, ATR_NONE, 2530 any [all...] |
H A D | pray.c | 883 /* fix any rust/burn/rot damage, but don't protect 918 /* if any levels have been lost (and not yet regained), 937 int any = 0; local 950 ++any; 954 if (any) update_inventory(); 1029 * returns true if it found any water here.
|
H A D | objnam.c | 173 objects[otyp].oc_uname = 0; /* suppress any name given by user */ 186 /* Since there aren't any objects which are both 530 /* The only cases where any of these bits do double duty are for 801 /* gold doesn't have any interesting attributes [yet?] */ 1803 if (!bp) goto any; 1816 if (!bp || !*bp) goto any; 1925 otmp->spe is type schar; so we don't want spe to be any bigger or smaller. 2120 goto any; 2412 any: 2440 /* catch any othe [all...] |
/seL4-refos-master/projects/refos/design/ |
H A D | appendix.tex | 197 R box R [ label = "check if any vaddr in any window should sit in page at this PDE"]; 218 R box R [ label = "check if fault vaddr is in any window"];
|
H A D | interface.tex | 70 Create a new memory window segment for the calling client. Note that clients may only create memory windows for their own address space and alignment restrictions may apply here due to implementation and/or hardware restrictions. In the \refOS client environment, a valid memory window segment must be covering any virtual address ranges before any mapping can be performed (including dataspace and device frame mappings). 139 The server connection interface enables client session connection and disconnection. It may be a good idea during implementation to extend this interface onto any other extra operating system functionality that is common across servers. This could include debug ping, parameter buffer setup and notification buffer setup. 284 The process server is the most trusted component in the system. It runs as the initial kernel thread and does not depend on any other component (this avoids deadlock). The process server implementation is single-threaded. The process server also implements the dataspace interface for anonymous memory and acts as the memory manager.
|
H A D | intro.tex | 34 \texttt{Servers} are normal processes which have registered themselves using the naming service so that other client processes may find them. Once a client finds a process, the client may connect and establish a session with the server and the server is given access to the notification of client deaths in order to do any client bookkeeping that it may require. 137 For example, the notation \met{dataserv}{dataspace}{open} means an invocation of the \texttt{open} method of the \obj{dataspace} interface on the server called \srv{dataserv}. Note that any \srv{server} can implement a particular \obj{interface}. The encoding of method and arguments in the actual message is left as an implementation detail.
|
/seL4-refos-master/kernel/src/arch/x86/32/ |
H A D | traps.S | 392 # Disable the interrupt flag so that we do not take any additional interrupts 443 /* Begin popping registers to IRET now. We don't need to consider any
|
/seL4-refos-master/libs/libmuslc/ |
H A D | configure | 574 # Prevent linking if there are undefined symbols; if any exist, 661 tryflag CFLAGS_AUTO -Wa,--isa=any
|