kvm_flush_dcache_pmd  284 virt/kvm/arm/mmu.c 				kvm_flush_dcache_pmd(old_pmd);
kvm_flush_dcache_pmd  388 virt/kvm/arm/mmu.c 				kvm_flush_dcache_pmd(*pmd);