Searched refs:fastpath_restore (Results 1 - 9 of 9) 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) function
|
| H A D | volatile_asm.c | 19 fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_thread) function
|
| /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) function
|
| /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) function
|
| /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) function
|
| /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) function
|
| /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) function
|
| /seL4-l4v-10.1.1/seL4/src/fastpath/ |
| H A D | fastpath.c | 185 fastpath_restore(badge, msgInfo, NODE_STATE(ksCurThread));
376 fastpath_restore(badge, msgInfo, NODE_STATE(ksCurThread));
|
| /seL4-l4v-10.1.1/graph-refine/seL4-example/ |
| H A D | Makefile.common | 129 IGNORES= fastpath_restore,slowpath,fastpath_call,fastpath_reply_recv,restore_user_context,lockTLBEntry,lockTLBEntryCritical
|
Completed in 28 milliseconds