/seL4-test-master/kernel/src/arch/x86/64/smp/ |
H A D | ipi.c | 21 invalidateLocalASID((vspace_root_t *)arg0, arg1);
|
/seL4-test-master/kernel/include/arch/arm/armv/armv8-a/64/armv/ |
H A D | context_switch.h | 16 static inline void armv_contextSwitch(vspace_root_t *vspace, asid_t asid)
|
/seL4-test-master/kernel/include/arch/x86/arch/kernel/ |
H A D | tlb_bitmap.h | 18 static inline void tlb_bitmap_init(vspace_root_t *root) 25 static inline void tlb_bitmap_set(vspace_root_t *root, word_t cpu) 31 static inline void tlb_bitmap_unset(vspace_root_t *root, word_t cpu) 37 static inline word_t tlb_bitmap_get(vspace_root_t *root)
|
H A D | vspace.h | 32 vspace_root_t *vspace_root; 56 vspace_root_t *getValidNativeRoot(cap_t vspace_cap); 77 lookupPTSlot_ret_t lookupPTSlot(vspace_root_t *vspace, vptr_t vptr); 78 lookupPDSlot_ret_t lookupPDSlot(vspace_root_t *vspace, vptr_t vptr); 79 void copyGlobalMappings(vspace_root_t *new_vspace); 87 void hwASIDInvalidate(asid_t asid, vspace_root_t *vspace); 89 void deleteASID(asid_t asid, vspace_root_t *vspace); 94 bool_t modeUnmapPage(vm_page_size_t page_size, vspace_root_t *vroot, vptr_t vptr, void *pptr); 96 vspace_root_t *vroot, vptr_t vptr, paddr_t paddr, vm_rights_t vm_rights, vm_attributes_t vm_attr); 102 void flushTable(vspace_root_t *vspac [all...] |
/seL4-test-master/kernel/include/arch/x86/arch/64/mode/kernel/ |
H A D | tlb.h | 19 static inline void invalidateLocalASID(vspace_root_t *vspace, asid_t asid) 35 static inline void invalidateASID(vspace_root_t *vspace, asid_t asid, word_t mask)
|
/seL4-test-master/kernel/include/arch/x86/arch/64/mode/smp/ |
H A D | ipi.h | 29 static inline void doRemoteInvalidateASID(vspace_root_t *vspace, asid_t asid, word_t mask)
|
/seL4-test-master/kernel/include/arch/arm/arch/64/mode/model/ |
H A D | statedata.h | 24 extern vspace_root_t armKSGlobalUserVSpace[BIT(seL4_VSpaceIndexBits)] VISIBLE;
|
/seL4-test-master/kernel/src/arch/x86/32/kernel/ |
H A D | vspace_32paging.c | 156 lookupPDSlot_ret_t lookupPDSlot(vspace_root_t *vspace, vptr_t vptr) 179 vspace_root_t *getValidNativeRoot(cap_t vspace_cap) 187 void copyGlobalMappings(vspace_root_t *new_vspace) 256 vspace_root_t *vspace; 277 vspace = (vspace_root_t *)pptr_of_cap(cap); 315 static readWordFromVSpace_ret_t readWordFromVSpace(vspace_root_t *vspace, word_t vaddr) 354 vspace_root_t *vspace_root; 366 vspace_root = (vspace_root_t *)pptr_of_cap(threadRoot);
|
H A D | vspace.c | 441 copyGlobalMappings((vspace_root_t *)rootserver.vspace); 591 vspace_root_t *vspace_root; 621 void hwASIDInvalidate(asid_t asid, vspace_root_t *vspace) 647 bool_t modeUnmapPage(vm_page_size_t page_size, vspace_root_t *vroot, vptr_t vaddr, void *pptr) 654 vspace_root_t *vroot, vptr_t vaddr, paddr_t paddr, vm_rights_t vm_rights, vm_attributes_t vm_attr)
|
/seL4-test-master/kernel/include/arch/arm/arch/64/mode/kernel/ |
H A D | vspace.h | 47 void deleteASID(asid_t asid, vspace_root_t *vspace); 94 vspace_root_t *vtable = poolPtr->array[asid & MASK(asidLowBits)]; 139 vspace_root_t *vtable = poolPtr->array[asid & MASK(asidLowBits)];
|
/seL4-test-master/kernel/include/arch/x86/arch/32/mode/fastpath/ |
H A D | fastpath.h | 24 static inline vspace_root_t *cap_vtable_cap_get_vspace_root_fp(cap_t vtable_cap) 29 static inline void FORCE_INLINE switchToThread_fp(tcb_t *thread, vspace_root_t *pd, pde_t stored_hw_asid)
|
/seL4-test-master/kernel/src/arch/x86/64/kernel/ |
H A D | vspace.c | 748 void copyGlobalMappings(vspace_root_t *new_vspace) 989 static pml4e_t *lookupPML4Slot(vspace_root_t *pml4, vptr_t vptr) 996 static lookupPDPTSlot_ret_t lookupPDPTSlot(vspace_root_t *pml4, vptr_t vptr) 1020 lookupPDSlot_ret_t lookupPDSlot(vspace_root_t *pml4, vptr_t vptr) 1052 static void flushPD(vspace_root_t *vspace, word_t vptr, pde_t *pd, asid_t asid) 1062 static void flushPDPT(vspace_root_t *vspace, word_t vptr, pdpte_t *pdpt, asid_t asid) 1069 void hwASIDInvalidate(asid_t asid, vspace_root_t *vspace) 1124 vspace_root_t *vspace) 1146 vspace_root_t *vspace; 1194 vspace = (vspace_root_t *)pptr_of_ca [all...] |
/seL4-test-master/kernel/include/arch/arm/arch/64/mode/object/ |
H A D | structures.h | 60 typedef pude_t vspace_root_t; typedef 63 typedef pgde_t vspace_root_t; typedef 66 #define VSPACE_PTR(r) ((vspace_root_t *)(r)) 106 vspace_root_t *array[BIT(asidLowBits)];
|
/seL4-test-master/kernel/src/arch/arm/64/kernel/ |
H A D | vspace.c | 110 vspace_root_t *vspace_root; 300 vspace_root_t *vspaceRoot = VSPACE_PTR(pptr_of_cap(vspace_cap)); 364 vspace_root_t *vspaceRoot = VSPACE_PTR(pptr_of_cap(vspace_cap)); 402 vspace_root_t *vspaceRoot = VSPACE_PTR(pptr_of_cap(vspace_cap)); 552 vspace_root_t *vtable = ap->array[IT_ASID]; 563 vspace_root_t *vspace_root; 641 static lookupPGDSlot_ret_t lookupPGDSlot(vspace_root_t *vspace, vptr_t vptr) 652 static lookupPUDSlot_ret_t lookupPUDSlot(vspace_root_t *vspace, vptr_t vptr) 685 static lookupPDSlot_ret_t lookupPDSlot(vspace_root_t *vspace, vptr_t vptr) 715 static lookupPTSlot_ret_t lookupPTSlot(vspace_root_t *vspac [all...] |
/seL4-test-master/kernel/include/arch/x86/arch/64/mode/fastpath/ |
H A D | fastpath.h | 27 static inline vspace_root_t *cap_vtable_cap_get_vspace_root_fp(cap_t vtable_cap) 37 static inline void FORCE_INLINE switchToThread_fp(tcb_t *thread, vspace_root_t *vroot, pde_t stored_hw_asid)
|
/seL4-test-master/kernel/src/arch/arm/64/model/ |
H A D | statedata.c | 85 vspace_root_t armKSGlobalUserVSpace[BIT(seL4_VSpaceIndexBits)] ALIGN_BSS(BIT(seL4_VSpaceBits));
|
/seL4-test-master/kernel/src/arch/x86/kernel/ |
H A D | vspace.c | 43 vspace_root_t *vspace = (vspace_root_t *)asid_map_asid_map_vspace_get_vspace_root(asid_map); 77 void deleteASID(asid_t asid, vspace_root_t *vspace) 85 (vspace_root_t *)asid_map_asid_map_vspace_get_vspace_root(asid_map) == vspace) { 559 ret.vspace_root = (vspace_root_t *)asid_map_asid_map_vspace_get_vspace_root(asid_map); 616 lookupPTSlot_ret_t lookupPTSlot(vspace_root_t *vspace, vptr_t vptr) 685 void flushTable(vspace_root_t *vspace, word_t vptr, pte_t *pt, asid_t asid) 698 && (vspace_root_t *)pptr_of_cap(threadRoot) == vspace)) { 790 vspace_root_t *vspace) 800 vspace_root_t *vspac [all...] |
/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)
|
/seL4-test-master/kernel/include/arch/x86/arch/32/mode/object/ |
H A D | structures.h | 28 typedef pde_t vspace_root_t; typedef
|
/seL4-test-master/kernel/include/arch/riscv/arch/object/ |
H A D | structures.h | 47 typedef pte_t vspace_root_t; typedef
|
/seL4-test-master/kernel/src/arch/arm/64/machine/ |
H A D | capdl.c | 21 static void _cap_frame_print_attrs_vptr(word_t vptr, vspace_root_t *vspaceRoot); 121 static void _cap_frame_print_attrs_vptr(word_t vptr, vspace_root_t *vspace) 253 vspace_root_t *vspace = cap_vtable_root_get_basePtr(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap); 515 vspace_root_t *vspace = cap_vtable_root_get_basePtr(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap);
|
/seL4-test-master/kernel/include/arch/x86/arch/64/mode/object/ |
H A D | structures.h | 59 typedef pml4e_t vspace_root_t; typedef
|
/seL4-test-master/kernel/src/drivers/smmu/ |
H A D | smmuv2.c | 378 vspace_root_t *vspace) 405 vspace_root_t *vspace, asid_t asid) 467 void smmu_cb_assign_vspace(word_t cb, vspace_root_t *vspace, asid_t asid)
|
/seL4-test-master/kernel/src/fastpath/ |
H A D | fastpath.c | 33 vspace_root_t *cap_pd; 246 vspace_root_t *cap_pd;
|
/seL4-test-master/kernel/src/arch/x86/64/machine/ |
H A D | capdl.c | 15 static void _cap_frame_print_attrs_vptr(word_t vptr, vspace_root_t *vspace); 184 static void _cap_frame_print_attrs_vptr(word_t vptr, vspace_root_t *vspace)
|