Searched refs:cur_thread (Results 1 - 11 of 11) sorted by relevance
| /seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ |
| H A D | bugzilla213.c | 19 fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_thread) argument
24 "add sp, %[cur_thread], %[offset]\n\t" /* Point to LR_svc */
29 [cur_thread] "r" (cur_thread),
|
| H A D | volatile_asm.c | 19 fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_thread) argument
24 "add sp, %[cur_thread], %[offset]\n\t" /* Point to LR_svc */
29 [cur_thread] "r" (cur_thread),
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/64/ |
| H A D | c_traps.c | 43 tcb_t *cur_thread = NODE_STATE(ksCurThread); local
46 loadAllDisabledBreakpointState(cur_thread);
48 if (cur_thread->tcbArch.tcbVCPU->launched) {
79 : [reg]"r"(&cur_thread->tcbArch.tcbVCPU->gp_registers[VCPU_EAX]),
120 : [reg]"r"(&cur_thread->tcbArch.tcbVCPU->gp_registers[VCPU_EAX]),
158 tcb_t *cur_thread = NODE_STATE(ksCurThread); local
161 if (thread_state_ptr_get_tsType(&cur_thread->tcbState) == ThreadState_RunningVM) {
165 lazyFPURestore(cur_thread);
168 restore_user_debug_context(cur_thread);
183 word_t base = getRegister(cur_thread, TLS_BAS
[all...] |
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/fastpath/ |
| H A D | fastpath.h | 109 fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_thread) argument
114 lazyFPURestore(cur_thread);
117 restore_user_debug_context(cur_thread);
118 assert(!cur_thread->tcbArch.tcbContext.breakpointState.single_step_enabled);
121 setKernelEntryStackPointer(cur_thread);
123 word_t base = getRegister(cur_thread, TLS_BASE);
126 base = cur_thread->tcbIPCBuffer;
133 cur_thread->tcbArch.tcbContext.registers[FLAGS] &= ~FLAGS_IF;
134 if (likely(hasDefaultSelectors(cur_thread))) {
157 : "c"(&cur_thread
[all...] |
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/fastpath/ |
| H A D | fastpath.h | 137 fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_thread) argument
148 lazyFPURestore(cur_thread);
162 restore_user_debug_context(cur_thread);
176 word_t base = getRegister(cur_thread, TLS_BASE);
179 base = cur_thread->tcbIPCBuffer;
187 cur_thread->tcbArch.tcbContext.registers[FLAGS] &= ~FLAGS_IF;
232 : "c" (&cur_thread->tcbArch.tcbContext.registers[RAX]),
276 : "r"(&cur_thread->tcbArch.tcbContext.registers[RAX]),
|
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/fastpath/ |
| H A D | fastpath.h | 127 fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_thread) argument
148 register word_t cur_thread_reg asm("r2") = (word_t)cur_thread;
172 [cur_thread]"r"(cur_thread_reg)
183 [cur_thread]"r"(cur_thread_reg),
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/32/ |
| H A D | c_traps.c | 70 asm volatile("mov sp, %[cur_thread] \n\
74 : [cur_thread] "r" (cur_thread_reg + LR_svc * sizeof(word_t))
|
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/fastpath/ |
| H A D | fastpath.h | 105 fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_thread) argument
119 register word_t cur_thread_reg asm("x2") = (word_t)cur_thread->tcbArch.tcbContext.registers;
|
| /seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/fastpath/ |
| H A D | fastpath.h | 111 fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_thread) argument
119 register word_t cur_thread_reg asm("t0") = TCB_REF(cur_thread);
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/ |
| H A D | c_traps.c | 207 tcb_t *cur_thread = NODE_STATE(ksCurThread); local
208 if (thread_state_ptr_get_tsType(&cur_thread->tcbState) != ThreadState_RunningVM) {
|
| /seL4-l4v-10.1.1/seL4/src/arch/riscv/ |
| H A D | c_traps.c | 41 "mv t0, %[cur_thread] \n"
91 [cur_thread] "r" (cur_thread_reg)
|
Completed in 119 milliseconds