Searched refs:fastpath_copy_mrs (Results 1 - 6 of 6) sorted by relevance
/seL4-mcs-10.1.1/include/arch/arm/arch/32/mode/fastpath/ |
H A D | fastpath.h | 92 fastpath_copy_mrs(word_t length, tcb_t *src, tcb_t *dest) function
|
/seL4-mcs-10.1.1/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-mcs-10.1.1/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-mcs-10.1.1/include/arch/x86/arch/32/mode/fastpath/ |
H A D | fastpath.h | 67 fastpath_copy_mrs(word_t length, tcb_t *src, tcb_t *dest) function
|
/seL4-mcs-10.1.1/include/arch/x86/arch/64/mode/fastpath/ |
H A D | fastpath.h | 90 fastpath_copy_mrs(word_t length, tcb_t *src, tcb_t *dest) function
|
/seL4-mcs-10.1.1/src/fastpath/ |
H A D | fastpath.c | 191 fastpath_copy_mrs (length, NODE_STATE(ksCurThread), dest); 408 fastpath_copy_mrs (length, NODE_STATE(ksCurThread), caller);
|
Completed in 83 milliseconds