Searched refs:invalidateTranslationSingle (Results 1 - 5 of 5) sorted by relevance

/seL4-refos-master/kernel/include/arch/x86/arch/kernel/
H A Dtlb.h17 static inline void invalidateTranslationSingle(vptr_t vptr, word_t mask) function
/seL4-refos-master/kernel/include/arch/arm/arch/machine/
H A Dtlb.h38 static inline void invalidateTranslationSingle(vptr_t vptr) function
/seL4-refos-master/kernel/src/arch/arm/32/object/
H A Dobjecttype.c205 invalidateTranslationSingle(KS_LOG_PPTR + (idx << seL4_PageBits));
/seL4-refos-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c1254 invalidateTranslationSingle((hw_asid << 48) | vaddr >> seL4_PageBits);
1256 invalidateTranslationSingle((asid << 48) | vaddr >> seL4_PageBits);
2580 invalidateTranslationSingle(KS_LOG_PPTR);
/seL4-refos-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c1527 invalidateTranslationSingle(base_addr | pde_pde_invalid_get_stored_hw_asid(stored_hw_asid));
2774 invalidateTranslationSingle(KS_LOG_PPTR + (idx * BIT(seL4_PageBits)));

Completed in 48 milliseconds