Searched refs:it (Results 1 - 25 of 32) sorted by relevance

12

/seL4-test-master/projects/musllibc/src/unistd/
H A Dalarm.c7 struct itimerval it = { .it_value.tv_sec = seconds }; local
8 __syscall(SYS_setitimer, ITIMER_REAL, &it, &it);
9 return it.it_value.tv_sec + !!it.it_value.tv_usec;
H A Dualarm.c7 struct itimerval it = { local
11 setitimer(ITIMER_REAL, &it, &it_old);
/seL4-test-master/projects/util_libs/libutils/include/utils/
H A Dsglib.h186 /* !!!!!!! This data structure is NOT documented, do not use it !!!!!!!!!! */
213 /* !!!!!!! This data structure is NOT documented, do not use it !!!!!!!!!! */
253 table, it can be represented via its index.
263 !!!!!!! This data structure is NOT documented, do not use it !!!!!!!!!!
730 /* it maintains the path to the current node in the array '_path_' */\
734 /* command can destroy it, it can free the element for example */\
833 /* !!!!!!! This data structure is NOT documented, do not use it !!!!!!!!!! */
883 /* !!!!!!! This data structure is NOT documented, do not use it !!!!!!!!!! */
935 table, it ca
[all...]
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dfpu.c176 for (int it = 0; it < 100; it++) {
/seL4-test-master/tools/nanopb/generator/
H A Dprotoc-gen-nanopb.bat4 :: Use it like this:
/seL4-test-master/projects/musllibc/src/signal/mips64/
H A Dsigsetjmp.s18 # save base of got so that we can use it later
/seL4-test-master/projects/musllibc/src/signal/mipsn32/
H A Dsigsetjmp.s18 # save base of got so that we can use it later
/seL4-test-master/projects/musllibc/src/internal/sh/
H A Dsyscall.s6 ! the number of arguments being passed, but it then ignores that information.
/seL4-test-master/projects/util_libs/libplatsupport/src/
H A Dtqueue.c37 struct sglib_tqueue_node_t_iterator it; local
38 return sglib_tqueue_node_t_it_init(&it, list);
157 /* check if it is active again, as callback may have deactivated the timeout */
/seL4-test-master/kernel/manual/parts/
H A Dipc.tex82 \texttt{msg} field to transfer arguments. However, it leaves room in
125 create a new endpoint capability with a \emph{badge} attached to it, a data
155 in which it is willing to receive a capability, with three fields within the IPC buffer: \texttt{receiveCNode}, \texttt{receiveIndex} and \texttt{receiveDepth}.
174 A capability that is not unwrapped is transferred by copying it from the
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.
220 An error will not void the entire transfer, it will just end it
240 \apifunc{seL4\_TCB\_Suspend}{tcb_suspend} was called on it. The send part of
258 directly addressed with any CPtr as it i
[all...]
H A Dcspace.tex33 % it was not possible to change a capability's rights during a CNode_Copy.
39 derivation tree} (CDT) in which it tracks the relationship between
44 managers of untyped memory to destroy the objects in that memory so it
61 that it will have, and this determines the amount of memory that it
92 to the slot in which it is currently.
103 same, in which case the capability in it is swapped with the
115 special \obj{TCB} slot it was created in, into the designated CSpace
153 it carries the maximum set of access rights. Other, less-powerful
161 %TODO it look
[all...]
H A Dthreads.tex30 registers. While it is not compulsory that a thread has an IPC buffer,
31 it will not be able to perform most kernel invocations, as they require
53 the scheduler. On the MCS kernel, the thread will only begin running if it has a
81 When a thread modifies a another threads priority (including itself) it must provide a
122 scheduling context is changed, until it is depleted and then refilled immediately.
137 of the time it is eligible for use (\emph{rTime}) and the amount that replenishment is for
139 While a thread is executing, it constantly drains the budget from the \texttt{rAmount} at the head of the
174 Whenever a thread is executing it consumes the budget from its current scheduling context. The
181 one kernel entry. When a thread is bound to a scheduling context, if it is in a runnable state and
182 the scheduling context is active, it wil
[all...]
H A Dintro.tex13 application domains. As a microkernel, it provides a small number of
H A Dio.tex58 an interrupt comes from (IOAPIC, MSI, etc) it must be assigned a unique vector
78 it. Reading from I/O ports is accomplished with the
117 device, restricting the regions of system memory that it can access.
197 with the same context bank and it is possible to share address translation
210 An SMMU implementation usually has a maximum number of StreamIDs that it supports.
220 modify memory contents that it has been explicitly given access to and allow
227 track which VSpace a context bank has bound to it, and which context bank a
296 it's own registers for holding context specific information. An SMMU has a fixed
438 While it is possible to do this when the VSpace is only used in an MMU, it i
[all...]
H A Dnotifications.tex30 notification word by bit-wise \texttt{or}-ing it with the \emph{badge}
/seL4-test-master/tools/riscv-pk/machine/
H A Dmentry.S52 # Is it a machine timer interrupt?
70 # Is it an IPI?
258 # write mtvec and make sure it sticks
279 # wait for an IPI to signal that it's safe to boot
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/
H A Dguest_memory.c192 struct sglib_res_tree_iterator it; local
198 for (anon_node = sglib_res_tree_it_init_inorder(&it, anon_tree); anon_node != NULL;
199 anon_node = sglib_res_tree_it_next(&it)) {
415 /* Register the sub-reservation token into the region - It will need to iterate over it on faults */
/seL4-test-master/projects/musllibc/src/math/i386/
H A Dexpl.s30 # it will be wrong on non-nearest rounding mode
/seL4-test-master/projects/musllibc/src/math/i386_sel4/
H A Dexpl.s30 # it will be wrong on non-nearest rounding mode
/seL4-test-master/projects/musllibc/src/math/x32/
H A Dexpl.s30 # it will be wrong on non-nearest rounding mode
/seL4-test-master/projects/musllibc/src/math/x86_64/
H A Dexpl.s30 # it will be wrong on non-nearest rounding mode
/seL4-test-master/projects/musllibc/src/math/x86_64_sel4/
H A Dexpl.s30 # it will be wrong on non-nearest rounding mode
/seL4-test-master/projects/musllibc/src/internal/i386/
H A Dsyscall.s41 # register constraints the inline asm could use that would make it
/seL4-test-master/kernel/src/arch/x86/64/
H A Dtraps.S84 * lea where possible as it has a more efficient instruction representation
508 * So we test for EFLAGS.TF, and if it's set, we unset it, and let the
509 * exception continue. The debug exception handler will notice that it was
510 * kernel exception, and handle it appropriately -- that really just means
520 /* Else it was EFLAGS.TF that caused the kernel exception on SYSENTER.
525 * EFLAGS.TF for the userspace thread before it returns.
/seL4-test-master/kernel/manual/
H A Dmanual.tex73 % Subsubsections it table of contents

Completed in 150 milliseconds

12