Searched refs:__invalidate_icache_guest_page (Results 1 – 3 of 3) sorted by relevance
247 static inline void __invalidate_icache_guest_page(void *va, size_t size) in __invalidate_icache_guest_page() function
254 __apply_guest_page(va, size, __invalidate_icache_guest_page); in invalidate_icache_guest_page()
289 __invalidate_icache_guest_page(va, size); in invalidate_icache_guest_page()