Searched refs:thread (Results 1 - 25 of 155) sorted by relevance

1234567

/seL4-l4v-master/seL4/src/arch/x86/kernel/
H A Dthread.c7 #include <kernel/thread.h>
8 #include <arch/kernel/thread.h>
/seL4-l4v-master/seL4/src/arch/arm/kernel/
H A Dthread.c7 #include <kernel/thread.h>
/seL4-l4v-master/seL4/src/object/
H A Dendpoint.c10 #include <kernel/thread.h>
27 bool_t canGrant, bool_t canGrantReply, bool_t canDonate, tcb_t *thread, endpoint_t *epptr)
30 bool_t canGrant, bool_t canGrantReply, tcb_t *thread, endpoint_t *epptr)
39 /* Set thread state to BlockedOnSend */
40 thread_state_ptr_set_tsType(&thread->tcbState,
43 &thread->tcbState, EP_REF(epptr));
45 &thread->tcbState, badge);
47 &thread->tcbState, canGrant);
49 &thread->tcbState, canGrantReply);
51 &thread
26 sendIPC(bool_t blocking, bool_t do_call, word_t badge, bool_t canGrant, bool_t canGrantReply, bool_t canDonate, tcb_t *thread, endpoint_t *epptr) argument
127 receiveIPC(tcb_t *thread, cap_t cap, bool_t isBlocking, cap_t replyCap) argument
268 replyFromKernel_error(tcb_t *thread) argument
289 replyFromKernel_success_empty(tcb_t *thread) argument
372 tcb_t *thread = TCB_PTR(endpoint_ptr_get_epQueue_head(epptr)); local
412 tcb_t *thread, *next; local
464 reorderEP(endpoint_t *epptr, tcb_t *thread) argument
[all...]
H A Dnotification.c10 #include <kernel/thread.h>
52 * current thread was deleted in a long-running deletion
81 /* Check if we are bound and that thread is waiting for a message */
84 /* Send and start thread running */
109 /* In particular, this path is taken when a thread
111 * would also trigger this path. I.e, a thread
137 /* set the thread state to idle if the queue is empty */
162 void receiveSignal(tcb_t *thread, cap_t cap, bool_t isBlocking) argument
174 /* Block thread on notification object */
175 thread_state_ptr_set_tsType(&thread
212 tcb_t *thread = TCB_PTR(notification_ptr_get_ntfnQueue_head(ntfnPtr)); local
301 reorderNTFN(notification_t *ntfnPtr, tcb_t *thread) argument
[all...]
/seL4-l4v-master/seL4/include/machine/
H A Dfpu.h16 /* Perform any actions required for the deletion of the given thread. */
17 void fpuThreadDelete(tcb_t *thread);
27 /* Returns whether or not the passed thread is using the current active fpu state */
28 static inline bool_t nativeThreadUsingFPU(tcb_t *thread) argument
30 return &thread->tcbArch.tcbContext.fpuState ==
31 NODE_STATE_ON_CORE(ksActiveFPUState, thread->tcbAffinity);
34 static inline void FORCE_INLINE lazyFPURestore(tcb_t *thread) argument
44 if (likely(nativeThreadUsingFPU(thread))) {
H A Dregisterset.h29 static inline void setRegister(tcb_t *thread, register_t reg, word_t w) argument
31 thread->tcbArch.tcbContext.registers[reg] = w;
34 static inline word_t PURE getRegister(tcb_t *thread, register_t reg) argument
36 return thread->tcbArch.tcbContext.registers[reg];
/seL4-l4v-master/seL4/include/64/mode/api/
H A Dipc_buffer.h17 static inline word_t mode_setTimeArg(word_t i, time_t time, word_t *buffer, tcb_t *thread) argument
19 return setMR(thread, buffer, i, time);
/seL4-l4v-master/seL4/include/object/
H A Dendpoint.h24 bool_t canGrant, bool_t canGrantReply, bool_t canDonate, tcb_t *thread,
26 void receiveIPC(tcb_t *thread, cap_t cap, bool_t isBlocking, cap_t replyCPtr);
27 void reorderEP(endpoint_t *epptr, tcb_t *thread);
30 bool_t canGrant, bool_t canGrantReply, tcb_t *thread,
32 void receiveIPC(tcb_t *thread, cap_t cap, bool_t isBlocking);
37 void replyFromKernel_error(tcb_t *thread);
38 void replyFromKernel_success_empty(tcb_t *thread);
/seL4-l4v-master/seL4/include/32/mode/api/
H A Dipc_buffer.h18 static inline word_t mode_setTimeArg(word_t i, time_t time, word_t *buffer, tcb_t *thread) argument
20 setMR(thread, buffer, i, (uint32_t) time);
21 return setMR(thread, buffer, i + 1, (uint32_t)(time >> 32llu));
/seL4-l4v-master/seL4/src/arch/arm/object/
H A Dtcb.c26 void Arch_migrateTCB(tcb_t *thread) argument
29 /* check if thread own its current core FPU */
30 if (nativeThreadUsingFPU(thread)) {
31 switchFpuOwner(NULL, thread->tcbAffinity);
/seL4-l4v-master/seL4/src/arch/riscv/object/
H A Dtcb.c26 void Arch_migrateTCB(tcb_t *thread) argument
29 if (nativeThreadUsingFPU(thread)) {
30 switchFpuOwner(NULL, thread->tcbAffinity);
/seL4-l4v-master/seL4/src/arch/arm/machine/
H A Dhardware.c12 word_t PURE getRestartPC(tcb_t *thread) argument
14 return getRegister(thread, FaultIP);
17 void setNextPC(tcb_t *thread, word_t v) argument
19 setRegister(thread, NEXT_PC_REG, v);
/seL4-l4v-master/seL4/include/arch/riscv/arch/kernel/
H A Dthread.h17 static inline bool_t CONST Arch_getSanitiseRegisterInfo(tcb_t *thread) argument
/seL4-l4v-master/seL4/include/arch/arm/arch/kernel/
H A Dthread.h10 #include <mode/kernel/thread.h>
/seL4-l4v-master/seL4/include/arch/arm/arch/32/mode/kernel/
H A Dthread.h37 static inline bool_t PURE Arch_getSanitiseRegisterInfo(tcb_t *thread) argument
40 return (thread->tcbArch.tcbVCPU != NULL);
/seL4-l4v-master/seL4/include/arch/arm/arch/64/mode/kernel/
H A Dthread.h28 static inline bool_t CONST Arch_getSanitiseRegisterInfo(tcb_t *thread) argument
31 return (thread->tcbArch.tcbVCPU != NULL);
/seL4-l4v-master/HOL4/src/portableML/poly/
H A DStandard_Thread.sml4 Standard thread operations.
9 val is_self: Thread.thread -> bool
14 val fork: params -> (unit -> unit) -> Thread.thread
15 val join: Thread.thread -> unit
16 val interrupt_unsynchronized: Thread.thread -> unit
24 fun is_self thread = Thread.equal (Thread.self (), thread);
38 NONE => raise Fail "Unknown thread name"
66 fun join thread =
67 while Thread.isActive thread
[all...]
/seL4-l4v-master/seL4/src/machine/
H A Dfpu.c14 /* Switch the owner of the FPU to the given thread on local core. */
60 /* Prepare for the deletion of the given thread. */
61 void fpuThreadDelete(tcb_t *thread) argument
63 /* If the thread being deleted currently owns the FPU, switch away from it
65 if (nativeThreadUsingFPU(thread)) {
66 switchFpuOwner(NULL, SMP_TERNARY(thread->tcbAffinity, 0));
/seL4-l4v-master/isabelle/src/Pure/System/
H A Dposix_interrupt.scala25 val thread = Thread.currentThread
26 handler { thread.interrupt } { e }
/seL4-l4v-master/l4v/isabelle/src/Pure/System/
H A Dposix_interrupt.scala25 val thread = Thread.currentThread
26 handler { thread.interrupt } { e }
/seL4-l4v-master/seL4/include/arch/x86/arch/kernel/
H A Dthread.h17 static inline bool_t CONST Arch_getSanitiseRegisterInfo(tcb_t *thread) argument
/seL4-l4v-master/HOL4/polyml/basis/
H A DThread.sml26 new thread primitives in the Thread structure. This structure is modelled on
27 the Posix thread (pthread) package but simplified and modified for ML. The aim
34 The thread package differs from pthreads in a number of ways.
35 There is no join function to wait for the completion of a thread.
41 generated in a specific thread. Alternatively an interrupt can be
46 these interrupts. A thread that is doing processor-intensive work
60 (*!The type of a thread identifier.*)
61 eqtype thread
64 (*!The type of a thread attribute. Thread attributes are
65 properties of the thread tha
[all...]
/seL4-l4v-master/isabelle/src/Pure/Concurrent/
H A Dstandard_thread.scala4 Standard thread operations.
20 val thread =
23 thread.setDaemon(daemon)
24 thread.start
25 thread
42 val thread = old_thread_factory.newThread(r)
43 thread.setDaemon(true)
44 thread
/seL4-l4v-master/l4v/isabelle/src/Pure/Concurrent/
H A Dstandard_thread.scala4 Standard thread operations.
20 val thread =
23 thread.setDaemon(daemon)
24 thread.start
25 thread
42 val thread = old_thread_factory.newThread(r)
43 thread.setDaemon(true)
44 thread
/seL4-l4v-master/seL4/include/kernel/
H A Dthread.h39 static inline bool_t PURE isRunnable(const tcb_t *thread) argument
41 switch (thread_state_get_tsType(thread->tcbState)) {
83 static inline bool_t PURE isBlocked(const tcb_t *thread)
85 switch (thread_state_get_tsType(thread->tcbState)) {
97 static inline bool_t PURE isStopped(const tcb_t *thread)
99 switch (thread_state_get_tsType(thread->tcbState)) {
161 static inline bool_t PURE isSchedulable(const tcb_t *thread)
163 return isRunnable(thread) &&
164 thread->tcbSchedContext != NULL &&
165 thread
[all...]

Completed in 202 milliseconds

1234567