Searched refs:vspace_root_t (Results 1 - 25 of 27) sorted by relevance

12

/seL4-test-master/kernel/src/arch/x86/64/smp/
H A Dipi.c21 invalidateLocalASID((vspace_root_t *)arg0, arg1);
/seL4-test-master/kernel/include/arch/arm/armv/armv8-a/64/armv/
H A Dcontext_switch.h16 static inline void armv_contextSwitch(vspace_root_t *vspace, asid_t asid)
/seL4-test-master/kernel/include/arch/x86/arch/kernel/
H A Dtlb_bitmap.h18 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 Dvspace.h32 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 Dtlb.h19 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 Dipi.h29 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 Dstatedata.h24 extern vspace_root_t armKSGlobalUserVSpace[BIT(seL4_VSpaceIndexBits)] VISIBLE;
/seL4-test-master/kernel/src/arch/x86/32/kernel/
H A Dvspace_32paging.c156 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 Dvspace.c441 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 Dvspace.h47 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 Dfastpath.h24 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 Dvspace.c748 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 Dstructures.h60 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 Dvspace.c110 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 Dfastpath.h27 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 Dstatedata.c85 vspace_root_t armKSGlobalUserVSpace[BIT(seL4_VSpaceIndexBits)] ALIGN_BSS(BIT(seL4_VSpaceBits));
/seL4-test-master/kernel/src/arch/x86/kernel/
H A Dvspace.c43 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 Dfastpath.h31 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 Dstructures.h28 typedef pde_t vspace_root_t; typedef
/seL4-test-master/kernel/include/arch/riscv/arch/object/
H A Dstructures.h47 typedef pte_t vspace_root_t; typedef
/seL4-test-master/kernel/src/arch/arm/64/machine/
H A Dcapdl.c21 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 Dstructures.h59 typedef pml4e_t vspace_root_t; typedef
/seL4-test-master/kernel/src/drivers/smmu/
H A Dsmmuv2.c378 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 Dfastpath.c33 vspace_root_t *cap_pd;
246 vspace_root_t *cap_pd;
/seL4-test-master/kernel/src/arch/x86/64/machine/
H A Dcapdl.c15 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)

Completed in 183 milliseconds

12