Searched defs:stored_hw_asid (Results 1 - 8 of 8) sorted by relevance
| /seL4-camkes-master/kernel/include/arch/arm/arch/64/mode/fastpath/ |
| H A D | fastpath.h | 31 switchToThread_fp(tcb_t *thread, vspace_root_t *vroot, pde_t stored_hw_asid) argument
|
| /seL4-camkes-master/kernel/include/arch/x86/arch/32/mode/fastpath/ |
| H A D | fastpath.h | 29 static inline void FORCE_INLINE switchToThread_fp(tcb_t *thread, vspace_root_t *pd, pde_t stored_hw_asid) argument
|
| /seL4-camkes-master/kernel/src/fastpath/ |
| H A D | fastpath.c | 34 pde_t stored_hw_asid; local
247 pde_t stored_hw_asid; local
[all...] |
| /seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/fastpath/ |
| H A D | fastpath.h | 43 static inline void FORCE_INLINE switchToThread_fp(tcb_t *thread, pde_t *cap_pd, pde_t stored_hw_asid) argument
|
| /seL4-camkes-master/kernel/include/arch/x86/arch/64/mode/fastpath/ |
| H A D | fastpath.h | 37 static inline void FORCE_INLINE switchToThread_fp(tcb_t *thread, vspace_root_t *vroot, pde_t stored_hw_asid) argument
|
| /seL4-camkes-master/kernel/include/arch/riscv/arch/fastpath/ |
| H A D | fastpath.h | 37 static inline void FORCE_INLINE switchToThread_fp(tcb_t *thread, pte_t *vroot, pte_t stored_hw_asid) argument
|
| /seL4-camkes-master/kernel/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 1192 pde_t stored_hw_asid; local
1208 pde_t stored_hw_asid; local
1513 pde_t stored_hw_asid; local
1537 pde_t stored_hw_asid; local
1556 pde_t stored_hw_asid; local
1577 pde_t stored_hw_asid; local
[all...] |
| /seL4-camkes-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 1144 vspace_root_t stored_hw_asid; local
1160 vspace_root_t stored_hw_asid; local
1226 vspace_root_t stored_hw_asid; local
1247 vspace_root_t stored_hw_asid; local
[all...] |
Completed in 82 milliseconds