Home
last modified time | relevance | path

Searched refs:mmu_notifier_seq (Results 1 – 9 of 9) sorted by relevance

/linux-4.4.14/arch/powerpc/kvm/
Dbook3s_64_mmu_host.c104 mmu_seq = kvm->mmu_notifier_seq; in kvmppc_mmu_map_page()
De500_mmu_host.c344 mmu_seq = kvm->mmu_notifier_seq; in kvmppc_e500_shadow_map()
Dbook3s_hv_rm_mmu.c194 mmu_seq = kvm->mmu_notifier_seq; in kvmppc_do_h_enter()
Dbook3s_64_mmu_hv.c502 mmu_seq = kvm->mmu_notifier_seq; in kvmppc_book3s_hv_page_fault()
/linux-4.4.14/include/linux/
Dkvm_host.h423 unsigned long mmu_notifier_seq; member
1028 if (kvm->mmu_notifier_seq != mmu_seq) in mmu_notifier_retry()
/linux-4.4.14/virt/kvm/
Dkvm_main.c301 kvm->mmu_notifier_seq++; in kvm_mmu_notifier_invalidate_page()
324 kvm->mmu_notifier_seq++; in kvm_mmu_notifier_change_pte()
369 kvm->mmu_notifier_seq++; in kvm_mmu_notifier_invalidate_range_end()
/linux-4.4.14/arch/x86/kvm/
Dpaging_tmpl.h754 mmu_seq = vcpu->kvm->mmu_notifier_seq; in FNAME()
Dmmu.c1644 kvm->mmu_notifier_seq++; in kvm_age_hva()
3006 mmu_seq = vcpu->kvm->mmu_notifier_seq; in nonpaging_map()
3519 mmu_seq = vcpu->kvm->mmu_notifier_seq; in tdp_page_fault()
/linux-4.4.14/arch/arm/kvm/
Dmmu.c1272 mmu_seq = vcpu->kvm->mmu_notifier_seq; in user_mem_abort()