/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/kernel/ |
H A D | vspace.h | 28 pgde_t *pageUpperDirectoryMapped(asid_t asid, vptr_t vaddr, pude_t* pud); 29 pude_t *pageDirectoryMapped(asid_t asid, vptr_t vaddr, pde_t* pd); 30 void unmapPageUpperDirectory(asid_t asid, vptr_t vaddr, pude_t* pud); 31 void unmapPageDirectory(asid_t asid, vptr_t vaddr, pde_t* pd); 33 void unmapPageTable(asid_t asid, vptr_t vaddr, pte_t *pt); 34 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, pptr_t pptr); 36 void deleteASIDPool(asid_t base, asid_pool_t* pool); 37 void deleteASID(asid_t asid, vspace_root_t *vspace); 39 hw_asid_t getHWASID(asid_t asid);
|
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/kernel/ |
H A D | vspace.h | 50 hw_asid_t getHWASID(asid_t asid); 53 findPDForASID_ret_t findPDForASID(asid_t asid); 56 void deleteASIDPool(asid_t base, asid_pool_t* pool); 57 void deleteASID(asid_t asid, pde_t* pd); 58 void unmapPageTable(asid_t asid, vptr_t vaddr, pte_t* pt); 59 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr); 60 hw_asid_t getHWASID(asid_t asid); 62 void flushPage(vm_page_size_t page_size, pde_t* pd, asid_t asid, word_t vptr); 63 void flushTable(pde_t* pd, asid_t asid, word_t vptr, pte_t* pt); 64 void flushSpace(asid_t asi [all...] |
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/kernel/ |
H A D | ept.h | 48 EPTPDPTMapped_ret_t EPTPDPTMapped(asid_t asid, vptr_t vptr, ept_pdpte_t *pdpt); 49 EPTPageDirectoryMapped_ret_t EPTPageDirectoryMapped(asid_t asid, vptr_t vaddr, ept_pde_t *pd); 50 EPTPageTableMapped_ret_t EPTPageTableMapped(asid_t asid, vptr_t vaddr, ept_pte_t *pt); 51 findEPTForASID_ret_t findEPTForASID(asid_t asid); 53 void deleteEPTASID(asid_t asid, ept_pml4e_t *ept); 59 void unmapEPTPDPT(asid_t asid, vptr_t vaddr, ept_pdpte_t *pdpt); 60 void unmapEPTPageDirectory(asid_t asid, vptr_t vaddr, ept_pde_t *pd); 61 void unmapEPTPageTable(asid_t asid, vptr_t vaddr, ept_pte_t *pt); 62 void unmapEPTPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr);
|
H A D | tlb.h | 18 static inline void invalidatePageStructureCacheASID(paddr_t root, asid_t asid, word_t mask) 30 static inline void invalidateTranslationSingleASID(vptr_t vptr, asid_t asid, word_t mask)
|
H A D | vspace.h | 80 asid_map_t findMapForASID(asid_t asid); 87 void unmapPageDirectory(asid_t asid, vptr_t vaddr, pde_t *pd); 88 void unmapPageTable(asid_t, vptr_t vaddr, pte_t* pt); 90 exception_t performASIDPoolInvocation(asid_t asid, asid_pool_t* poolPtr, cte_t* vspaceCapSlot); 91 exception_t performASIDControlInvocation(void *frame, cte_t *slot, cte_t *parent, asid_t asid_base); 92 void hwASIDInvalidate(asid_t asid, vspace_root_t *vspace); 93 void deleteASIDPool(asid_t asid_base, asid_pool_t* pool); 94 void deleteASID(asid_t asid, vspace_root_t *vspace); 95 findVSpaceForASID_ret_t findVSpaceForASID(asid_t asid); 97 void unmapPage(vm_page_size_t page_size, asid_t asi [all...] |
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/kernel/ |
H A D | tlb.h | 26 static inline void invalidateLocalASID(vspace_root_t *vspace, asid_t asid) 36 static inline void invalidatePCID(word_t type, void *vaddr, asid_t asid, word_t mask) 42 static inline void invalidateASID(vspace_root_t *vspace, asid_t asid, word_t mask)
|
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/smp/ |
H A D | ipi.h | 31 static inline void doRemoteInvalidatePCID(word_t type, void *vaddr, asid_t asid, word_t mask) 36 static inline void doRemoteInvalidateASID(vspace_root_t *vspace, asid_t asid, word_t mask)
|
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/api/ |
H A D | types.h | 26 typedef word_t asid_t; typedef
|
/seL4-l4v-10.1.1/seL4/include/arch/arm/armv/armv8-a/64/armv/ |
H A D | context_switch.h | 23 static inline void armv_contextSwitch(vspace_root_t *vspace, asid_t asid)
|
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/api/ |
H A D | types.h | 34 typedef word_t asid_t; typedef
|
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/api/ |
H A D | types.h | 27 typedef word_t asid_t; typedef
|
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/smp/ |
H A D | ipi_inline.h | 30 static inline void doRemoteInvalidatePageStructureCacheASID(paddr_t root, asid_t asid, word_t mask) 40 static inline void doRemoteInvalidateTranslationSingleASID(vptr_t vptr, asid_t asid, word_t mask)
|
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/kernel/ |
H A D | boot.h | 17 cap_t create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large, bool_t executable);
|
H A D | vspace.h | 25 cap_t create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large, bool_t executable); 42 pde_t* pageTableMapped(asid_t asid, vptr_t vaddr, pte_t* pt);
|
/seL4-l4v-10.1.1/seL4/include/arch/arm/armv/armv6/armv/ |
H A D | context_switch.h | 30 static inline void armv_contextSwitch(pde_t* cap_pd, asid_t asid)
|
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/kernel/ |
H A D | boot.h | 25 cap_t create_mapped_it_frame_cap(cap_t pd_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large, bool_t executable);
|
H A D | vspace.h | 58 void unmapPageTable(asid_t, vptr_t vaddr, pte_t* pt); 59 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, pptr_t pptr); 60 void deleteASID(asid_t asid, pte_t *vspace); 61 void deleteASIDPool(asid_t asid_base, asid_pool_t* pool);
|
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/smp/ |
H A D | ipi_inline.h | 37 static inline void doRemoteInvalidateTranslationASID(asid_t asid, word_t mask)
|
/seL4-l4v-10.1.1/seL4/include/arch/arm/armv/armv7-a/armv/ |
H A D | context_switch.h | 53 static inline void armv_contextSwitch(pde_t* cap_pd, asid_t asid)
|
/seL4-l4v-10.1.1/seL4/include/arch/arm/armv/armv7ve/armv/ |
H A D | context_switch.h | 53 static inline void armv_contextSwitch(pde_t* cap_pd, asid_t asid)
|
/seL4-l4v-10.1.1/seL4/include/arch/arm/armv/armv8-a/32/armv/ |
H A D | context_switch.h | 53 static inline void armv_contextSwitch(pde_t* cap_pd, asid_t asid)
|
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/object/ |
H A D | structures.h | 72 static inline asid_t CONST 87 static inline asid_t PURE 94 cap_frame_cap_ptr_set_capFMappedASID(cap_t* cap, asid_t asid) 99 static inline asid_t PURE
|
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/ |
H A D | machine.h | 35 static inline void hwASIDFlush(asid_t asid) 114 static inline void setVSpaceRoot(paddr_t addr, asid_t asid)
|
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/model/ |
H A D | statedata.h | 38 extern asid_t armKSHWASIDTable[BIT(hwASIDBits)] VISIBLE;
|
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/model/ |
H A D | statedata.c | 39 asid_t armKSHWASIDTable[BIT(hwASIDBits)];
|