Searched refs:invalidatePageStructureCacheASID (Results 1 - 3 of 3) sorted by relevance
| /seL4-refos-master/kernel/include/arch/x86/arch/kernel/ |
| H A D | tlb.h | 11 static inline void invalidatePageStructureCacheASID(paddr_t root, asid_t asid, word_t mask) function
|
| /seL4-refos-master/kernel/src/arch/x86/64/kernel/ |
| H A D | vspace.c | 1100 invalidatePageStructureCacheASID(pptr_to_paddr(find_ret.vspace_root), asid,
1128 invalidatePageStructureCacheASID(pptr_to_paddr(vspace), cap_page_directory_cap_get_capPDMappedASID(cap),
1293 invalidatePageStructureCacheASID(pptr_to_paddr(vspace), cap_pdpt_cap_get_capPDPTMappedASID(cap),
1461 invalidatePageStructureCacheASID(pptr_to_paddr(vspace), asid,
|
| /seL4-refos-master/kernel/src/arch/x86/kernel/ |
| H A D | vspace.c | 785 invalidatePageStructureCacheASID(pptr_to_paddr(find_ret.vspace_root), asid,
794 invalidatePageStructureCacheASID(pptr_to_paddr(vspace), cap_frame_cap_get_capFMappedASID(cap),
804 invalidatePageStructureCacheASID(pptr_to_paddr(vspace), cap_frame_cap_get_capFMappedASID(cap),
1127 invalidatePageStructureCacheASID(pptr_to_paddr(root), cap_page_table_cap_get_capPTMappedASID(cap),
|
Completed in 42 milliseconds