Symbol: direct_pte_prefetch_many
arch/x86/kvm/mmu/mmu.c
3168
if (!direct_pte_prefetch_many(vcpu, sp, start, spte))
arch/x86/kvm/mmu/mmu.c
3176
direct_pte_prefetch_many(vcpu, sp, start, spte);