Searched refs:cur_thread_reg (Results 1 - 5 of 5) sorted by relevance

/seL4-test-master/kernel/src/arch/arm/32/
H A Dc_traps.c25 word_t cur_thread_reg = (word_t) NODE_STATE(ksCurThread); local
40 "mov sp, %[cur_thread_reg] \n"
57 : [cur_thread_reg] "r"(cur_thread_reg)
65 : [cur_thread] "r"(cur_thread_reg + NextIP * sizeof(word_t))
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/fastpath/
H A Dfastpath.h131 register word_t cur_thread_reg asm("r2") = (word_t)cur_thread;
155 [cur_thread]"r"(cur_thread_reg)
166 [cur_thread]"r"(cur_thread_reg),
/seL4-test-master/kernel/src/arch/riscv/
H A Dc_traps.c24 word_t cur_thread_reg = (word_t) NODE_STATE(ksCurThread)->tcbArch.tcbContext.registers; local
32 *((word_t *)sp) = cur_thread_reg;
84 /* Write back sscratch with cur_thread_reg to get it back on the next trap entry */
95 [cur_thread] "r"(cur_thread_reg)
/seL4-test-master/kernel/include/arch/arm/arch/64/mode/fastpath/
H A Dfastpath.h111 register word_t cur_thread_reg asm("x2") = (word_t)cur_thread->tcbArch.tcbContext.registers;
146 : "r"(badge_reg), "r"(msgInfo_reg), "r"(cur_thread_reg),
/seL4-test-master/kernel/include/arch/riscv/arch/fastpath/
H A Dfastpath.h115 register word_t cur_thread_reg asm("t0") = TCB_REF(cur_thread);
154 /* Write back sscratch with cur_thread_reg to get it back on the next trap entry */
164 : "r"(cur_thread_reg),

Completed in 108 milliseconds