pte_prefetch      578 arch/x86/kvm/paging_tmpl.h static void FNAME(pte_prefetch)(struct kvm_vcpu *vcpu, struct guest_walker *gw,
pte_prefetch      706 arch/x86/kvm/paging_tmpl.h 	FNAME(pte_prefetch)(vcpu, gw, it.sptep);