__kvm_flush_dcache_pmd  310 arch/arm/include/asm/kvm_mmu.h static inline void __kvm_flush_dcache_pmd(pmd_t pmd)
__kvm_flush_dcache_pmd  349 arch/arm64/include/asm/kvm_mmu.h static inline void __kvm_flush_dcache_pmd(pmd_t pmd)