Searched refs:stored_hw_asid (Results 1 - 7 of 7) sorted by relevance
| /seL4-l4v-10.1.1/seL4/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.words[0] = cap_page_global_directory_cap_get_capPGDMappedASID(newVTable);
105 stored_hw_asid.words[0] = cap_page_table_cap_get_capPTMappedASID(newVTable);
123 if (unlikely(!pde_pde_invalid_get_stored_asid_valid(stored_hw_asid))) {
181 switchToThread_fp(dest, cap_pd, stored_hw_asid);
204 pde_t stored_hw_asid; local
280 stored_hw_asid
[all...] |
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/fastpath/ |
| H A D | fastpath.h | 49 switchToThread_fp(tcb_t *thread, pde_t *cap_pd, pde_t stored_hw_asid) argument
53 hw_asid = pde_pde_invalid_get_stored_hw_asid(stored_hw_asid);
|
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/fastpath/ |
| H A D | fastpath.h | 37 switchToThread_fp(tcb_t *thread, vspace_root_t *vroot, pde_t stored_hw_asid) argument
39 asid_t asid = (asid_t)(stored_hw_asid.words[0] & 0xffff);
|
| /seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/fastpath/ |
| H A D | fastpath.h | 45 switchToThread_fp(tcb_t *thread, pte_t *vroot, pte_t stored_hw_asid) argument
47 asid_t asid = (asid_t)(stored_hw_asid.words[0]);
|
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/fastpath/ |
| H A D | fastpath.h | 48 switchToThread_fp(tcb_t *thread, vspace_root_t *vroot, pde_t stored_hw_asid) argument
52 asid_t asid = (asid_t)(stored_hw_asid.words[0] & 0xfff);
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 1252 pde_t stored_hw_asid; local
1254 stored_hw_asid = loadHWASID(asid);
1255 if (pde_pde_invalid_get_stored_asid_valid(stored_hw_asid)) {
1256 return pde_pde_invalid_get_stored_hw_asid(stored_hw_asid);
1269 pde_t stored_hw_asid; local
1271 stored_hw_asid = loadHWASID(asid);
1272 if (pde_pde_invalid_get_stored_asid_valid(stored_hw_asid)) {
1273 armKSHWASIDTable[pde_pde_invalid_get_stored_hw_asid(stored_hw_asid)] =
1581 pde_t stored_hw_asid; local
1589 stored_hw_asid
1606 pde_t stored_hw_asid; local
1626 pde_t stored_hw_asid; local
1648 pde_t stored_hw_asid; local
[all...] |
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/fastpath/ |
| H A D | fastpath.h | 36 switchToThread_fp(tcb_t *thread, vspace_root_t *pd, pde_t stored_hw_asid) argument
|
Completed in 99 milliseconds