Symbol: is_page_fault_stale
arch/x86/kvm/mmu/mmu.c
4882
if (is_page_fault_stale(vcpu, fault)) {
arch/x86/kvm/mmu/mmu.c
4971
if (is_page_fault_stale(vcpu, fault))
arch/x86/kvm/mmu/paging_tmpl.h
873
if (is_page_fault_stale(vcpu, fault)) {