void kvmppc_mmu_pte_vflush(struct kvm_vcpu *vcpu, u64 guest_vp, u64 vp_mask) { trace_kvm_book3s_mmu_flush("v", vcpu, guest_vp, vp_mask); guest_vp &= vp_mask; switch(vp_mask) { case 0xfffffffffULL: kvmppc_mmu_pte_vflush_short(vcpu, guest_vp); break; case 0xffffff000ULL: kvmppc_mmu_pte_vflush_long(vcpu, guest_vp); break; default: WARN_ON(1); return; } }
void kvmppc_mmu_pte_vflush(struct kvm_vcpu *vcpu, u64 guest_vp, u64 vp_mask) { dprintk_mmu("KVM: Flushing %d Shadow vPTEs: 0x%llx & 0x%llx\n", vcpu->arch.hpte_cache_count, guest_vp, vp_mask); guest_vp &= vp_mask; switch(vp_mask) { case 0xfffffffffULL: kvmppc_mmu_pte_vflush_short(vcpu, guest_vp); break; case 0xffffff000ULL: kvmppc_mmu_pte_vflush_long(vcpu, guest_vp); break; default: WARN_ON(1); return; } }