get_mmio_spte_gfn 4100 arch/x86/kvm/mmu.c gfn_t gfn = get_mmio_spte_gfn(spte); get_mmio_spte_gfn 4467 arch/x86/kvm/mmu.c if (gfn != get_mmio_spte_gfn(*sptep)) {