Searched refs:__clean_dcache_guest_page (Results 1 – 3 of 3) sorted by relevance
203 static inline void __clean_dcache_guest_page(void *va, size_t size) in __clean_dcache_guest_page() function
167 __clean_dcache_guest_page(va, size); in clean_dcache_guest_page()241 __clean_dcache_guest_page(page_address(ppage->page), PAGE_SIZE); in pkvm_stage2_flush()
261 __clean_dcache_guest_page(hyp_fixmap_map(__hyp_pa(va)), size); in clean_dcache_guest_page()