__clean_dcache_guest_page  211 arch/arm/include/asm/kvm_mmu.h static inline void __clean_dcache_guest_page(kvm_pfn_t pfn, unsigned long size)
__clean_dcache_guest_page  310 arch/arm64/include/asm/kvm_mmu.h static inline void __clean_dcache_guest_page(kvm_pfn_t pfn, unsigned long size)