Symbol: vcpu_match_mmio_gva
arch/x86/kvm/mmu/mmu.c
4416
return vcpu_match_mmio_gva(vcpu, addr);
arch/x86/kvm/x86.c
8077
if (vcpu_match_mmio_gva(vcpu, gva) && (!is_paging(vcpu) ||