Searched refs:any (Results 26 - 50 of 54) sorted by relevance

123

/seL4-refos-master/kernel/manual/parts/
H A Dcspace.tex65 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 Dnotifications.tex32 thread waiting on the notification (if any). As such,
H A Dbootup.tex126 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 Dthreads.tex175 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 Dio.tex104 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 Dapi.tex71 any access.
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/doc/
H A DGuidebook.tex82 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 DGuidebook.tex82 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 Dinvent.c166 * 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 Dartifact.c66 /* 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 Dmklev.c324 boolean any = TRUE; local
333 for(a = 0; any && a < nroom; a++) {
334 any = FALSE;
338 any = TRUE;
H A Dapply.c200 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 Dpray.c883 /* 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 Dobjnam.c173 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 Dinvent.c166 * 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 Dartifact.c66 /* 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 Dmklev.c324 boolean any = TRUE; local
333 for(a = 0; any && a < nroom; a++) {
334 any = FALSE;
338 any = TRUE;
H A Dapply.c200 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 Dpray.c883 /* 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 Dobjnam.c173 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 Dappendix.tex197 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 Dinterface.tex70 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 Dintro.tex34 \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 Dtraps.S392 # 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 Dconfigure574 # Prevent linking if there are undefined symbols; if any exist,
661 tryflag CFLAGS_AUTO -Wa,--isa=any

Completed in 174 milliseconds

123