Searched refs:tlbirpalos_4k (Results 1 – 2 of 2) sorted by relevance
910 static inline void tlbirpalos_4k(uintptr_t addr) in tlbirpalos_4k() function
161 { tlbirpalos_4k, ~(SZ_4K - 1UL) }, in tlbi_page_dsbosh()