Home
last modified time | relevance | path

Searched defs:asid (Results 1 – 25 of 38) sorted by relevance

12

/seL4-master/include/arch/x86/arch/64/mode/kernel/
A Dtlb.h19 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 Dtlb.h11 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 Dipi.h24 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 Dvspace.c992 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 Dcontext_switch.h16 static inline void armv_contextSwitch(vspace_root_t *vspace, asid_t asid) in armv_contextSwitch()
/seL4-master/src/arch/x86/kernel/
A Dept.c42 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 Dvspace.c77 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 Dvspace.c1003 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 Dipi_inline.h23 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 Dcapdl.c216 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 Dcontext_switch.h49 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 Dcontext_switch.h49 static inline void armv_contextSwitch(pde_t *cap_pd, asid_t asid) in armv_contextSwitch()
/seL4-master/src/arch/x86/64/kernel/
A Dvspace.c475 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 Diospace.c153 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 Dsmmu.c362 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 Dcapdl.c29 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 Dvspace.c392 …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 Dvspace.c237 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 Dmachine.h108 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 Dmachine.h135 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 Dcapdl.c261 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 Dcapdl.c296 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 Dipi_inline.h30 static inline void doRemoteInvalidateTranslationASID(asid_t asid, word_t mask) in doRemoteInvalidateTranslationASID()
/seL4-master/include/arch/x86/arch/32/mode/
A Dmachine.h51 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 Dsmmuv2.c405 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()

Completed in 68 milliseconds

12