x86/kernel/vspace.c

16 #include <arch/kernel/vspace.h>
20 #include <mode/kernel/vspace.h>
48                 vspace_root_t *vspace = (vspace_root_t*)asid_map_asid_map_vspace_get_vspace_root(asid_map);
49                 hwASIDInvalidate(asid_base + offset, vspace);
82 void deleteASID(asid_t asid, vspace_root_t *vspace)
90                 (vspace_root_t*)asid_map_asid_map_vspace_get_vspace_root(asid_map) == vspace) {
91             hwASIDInvalidate(asid, vspace);
620 lookupPTSlot_ret_t lookupPTSlot(vspace_root_t *vspace, vptr_t vptr)
625     pdSlot = lookupPDSlot(vspace, vptr);
689 void flushTable(vspace_root_t *vspace, word_t vptr, pte_t* pt, asid_t asid)
701             if (config_set(CONFIG_SUPPORT_PCID) || (isValidNativeRoot(threadRoot) && (vspace_root_t*)pptr_of_cap(threadRoot) == vspace)) {
703                                                 SMP_TERNARY(tlb_bitmap_get(vspace), 0));
798 performX86PageInvocationMapPTE(cap_t cap, cte_t *ctSlot, pte_t *ptSlot, pte_t pte, vspace_root_t *vspace)
802     invalidatePageStructureCacheASID(pptr_to_paddr(vspace), cap_frame_cap_get_capFMappedASID(cap),
803                                      SMP_TERNARY(tlb_bitmap_get(vspace), 0));
808 performX86PageInvocationMapPDE(cap_t cap, cte_t *ctSlot, pde_t *pdSlot, pde_t pde, vspace_root_t *vspace)
812     invalidatePageStructureCacheASID(pptr_to_paddr(vspace), cap_frame_cap_get_capFMappedASID(cap),
813                                      SMP_TERNARY(tlb_bitmap_get(vspace), 0));
818 performX86PageInvocationRemapPTE(pte_t *ptSlot, pte_t pte, asid_t asid, vspace_root_t *vspace)
821     invalidatePageStructureCacheASID(pptr_to_paddr(vspace), asid,
822                                      SMP_TERNARY(tlb_bitmap_get(vspace), 0));
827 performX86PageInvocationRemapPDE(pde_t *pdSlot, pde_t pde, asid_t asid, vspace_root_t *vspace)
830     invalidatePageStructureCacheASID(pptr_to_paddr(vspace), asid,
831                                      SMP_TERNARY(tlb_bitmap_get(vspace), 0));
892                              vspace_root_t *vspace)
897     lu_ret = lookupPTSlot(vspace, vaddr);
921                              vspace_root_t *vspace)
926     lu_ret = lookupPDSlot(vspace, vaddr);
967         vspace_root_t*  vspace;
1005         vspace = (vspace_root_t*)pptr_of_cap(vspaceCap);
1019             if (find_ret.vspace_root != vspace) {
1057             map_ret = createSafeMappingEntries_PTE(paddr, vaddr, vmRights, vmAttr, vspace);
1063             return performX86PageInvocationMapPTE(cap, cte, map_ret.ptSlot, map_ret.pte, vspace);
1070             map_ret = createSafeMappingEntries_PDE(paddr, vaddr, vmRights, vmAttr, vspace);
1076             return performX86PageInvocationMapPDE(cap, cte, map_ret.pdSlot, map_ret.pde, vspace);
1080             return decodeX86ModeMapRemapPage(invLabel, frameSize, cte, cap, vspace, vaddr, paddr, vmRights, vmAttr);
1092         vspace_root_t*  vspace;
1118             userError("X86FrameRemap: Attempting to map frame into invalid vspace.");
1135         vspace = (vspace_root_t*)pptr_of_cap(vspaceCap);
1150             if (find_ret.vspace_root != vspace || asid != mappedASID) {
1177             map_ret = createSafeMappingEntries_PTE(paddr, vaddr, vmRights, vmAttr, vspace);
1183             return performX86PageInvocationRemapPTE(map_ret.ptSlot, map_ret.pte, asid, vspace);
1191             map_ret = createSafeMappingEntries_PDE(paddr, vaddr, vmRights, vmAttr, vspace);
1197             return performX86PageInvocationRemapPDE(map_ret.pdSlot, map_ret.pde, asid, vspace);
1201             return decodeX86ModeMapRemapPage(invLabel, frameSize, cte, cap, vspace, vaddr, paddr, vmRights, vmAttr);
1280     vspace_root_t*  vspace;
1327     vspace = (vspace_root_t*)pptr_of_cap(vspaceCap);
1349         if (find_ret.vspace_root != vspace) {
1357     pdSlot = lookupPDSlot(vspace, vaddr);
1380     return performX86PageTableInvocationMap(cap, cte, pde, pdSlot.pdSlot, vspace);
1499             userError("X86ASIDPool: Invalid vspace root.");