Searched refs:before (Results 1 - 9 of 9) sorted by relevance

/seL4-test-master/kernel/include/object/
H A Dtcb.h85 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-test-master/projects/util_libs/libutils/include/utils/
H A Darith.h169 * @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-test-master/kernel/manual/parts/
H A Dipc.tex189 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 Dbootup.tex219 whitespace before or after an ``='' or a comma either.
H A Dio.tex166 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 Dthreads.tex537 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 Dcspace.tex51 capability and CSpace management, before discussing how capabilities
/seL4-test-master/kernel/src/object/
H A Dtcb.c286 tcb_t *before = NULL; local
292 before = after;
296 if (before == NULL) {
301 before->tcbSchedNext = tcb;
309 tcb->tcbSchedPrev = before;
/seL4-test-master/kernel/src/arch/x86/64/
H A Dtraps.S20 * 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.

Completed in 126 milliseconds