/seL4-test-master/projects/musllibc/src/unistd/ |
H A D | alarm.c | 7 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 D | ualarm.c | 7 struct itimerval it = { local 11 setitimer(ITIMER_REAL, &it, &it_old);
|
/seL4-test-master/projects/util_libs/libutils/include/utils/ |
H A D | sglib.h | 186 /* !!!!!!! 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 D | fpu.c | 176 for (int it = 0; it < 100; it++) {
|
/seL4-test-master/tools/nanopb/generator/ |
H A D | protoc-gen-nanopb.bat | 4 :: Use it like this:
|
/seL4-test-master/projects/musllibc/src/signal/mips64/ |
H A D | sigsetjmp.s | 18 # save base of got so that we can use it later
|
/seL4-test-master/projects/musllibc/src/signal/mipsn32/ |
H A D | sigsetjmp.s | 18 # save base of got so that we can use it later
|
/seL4-test-master/projects/musllibc/src/internal/sh/ |
H A D | syscall.s | 6 ! the number of arguments being passed, but it then ignores that information.
|
/seL4-test-master/projects/util_libs/libplatsupport/src/ |
H A D | tqueue.c | 37 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 D | ipc.tex | 82 \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 D | cspace.tex | 33 % 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 D | threads.tex | 30 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 D | intro.tex | 13 application domains. As a microkernel, it provides a small number of
|
H A D | io.tex | 58 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 D | notifications.tex | 30 notification word by bit-wise \texttt{or}-ing it with the \emph{badge}
|
/seL4-test-master/tools/riscv-pk/machine/ |
H A D | mentry.S | 52 # 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 D | guest_memory.c | 192 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 D | expl.s | 30 # it will be wrong on non-nearest rounding mode
|
/seL4-test-master/projects/musllibc/src/math/i386_sel4/ |
H A D | expl.s | 30 # it will be wrong on non-nearest rounding mode
|
/seL4-test-master/projects/musllibc/src/math/x32/ |
H A D | expl.s | 30 # it will be wrong on non-nearest rounding mode
|
/seL4-test-master/projects/musllibc/src/math/x86_64/ |
H A D | expl.s | 30 # it will be wrong on non-nearest rounding mode
|
/seL4-test-master/projects/musllibc/src/math/x86_64_sel4/ |
H A D | expl.s | 30 # it will be wrong on non-nearest rounding mode
|
/seL4-test-master/projects/musllibc/src/internal/i386/ |
H A D | syscall.s | 41 # register constraints the inline asm could use that would make it
|
/seL4-test-master/kernel/src/arch/x86/64/ |
H A D | traps.S | 84 * 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 D | manual.tex | 73 % Subsubsections it table of contents
|