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

/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/kernel/
H A Dtlb.h24 static inline void invalidateTranslationSingle(vptr_t vptr, word_t mask) function
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/machine/
H A Dtlb.h45 static inline void invalidateTranslationSingle(vptr_t vptr) function
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/object/
H A Dobjecttype.c214 invalidateTranslationSingle(KS_LOG_PPTR + (idx << seL4_PageBits));
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/
H A Dvspace.c1595 invalidateTranslationSingle(base_addr | pde_pde_invalid_get_stored_hw_asid(stored_hw_asid));
3049 invalidateTranslationSingle(pptr_to_paddr((void *) physical_address));
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/
H A Dvspace.c1271 invalidateTranslationSingle((hw_asid << 48) | vaddr >> seL4_PageBits);
1273 invalidateTranslationSingle((asid << 48) | vaddr >> seL4_PageBits);

Completed in 91 milliseconds