| /seL4-refos-master/kernel/include/object/ |
| H A D | tcb.h | 85 tcb_t *before = queue.end; local
89 while (unlikely(before != NULL && tcb->tcbPriority > before->tcbPriority)) {
90 after = before;
91 before = after->tcbEPPrev;
94 if (unlikely(before == NULL)) {
98 before->tcbEPNext = tcb;
109 tcb->tcbEPPrev = before;
|
| /seL4-refos-master/projects/util_libs/libutils/include/utils/ |
| H A D | arith.h | 169 * @param before offset of struct field before padding
171 * @param type type of field before padding
173 #define PAD_STRUCT_BETWEEN(before, after, type) \
174 uint8_t JOIN(__padding, __COUNTER__)[(after) - (before) - sizeof(type)]
|
| /seL4-refos-master/libs/libutils/include/utils/ |
| H A D | arith.h | 169 * @param before offset of struct field before padding
171 * @param type type of field before padding
173 #define PAD_STRUCT_BETWEEN(before, after, type) \
174 uint8_t JOIN(__padding, __COUNTER__)[(after) - (before) - sizeof(type)]
|
| /seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
| H A D | ball.c | 224 * time to pick up the ball and chain before the move, the second time to
231 move_bc(before, control, ballx, bally, chainx, chainy)
232 int before, control;
233 xchar ballx, bally, chainx, chainy; /* only matter !before */
246 if (!before) {
308 * pick up the ball and chain before the hero moves, then put them
311 if (before) {
315 * on top until !before. Use the variable u.bc_order
348 * Should not be called while swallowed. Should be called before movement,
|
| H A D | weapon.c | 408 /* shooting gems from slings; this goes just before the darts */
911 Possible future enhancement: list spell skills before
1031 int i, before, after; local
1033 for (i = 0, before = 0; i < P_NUM_SKILLS; i++)
1034 if (can_advance(i, FALSE)) before++;
1038 if (before < after)
|
| /seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
| H A D | ball.c | 224 * time to pick up the ball and chain before the move, the second time to
231 move_bc(before, control, ballx, bally, chainx, chainy)
232 int before, control;
233 xchar ballx, bally, chainx, chainy; /* only matter !before */
246 if (!before) {
308 * pick up the ball and chain before the hero moves, then put them
311 if (before) {
315 * on top until !before. Use the variable u.bc_order
348 * Should not be called while swallowed. Should be called before movement,
|
| H A D | weapon.c | 408 /* shooting gems from slings; this goes just before the darts */
911 Possible future enhancement: list spell skills before
1031 int i, before, after; local
1033 for (i = 0, before = 0; i < P_NUM_SKILLS; i++)
1034 if (can_advance(i, FALSE)) before++;
1038 if (before < after)
|
| /seL4-refos-master/kernel/manual/parts/ |
| H A D | ipc.tex | 189 before the send is initiated in the kernel. If the lookup fails for any
203 thread may have been blocked on the endpoint for some time before it
210 destination slot exists and is empty before it initiates the receive.
221 prematurely. The capabilities processed before the failure are still
|
| H A D | bootup.tex | 219 whitespace before or after an ``='' or a comma either.
|
| H A D | io.tex | 166 and the address to map at. Three levels of page tables must be mapped before
413 an ASID which is assigned before the VSpace is ready to be used and will never
|
| H A D | threads.tex | 537 instructions before delivering the single-step fault message. \texttt{Num\_instructions}
539 instructions before resuming single-stepping. This skip-count can also be set in
|
| H A D | cspace.tex | 51 capability and CSpace management, before discussing how capabilities
|
| /seL4-refos-master/kernel/src/object/ |
| H A D | tcb.c | 286 tcb_t *before = NULL; local
292 before = after;
296 if (before == NULL) {
301 before->tcbSchedNext = tcb;
309 tcb->tcbSchedPrev = before;
|
| /seL4-refos-master/kernel/src/arch/x86/64/ |
| H A D | traps.S | 20 * The RSP is aligned to a 16-byte boundary before pushing the stack frame.
511 * setting EFLAGS.TF before SYSEXIT so that single-stepping resumes in the
525 * EFLAGS.TF for the userspace thread before it returns.
|
| /seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/doc/ |
| H A D | Guidebook.tex | 64 the caverns before you and did not return. Eventually you can resist
368 damage you can take before you die. The more you get hit in a fight,
550 You can put a number before some commands to repeat them that many
692 {\tt Di} --- examine your inventory before dropping anything.\\
750 are listed later in this Guidebook. Options are usually set before the
1242 help you locate them before they locate you (which some monsters can do
1520 numeric prefix before the `{\tt t}' or `{\tt f}' command.
1836 You must set one down before unlocking it by
2033 you to set options before starting the game.
2042 and turn it off by typing a `{\tt !}' or ``{\tt no}'' before th
[all...] |
| /seL4-refos-master/apps/nethack/src/nethack-3.4.3/doc/ |
| H A D | Guidebook.tex | 64 the caverns before you and did not return. Eventually you can resist
368 damage you can take before you die. The more you get hit in a fight,
550 You can put a number before some commands to repeat them that many
692 {\tt Di} --- examine your inventory before dropping anything.\\
750 are listed later in this Guidebook. Options are usually set before the
1242 help you locate them before they locate you (which some monsters can do
1520 numeric prefix before the `{\tt t}' or `{\tt f}' command.
1836 You must set one down before unlocking it by
2033 you to set options before starting the game.
2042 and turn it off by typing a `{\tt !}' or ``{\tt no}'' before th
[all...] |
| /seL4-refos-master/projects/refos/design/ |
| 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).
102 Map the frame at the given VSpace into a client's faulted window and then resolve the fault and resume execution of the faulting client. This protocol is most commonly used in response to a prior fault notification from the process server, and it also may be used to eagerly map frames into clients before they VMfault.
|