__direct_pte_prefetch 3299 arch/x86/kvm/mmu.c 	__direct_pte_prefetch(vcpu, sp, sptep);
__direct_pte_prefetch  592 arch/x86/kvm/paging_tmpl.h 		return __direct_pte_prefetch(vcpu, sp, sptep);