/seL4-l4v-master/seL4/src/arch/x86/kernel/ |
H A D | thread.c | 7 #include <kernel/thread.h> 8 #include <arch/kernel/thread.h>
|
/seL4-l4v-master/seL4/src/arch/arm/kernel/ |
H A D | thread.c | 7 #include <kernel/thread.h>
|
/seL4-l4v-master/seL4/src/object/ |
H A D | endpoint.c | 10 #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 D | notification.c | 10 #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 D | fpu.h | 16 /* 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 D | registerset.h | 29 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 D | ipc_buffer.h | 17 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 D | endpoint.h | 24 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 D | ipc_buffer.h | 18 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 D | tcb.c | 26 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 D | tcb.c | 26 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 D | hardware.c | 12 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 D | thread.h | 17 static inline bool_t CONST Arch_getSanitiseRegisterInfo(tcb_t *thread) argument
|
/seL4-l4v-master/seL4/include/arch/arm/arch/kernel/ |
H A D | thread.h | 10 #include <mode/kernel/thread.h>
|
/seL4-l4v-master/seL4/include/arch/arm/arch/32/mode/kernel/ |
H A D | thread.h | 37 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 D | thread.h | 28 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 D | Standard_Thread.sml | 4 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 D | fpu.c | 14 /* 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 D | posix_interrupt.scala | 25 val thread = Thread.currentThread 26 handler { thread.interrupt } { e }
|
/seL4-l4v-master/l4v/isabelle/src/Pure/System/ |
H A D | posix_interrupt.scala | 25 val thread = Thread.currentThread 26 handler { thread.interrupt } { e }
|
/seL4-l4v-master/seL4/include/arch/x86/arch/kernel/ |
H A D | thread.h | 17 static inline bool_t CONST Arch_getSanitiseRegisterInfo(tcb_t *thread) argument
|
/seL4-l4v-master/HOL4/polyml/basis/ |
H A D | Thread.sml | 26 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 D | standard_thread.scala | 4 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 D | standard_thread.scala | 4 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 D | thread.h | 39 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...] |