Searched refs:asid_t (Results 1 - 25 of 45) sorted by relevance

12

/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/kernel/
H A Dvspace.h28 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 Dvspace.h50 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 Dept.h48 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 Dtlb.h18 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 Dvspace.h80 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 Dtlb.h26 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 Dipi.h31 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 Dtypes.h26 typedef word_t asid_t; typedef
/seL4-l4v-10.1.1/seL4/include/arch/arm/armv/armv8-a/64/armv/
H A Dcontext_switch.h23 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 Dtypes.h34 typedef word_t asid_t; typedef
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/api/
H A Dtypes.h27 typedef word_t asid_t; typedef
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/smp/
H A Dipi_inline.h30 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 Dboot.h17 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 Dvspace.h25 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 Dcontext_switch.h30 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 Dboot.h25 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 Dvspace.h58 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 Dipi_inline.h37 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 Dcontext_switch.h53 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 Dcontext_switch.h53 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 Dcontext_switch.h53 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 Dstructures.h72 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 Dmachine.h35 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 Dstatedata.h38 extern asid_t armKSHWASIDTable[BIT(hwASIDBits)] VISIBLE;
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/model/
H A Dstatedata.c39 asid_t armKSHWASIDTable[BIT(hwASIDBits)];

Completed in 160 milliseconds

12