/seL4-master/include/arch/x86/arch/64/mode/kernel/ |
A D | tlb.h | 19 static inline void invalidateLocalASID(vspace_root_t *vspace, asid_t asid) in invalidateLocalASID() 29 static inline void invalidatePCID(word_t type, void *vaddr, asid_t asid, word_t mask) in invalidatePCID() 35 static inline void invalidateASID(vspace_root_t *vspace, asid_t asid, word_t mask) in invalidateASID()
|
/seL4-master/include/arch/x86/arch/kernel/ |
A D | tlb.h | 11 static inline void invalidatePageStructureCacheASID(paddr_t root, asid_t asid, word_t mask) in invalidatePageStructureCacheASID() 23 static inline void invalidateTranslationSingleASID(vptr_t vptr, asid_t asid, word_t mask) in invalidateTranslationSingleASID()
|
/seL4-master/include/arch/x86/arch/64/mode/smp/ |
A D | ipi.h | 24 static inline void doRemoteInvalidatePCID(word_t type, void *vaddr, asid_t asid, word_t mask) in doRemoteInvalidatePCID() 29 static inline void doRemoteInvalidateASID(vspace_root_t *vspace, asid_t asid, word_t mask) in doRemoteInvalidateASID()
|
/seL4-master/src/arch/arm/64/kernel/ |
A D | vspace.c | 992 asid_t asid; in setVMRoot() local 1147 hw_asid_t getHWASID(asid_t asid) in getHWASID() 1191 void increaseASIDBindCB(asid_t asid) in increaseASIDBindCB() 1206 void decreaseASIDBindCB(asid_t asid) in decreaseASIDBindCB() 1699 asid_t asid; in decodeARMVSpaceRootInvocation() local 1798 asid_t asid; in decodeARMPageUpperDirectoryInvocation() local 1885 asid_t asid; in decodeARMPageDirectoryInvocation() local 1977 asid_t asid; in decodeARMPageTableInvocation() local 2072 asid_t asid, frame_asid; in decodeARMFrameInvocation() local 2198 asid_t asid; in decodeARMFrameInvocation() local [all …]
|
/seL4-master/include/arch/arm/armv/armv8-a/64/armv/ |
A D | context_switch.h | 16 static inline void armv_contextSwitch(vspace_root_t *vspace, asid_t asid) in armv_contextSwitch()
|
/seL4-master/src/arch/x86/kernel/ |
A D | ept.c | 42 void deleteEPTASID(asid_t asid, ept_pml4e_t *ept) in deleteEPTASID() 72 findEPTForASID_ret_t findEPTForASID(asid_t asid) in findEPTForASID() 193 EPTPDPTMapped_ret_t EPTPDPTMapped(asid_t asid, vptr_t vptr, ept_pdpte_t *pdpt) in EPTPDPTMapped() 223 void unmapEPTPDPT(asid_t asid, vptr_t vaddr, ept_pdpte_t *pdpt) in unmapEPTPDPT() 273 asid_t asid; in decodeX86EPTPDPTInvocation() local 420 void unmapEPTPageDirectory(asid_t asid, vptr_t vaddr, ept_pde_t *pd) in unmapEPTPageDirectory() 476 asid_t asid; in decodeX86EPTPDInvocation() local 608 void unmapEPTPageTable(asid_t asid, vptr_t vaddr, ept_pte_t *pt) in unmapEPTPageTable() 663 asid_t asid; in decodeX86EPTPTInvocation() local 800 asid_t asid; in decodeX86EPTPageMap() local [all …]
|
A D | vspace.c | 77 void deleteASID(asid_t asid, vspace_root_t *vspace) in deleteASID() 533 asid_map_t findMapForASID(asid_t asid) in findMapForASID() 545 findVSpaceForASID_ret_t findVSpaceForASID(asid_t asid) in findVSpaceForASID() 685 void flushTable(vspace_root_t *vspace, word_t vptr, pte_t *pt, asid_t asid) in flushTable() 707 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr) in unmapPage() 759 void unmapPageTable(asid_t asid, vptr_t vaddr, pte_t *pt) in unmapPageTable() 944 asid_t asid; in decodeX86FrameInvocation() local 1145 asid_t asid; in decodeX86PageTableInvocation() local 1342 asid_t asid; in decodeX86MMUInvocation() local
|
/seL4-master/src/arch/arm/32/kernel/ |
A D | vspace.c | 1003 asid_t asid; in setVMRoot() local 1073 static void invalidateASID(asid_t asid) in invalidateASID() 1149 hw_asid_t getHWASID(asid_t asid) in getHWASID() 1297 void deleteASID(asid_t asid, pde_t *pd) in deleteASID() 1505 void flushSpace(asid_t asid) 1526 void invalidateTLBByASID(asid_t asid) 2007 asid_t asid; local 2116 asid_t asid; local 2237 asid_t asid; local 2401 asid_t asid; local [all …]
|
/seL4-master/include/arch/x86/arch/smp/ |
A D | ipi_inline.h | 23 static inline void doRemoteInvalidatePageStructureCacheASID(paddr_t root, asid_t asid, word_t mask) in doRemoteInvalidatePageStructureCacheASID() 33 static inline void doRemoteInvalidateTranslationSingleASID(vptr_t vptr, asid_t asid, word_t mask) in doRemoteInvalidateTranslationSingleASID()
|
/seL4-master/src/arch/x86/64/machine/ |
A D | capdl.c | 216 asid_t asid = cap_pml4_cap_get_capPML4MappedASID(vspace); in cap_frame_print_attrs_vptr() local 226 asid_t asid = cap_page_table_cap_get_capPTMappedASID(cap); in print_cap_arch() local 238 asid_t asid = cap_page_directory_cap_get_capPDMappedASID(cap); in print_cap_arch() local 250 asid_t asid = cap_pdpt_cap_get_capPDPTMappedASID(cap); in print_cap_arch() local 262 asid_t asid = cap_pml4_cap_get_capPML4MappedASID(cap); in print_cap_arch() local 319 asid_t asid = cap_asid_pool_cap_get_capASIDBase(asid_cap); in obj_asidpool_print_attrs() local
|
/seL4-master/include/arch/arm/armv/armv7-a/armv/ |
A D | context_switch.h | 49 static inline void armv_contextSwitch(pde_t *cap_pd, asid_t asid) in armv_contextSwitch()
|
/seL4-master/include/arch/arm/armv/armv8-a/32/armv/ |
A D | context_switch.h | 49 static inline void armv_contextSwitch(pde_t *cap_pd, asid_t asid) in armv_contextSwitch()
|
/seL4-master/src/arch/x86/64/kernel/ |
A D | vspace.c | 475 asid_t asid; in setVMRoot() local 652 static BOOT_CODE cap_t create_it_pd_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) in create_it_pd_cap() 665 static BOOT_CODE cap_t create_it_pt_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) in create_it_pt_cap() 801 exception_t performASIDPoolInvocation(asid_t asid, asid_pool_t *poolPtr, cte_t *vspaceCapSlot) in performASIDPoolInvocation() 1052 static void flushPD(vspace_root_t *vspace, word_t vptr, pde_t *pd, asid_t asid) in flushPD() 1062 static void flushPDPT(vspace_root_t *vspace, word_t vptr, pdpte_t *pdpt, asid_t asid) in flushPDPT() 1069 void hwASIDInvalidate(asid_t asid, vspace_root_t *vspace) in hwASIDInvalidate() 1074 void unmapPageDirectory(asid_t asid, vptr_t vaddr, pde_t *pd) in unmapPageDirectory() 1148 asid_t asid; in decodeX64PageDirectoryInvocation() local 1249 static void unmapPDPT(asid_t asid, vptr_t vaddr, pdpte_t *pdpt) in unmapPDPT() [all …]
|
/seL4-master/src/arch/arm/object/ |
A D | iospace.c | 153 uint32_t asid; in decodeARMIOPTInvocation() local 254 uint32_t asid; in decodeARMIOMapInvocation() local 375 uint32_t asid; in deleteIOPageTable() local 415 uint32_t asid; in unmapIOPage() local 444 uint32_t asid = cap_io_space_cap_get_capModuleID(cap); in clearIOPageDirectory() local
|
A D | smmu.c | 362 void smmu_cb_delete_vspace(word_t cb, asid_t asid) in smmu_cb_delete_vspace() 372 void invalidateSMMUTLBByASID(asid_t asid, word_t bind_cb) in invalidateSMMUTLBByASID() 388 void invalidateSMMUTLBByASIDVA(asid_t asid, vptr_t vaddr, word_t bind_cb) in invalidateSMMUTLBByASIDVA()
|
/seL4-master/src/arch/riscv/machine/ |
A D | capdl.c | 29 asid_t asid = cap_asid_pool_cap_get_capASIDBase(asid_cap); in obj_asidpool_print_attrs() local 36 asid_t asid = cap_page_table_cap_get_capPTMappedASID(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap); in print_ipc_buffer_slot() local 128 asid_t asid = cap_page_table_cap_get_capPTMappedASID(cap); in print_cap_arch() local
|
/seL4-master/src/arch/x86/32/kernel/ |
A D | vspace.c | 392 …c BOOT_CODE cap_t create_it_page_table_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) in create_it_page_table_cap() 407 …OT_CODE cap_t create_it_page_directory_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) in create_it_page_directory_cap() 466 static BOOT_CODE cap_t create_it_frame_cap(pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large, in create_it_frame_cap() 495 BOOT_CODE cap_t create_mapped_it_frame_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid,… in create_mapped_it_frame_cap() 592 asid_t asid; in setVMRoot() local 621 void hwASIDInvalidate(asid_t asid, vspace_root_t *vspace) in hwASIDInvalidate()
|
/seL4-master/src/arch/riscv/kernel/ |
A D | vspace.c | 237 static BOOT_CODE cap_t create_it_pt_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid) in create_it_pt_cap() 317 static findVSpaceForASID_ret_t findVSpaceForASID(asid_t asid) in findVSpaceForASID() 476 static exception_t performASIDPoolInvocation(asid_t asid, asid_pool_t *poolPtr, cte_t *vspaceCapSlo… in performASIDPoolInvocation() 492 void deleteASID(asid_t asid, pte_t *vspace) in deleteASID() 504 void unmapPageTable(asid_t asid, vptr_t vptr, pte_t *target_pt) in unmapPageTable() 553 void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, pptr_t pptr) in unmapPage() 579 asid_t asid; in setVMRoot() local 687 asid_t asid = cap_page_table_cap_get_capPTMappedASID(cap); in decodeRISCVPageTableInvocation() local 733 asid_t asid = cap_page_table_cap_get_capPTMappedASID(lvl1ptCap); in decodeRISCVPageTableInvocation() local 822 asid_t asid = cap_page_table_cap_get_capPTMappedASID(lvl1ptCap); in decodeRISCVFrameInvocation() local [all …]
|
/seL4-master/include/arch/riscv/arch/ |
A D | machine.h | 108 static inline void hwASIDFlushLocal(asid_t asid) in hwASIDFlushLocal() 113 static inline void hwASIDFlush(asid_t asid) in hwASIDFlush() 133 static inline void hwASIDFlush(asid_t asid) in hwASIDFlush() 241 static inline void setVSpaceRoot(paddr_t addr, asid_t asid) in setVSpaceRoot()
|
/seL4-master/include/arch/x86/arch/64/mode/ |
A D | machine.h | 135 uint64_t asid; member 144 static inline void invalidateLocalPCID(word_t type, void *vaddr, asid_t asid) in invalidateLocalPCID() 180 static inline void invalidateLocalTranslationSingleASID(vptr_t vptr, asid_t asid) in invalidateLocalTranslationSingleASID() 190 static inline void invalidateLocalPageStructureCacheASID(paddr_t root, asid_t asid) in invalidateLocalPageStructureCacheASID()
|
/seL4-master/src/arch/arm/32/machine/ |
A D | capdl.c | 261 asid_t asid = cap_page_directory_cap_get_capPDMappedASID(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap); in print_ipc_buffer_slot() local 271 asid_t asid = cap_page_table_cap_get_capPTMappedASID(cap); in print_cap_arch() local 283 asid_t asid = cap_page_directory_cap_get_capPDMappedASID(cap); in print_cap_arch() local
|
/seL4-master/src/arch/arm/64/machine/ |
A D | capdl.c | 296 asid_t asid = cap_page_table_cap_get_capPTMappedASID(cap); in print_cap_arch() local 308 asid_t asid = cap_page_directory_cap_get_capPDMappedASID(cap); in print_cap_arch() local 321 asid_t asid = cap_page_upper_directory_cap_get_capPUDMappedASID(cap); in print_cap_arch() local 343 asid_t asid = cap_page_global_directory_cap_get_capPGDMappedASID(cap); in print_cap_arch() local
|
/seL4-master/include/arch/arm/arch/smp/ |
A D | ipi_inline.h | 30 static inline void doRemoteInvalidateTranslationASID(asid_t asid, word_t mask) in doRemoteInvalidateTranslationASID()
|
/seL4-master/include/arch/x86/arch/32/mode/ |
A D | machine.h | 51 static inline void invalidateLocalPageStructureCacheASID(paddr_t root, asid_t asid) in invalidateLocalPageStructureCacheASID() 69 static inline void invalidateLocalTranslationSingleASID(vptr_t vptr, asid_t asid) in invalidateLocalTranslationSingleASID()
|
/seL4-master/src/drivers/smmu/ |
A D | smmuv2.c | 405 vspace_root_t *vspace, asid_t asid) in smmu_config_stage1() 467 void smmu_cb_assign_vspace(word_t cb, vspace_root_t *vspace, asid_t asid) in smmu_cb_assign_vspace() 534 void smmu_cb_disable(word_t cb, asid_t asid) in smmu_cb_disable() 584 void smmu_tlb_invalidate_cb(int cb, asid_t asid) in smmu_tlb_invalidate_cb() 601 void smmu_tlb_invalidate_cb_va(int cb, asid_t asid, vptr_t vaddr) in smmu_tlb_invalidate_cb_va()
|