Searched refs:__clean_dcache_guest_page (Results 1 – 4 of 4) sorted by relevance
215 static inline void __clean_dcache_guest_page(void *va, size_t size) in __clean_dcache_guest_page() function
402 __clean_dcache_guest_page(pfn_to_kaddr(mapping->pfn), in pkvm_pgtable_stage2_flush()
283 __clean_dcache_guest_page(va, size); in clean_dcache_guest_page()
249 __apply_guest_page(va, size, __clean_dcache_guest_page); in clean_dcache_guest_page()