Searched refs:when (Results 1 - 13 of 13) sorted by relevance
/seL4-test-master/tools/riscv-pk/machine/ |
H A D | mtrap.c | 94 static uintptr_t mcall_set_timer(uint64_t when) argument 96 *HLS()->timecmp = when;
|
/seL4-test-master/kernel/manual/parts/ |
H A D | threads.tex | 71 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 D | objects.tex | 16 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 D | io.tex | 26 \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 D | bootup.tex | 177 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 D | cspace.tex | 24 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 D | ipc.tex | 201 of the source capabilities is checked when the sending thread 230 As explained in \autoref{sec:sys_call}, when the user calls
|
H A D | api.tex | 64 trigger-span of the watchpoint. Must be zero when 'type' is \texttt{seL4\_InstructionBreakpoint}.
|
/seL4-test-master/kernel/src/arch/x86/32/ |
H A D | traps.S | 414 * 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 D | fenv.s | 33 # only do the expensive x87 fenv load/store when needed
|
/seL4-test-master/projects/musllibc/src/fenv/i386_sel4/ |
H A D | fenv.s | 33 # only do the expensive x87 fenv load/store when needed
|
/seL4-test-master/kernel/src/arch/x86/64/ |
H A D | traps.S | 21 * 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 D | configure | 1324 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