direct_pte_prefetch_many
if (!direct_pte_prefetch_many(vcpu, sp, start, spte))
direct_pte_prefetch_many(vcpu, sp, start, spte);