kvmppc_mmu_flush_icache  206 arch/powerpc/kvm/book3s_32_mmu_host.c 		kvmppc_mmu_flush_icache(hpaddr >> PAGE_SHIFT);
kvmppc_mmu_flush_icache  134 arch/powerpc/kvm/book3s_64_mmu_host.c 		kvmppc_mmu_flush_icache(pfn);
kvmppc_mmu_flush_icache  499 arch/powerpc/kvm/e500_mmu_host.c 	kvmppc_mmu_flush_icache(pfn);