Searched defs:fastpath_restore (Results 1 - 7 of 7) sorted by relevance
/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ |
H A D | volatile_asm.c | 19 fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_thread) function
|
H A D | bugzilla213.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
|
Completed in 40 milliseconds