Searched refs:when (Results 1 - 13 of 13) sorted by relevance

/seL4-test-master/tools/riscv-pk/machine/
H A Dmtrap.c94 static uintptr_t mcall_set_timer(uint64_t when) argument
96 *HLS()->timecmp = when;
/seL4-test-master/kernel/manual/parts/
H A Dthreads.tex71 automatically suspended when the last capability to their \obj{TCB} is
154 of the scheduling context when created by \apifunc{seL4\_Untyped\_Retype}{untyped_retype}.
214 between threads over IPC. Scheduling contexts are donated implicitly when the system calls
219 borrowing the scheduling context: when the reply cap is consumed by a reply message being sent the
248 when the thread blocks on the notification object. This feature allows for passive servers to use
268 however when a thread executes is determined by thread priority. Consequently,
304 The standard exception handler is used when a fault is triggered by a thread
319 Timeout faults are raised when a thread attempts to run but has no available
323 running when it's budget is replenished. This allows temporally sensitive
368 can occur when looku
[all...]
H A Dobjects.tex16 Note that some services are available only when the kernel is configured for
173 section \ref{sec:faults}) when attempted with other capability types.
200 object capabilities, raising a fault (see section \ref{sec:faults}) when
242 used when no reply is expected. Unlike \apifunc{seL4\_Recv}{sel4_recv},
272 always a power of two, determined when the \obj{CNode} is created. Slots
408 when there are no dangling references (i.e., capabilities) left to the
417 requires no additional kernel meta-data.} For example, when a user
H A Dio.tex26 \apifunc{signal}{sel4_signal} when an interrupt occurs. A driver
110 is bypassed when the device accesses memory. In seL4, device drivers run
201 Faults that occur when a memory transaction conflicts with a StreamID or CB
208 consistent when there are changes to any valid page table mapping entries.
433 the correct ASID or VMID when the StreamID is enabled. This is not a problem for
438 While it is possible to do this when the VSpace is only used in an MMU, it is
H A Dbootup.tex177 addresses of retyped frames and use them to initiate DMA transfers when no
200 when constructing an IOMMU address space (IOSpace). If there is no IOMMU
H A Dcspace.tex24 capability. Threads refer to capabilities in their CSpaces (e.g. when
32 % this section need to be cleaned up. They were clearly written at a time when
53 individual capabilities within their CSpaces when invoking methods.
225 capability. Untyped capabilities when copied always create children,
H A Dipc.tex201 of the source capabilities is checked when the sending thread
230 As explained in \autoref{sec:sys_call}, when the user calls
H A Dapi.tex64 trigger-span of the watchpoint. Must be zero when 'type' is \texttt{seL4\_InstructionBreakpoint}.
/seL4-test-master/kernel/src/arch/x86/32/
H A Dtraps.S414 * set when SYSENTER was called.
466 leal (4 * ESP)(%esp), %edi # EDI contains ESP when exception happened
512 # Assume following register contents when called:
/seL4-test-master/projects/musllibc/src/fenv/i386/
H A Dfenv.s33 # only do the expensive x87 fenv load/store when needed
/seL4-test-master/projects/musllibc/src/fenv/i386_sel4/
H A Dfenv.s33 # only do the expensive x87 fenv load/store when needed
/seL4-test-master/kernel/src/arch/x86/64/
H A Dtraps.S21 * In x86-64 mode, when stacks are switched as part of a 64-bit mode privilege-level
502 * set when SYSENTER was called.
625 # Assume following register contents when called:
/seL4-test-master/tools/riscv-pk/
H A Dconfigure1324 Print DTS when booting
4524 # `ac_cv_env_foo' variables (set or unset) will be overridden when
5692 # Neutralize VPATH when `$srcdir' = `.'.

Completed in 114 milliseconds