Searched refs:fastpath_copy_mrs (Results 1 - 6 of 6) sorted by relevance
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/fastpath/ |
| H A D | fastpath.h | 106 fastpath_copy_mrs(word_t length, tcb_t *src, tcb_t *dest) function
|
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/fastpath/ |
| H A D | fastpath.h | 84 fastpath_copy_mrs(word_t length, tcb_t *src, tcb_t *dest) function
|
| /seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/fastpath/ |
| H A D | fastpath.h | 90 fastpath_copy_mrs(word_t length, tcb_t *src, tcb_t *dest) function
|
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/fastpath/ |
| H A D | fastpath.h | 81 fastpath_copy_mrs(word_t length, tcb_t *src, tcb_t *dest) function
|
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/fastpath/ |
| H A D | fastpath.h | 110 fastpath_copy_mrs(word_t length, tcb_t *src, tcb_t *dest) function
|
| /seL4-l4v-10.1.1/seL4/src/fastpath/ |
| H A D | fastpath.c | 176 fastpath_copy_mrs (length, NODE_STATE(ksCurThread), dest);
367 fastpath_copy_mrs (length, NODE_STATE(ksCurThread), caller);
|
Completed in 43 milliseconds