Symbol: __direct_pte_prefetch
arch/x86/kvm/mmu/mmu.c
3254
__direct_pte_prefetch(vcpu, sp, sptep);
arch/x86/kvm/mmu/paging_tmpl.h
629
return __direct_pte_prefetch(vcpu, sp, sptep);