Searched refs:__clean_dcache_guest_page (Results 1 – 3 of 3) sorted by relevance
159 static inline void __clean_dcache_guest_page(kvm_pfn_t pfn, unsigned long size) in __clean_dcache_guest_page() function
270 static inline void __clean_dcache_guest_page(kvm_pfn_t pfn, unsigned long size)
1442 __clean_dcache_guest_page(pfn, size); in clean_dcache_guest_page()
