kvm_mmu_lookup_page 1090 arch/x86/kvm/mmu.c 	while ((sp = kvm_mmu_lookup_page(kvm, gfn)) != NULL) {
kvm_mmu_lookup_page 1185 arch/x86/kvm/mmu.c 		shadow = kvm_mmu_lookup_page(vcpu->kvm, gfn);