Searched refs:stored_hw_asid (Results 1 - 8 of 8) sorted by relevance
| /seL4-test-master/kernel/src/fastpath/ |
| H A D | fastpath.c | 34 pde_t stored_hw_asid; local
91 stored_hw_asid = cap_pd[PD_ASID_SLOT];
95 /* borrow the stored_hw_asid for PCID */
96 stored_hw_asid.words[0] = cap_pml4_cap_get_capPML4MappedASID_fp(newVTable);
100 /* stored_hw_asid is unused on ia32 fastpath, but gets passed into a function below. */
101 stored_hw_asid.words[0] = 0;
104 stored_hw_asid.words[0] = cap_vtable_root_get_mappedASID(newVTable);
109 stored_hw_asid.words[0] = cap_page_table_cap_get_capPTMappedASID(newVTable);
128 if (unlikely(!pde_pde_invalid_get_stored_asid_valid(stored_hw_asid))) {
217 switchToThread_fp(dest, cap_pd, stored_hw_asid);
247 pde_t stored_hw_asid; local
[all...] |
| /seL4-test-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
50 hw_asid = pde_pde_invalid_get_stored_hw_asid(stored_hw_asid);
|
| /seL4-test-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
38 asid = (asid_t)(stored_hw_asid.words[0] & 0xffff);
|
| /seL4-test-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
41 asid_t asid = (asid_t)(stored_hw_asid.words[0] & 0xfff);
|
| /seL4-test-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
39 asid_t asid = (asid_t)(stored_hw_asid.words[0]);
|
| /seL4-test-master/kernel/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 1192 pde_t stored_hw_asid; local
1194 stored_hw_asid = loadHWASID(asid);
1195 if (pde_pde_invalid_get_stored_asid_valid(stored_hw_asid)) {
1196 return pde_pde_invalid_get_stored_hw_asid(stored_hw_asid);
1208 pde_t stored_hw_asid; local
1210 stored_hw_asid = loadHWASID(asid);
1211 if (pde_pde_invalid_get_stored_asid_valid(stored_hw_asid)) {
1212 armKSHWASIDTable[pde_pde_invalid_get_stored_hw_asid(stored_hw_asid)] =
1513 pde_t stored_hw_asid; local
1521 stored_hw_asid
1537 pde_t stored_hw_asid; local
1556 pde_t stored_hw_asid; local
1577 pde_t stored_hw_asid; local
[all...] |
| /seL4-test-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-test-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 1144 vspace_root_t stored_hw_asid; local
1146 stored_hw_asid = loadHWASID(asid);
1147 if (vtable_invalid_get_stored_asid_valid(stored_hw_asid)) {
1148 return vtable_invalid_get_stored_hw_asid(stored_hw_asid);
1160 vspace_root_t stored_hw_asid; local
1162 stored_hw_asid = loadHWASID(asid);
1163 if (vtable_invalid_get_stored_asid_valid(stored_hw_asid)) {
1164 armKSHWASIDTable[vtable_invalid_get_stored_hw_asid(stored_hw_asid)] =
1226 vspace_root_t stored_hw_asid; local
1228 stored_hw_asid
1247 vspace_root_t stored_hw_asid; local
[all...] |
Completed in 48 milliseconds