kvm_flush_dcache_pte  258 virt/kvm/arm/mmu.c 				kvm_flush_dcache_pte(old_pte);
kvm_flush_dcache_pte  373 virt/kvm/arm/mmu.c 			kvm_flush_dcache_pte(*pte);