Searched refs:invalidateTranslationASID (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/machine/
H A Dtlb.h51 static inline void invalidateTranslationASID(hw_asid_t hw_asid) function
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/
H A Dvspace.c1240 invalidateTranslationASID(hw_asid);
1616 invalidateTranslationASID(pde_pde_invalid_get_stored_hw_asid(stored_hw_asid));
1642 invalidateTranslationASID(pde_pde_invalid_get_stored_hw_asid(stored_hw_asid));
1659 invalidateTranslationASID(pde_pde_invalid_get_stored_hw_asid(stored_hw_asid));
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/
H A Dvspace.c1207 invalidateTranslationASID(hw_asid);
1257 invalidateTranslationASID(hw_asid);
1259 invalidateTranslationASID(asid);

Completed in 118 milliseconds