64/kernel/vspace.c

18 #include <arch/kernel/vspace.h>
780     pml4e_t *vspace = (pml4e_t *)new_vspace;
787         vspace[i] = X86_GLOBAL_VSPACE_ROOT[i];
1100 flushPD(vspace_root_t *vspace, word_t vptr, pde_t *pd, asid_t asid)
1106     invalidateASID(vspace, asid, SMP_TERNARY(tlb_bitmap_get(vspace), 0));
1111 flushPDPT(vspace_root_t *vspace, word_t vptr, pdpte_t *pdpt, asid_t asid)
1114     invalidateASID(vspace, asid, SMP_TERNARY(tlb_bitmap_get(vspace), 0));
1119 hwASIDInvalidate(asid_t asid, vspace_root_t *vspace)
1121     invalidateASID(vspace, asid, SMP_TERNARY(tlb_bitmap_get(vspace), 0));
1176 performX64PageDirectoryInvocationMap(cap_t cap, cte_t *ctSlot, pdpte_t pdpte, pdpte_t *pdptSlot, vspace_root_t *vspace)
1180     invalidatePageStructureCacheASID(pptr_to_paddr(vspace), cap_page_directory_cap_get_capPDMappedASID(cap),
1181                                      SMP_TERNARY(tlb_bitmap_get(vspace), 0));
1199     vspace_root_t      *vspace;
1247     vspace = (vspace_root_t *)pptr_of_cap(vspaceCap);
1268     if (find_ret.vspace_root != vspace) {
1275     pdptSlot = lookupPDPTSlot(vspace, vaddr);
1300     return performX64PageDirectoryInvocationMap(cap, cte, pdpte, pdptSlot.pdptSlot, vspace);
1343 performX64PDPTInvocationMap(cap_t cap, cte_t *ctSlot, pml4e_t pml4e, pml4e_t *pml4Slot, vspace_root_t *vspace)
1347     invalidatePageStructureCacheASID(pptr_to_paddr(vspace), cap_pdpt_cap_get_capPDPTMappedASID(cap),
1348                                      SMP_TERNARY(tlb_bitmap_get(vspace), 0));
1366     vspace_root_t          *vspace;
1414     vspace = (vspace_root_t *)pptr_of_cap(vspaceCap);
1435     if (find_ret.vspace_root != vspace) {
1442     pml4Slot = lookupPML4Slot(vspace, vaddr);
1458     return performX64PDPTInvocationMap(cap, cte, pml4e, pml4Slot, vspace);
1514 static exception_t updatePDPTE(asid_t asid, pdpte_t pdpte, pdpte_t *pdptSlot, vspace_root_t *vspace)
1517     invalidatePageStructureCacheASID(pptr_to_paddr(vspace), asid,
1518                                      SMP_TERNARY(tlb_bitmap_get(vspace), 0));
1523 performX64ModeRemap(asid_t asid, pdpte_t pdpte, pdpte_t *pdptSlot, vspace_root_t *vspace)
1525     return updatePDPTE(asid, pdpte, pdptSlot, vspace);
1530 performX64ModeMap(cap_t cap, cte_t *ctSlot, pdpte_t pdpte, pdpte_t *pdptSlot, vspace_root_t *vspace)
1533     return updatePDPTE(cap_frame_cap_get_capFMappedASID(cap), pdpte, pdptSlot, vspace);
1545                                vspace_root_t *vspace)
1550     lu_ret = lookupPDPTSlot(vspace, vaddr);
1612 readWordFromVSpace(vspace_root_t *vspace, word_t vaddr)
1623     pdptSlot = lookupPDPTSlot(vspace, vaddr);
1631         pdSlot = lookupPDSlot(vspace, vaddr);
1639             ptSlot = lookupPTSlot(vspace, vaddr);
1670         printf("Invalid vspace\n");