Lines Matching refs:vspace
28 #include <arch/kernel/vspace.h>
684 lookupPGDSlot(vspace_root_t *vspace, vptr_t vptr)
688 pgde_t *pgd = PGDE_PTR(vspace);
695 static lookupPUDSlot_ret_t lookupPUDSlot(vspace_root_t *vspace, vptr_t vptr)
700 pgdSlot = lookupPGDSlot(vspace, vptr);
722 lookupPDSlot(vspace_root_t *vspace, vptr_t vptr)
727 pudSlot = lookupPUDSlot(vspace, vptr);
753 lookupPTSlot(vspace_root_t *vspace, vptr_t vptr)
758 pdSlot = lookupPDSlot(vspace, vptr);
784 lookupFrame(vspace_root_t *vspace, vptr_t vptr)
789 pudSlot = lookupPUDSlot(vspace, vptr);
1060 setVMRootForFlush(vspace_root_t *vspace, asid_t asid)
1068 PGD_PTR(cap_page_global_directory_cap_get_capPGDBasePtr(threadRoot)) == vspace) {
1072 armv_contextSwitch(vspace, asid);
1411 deleteASID(asid_t asid, vspace_root_t *vspace)
1417 if (poolPtr != NULL && poolPtr->array[asid & MASK(asidLowBits)] == vspace) {
2624 printf("Invalid vspace\n");