prefetch_gpte     516 arch/x86/kvm/paging_tmpl.h FNAME(prefetch_gpte)(struct kvm_vcpu *vcpu, struct kvm_mmu_page *sp,
prefetch_gpte     552 arch/x86/kvm/paging_tmpl.h 	FNAME(prefetch_gpte)(vcpu, sp, spte, gpte, false);
prefetch_gpte     604 arch/x86/kvm/paging_tmpl.h 		if (!FNAME(prefetch_gpte)(vcpu, sp, spte, gptep[i], true))