PTE_PREFETCH_NUM
struct page *pages[PTE_PREFETCH_NUM];
if (WARN_ON_ONCE(nr_pages > PTE_PREFETCH_NUM))
i = spte_index(sptep) & ~(PTE_PREFETCH_NUM - 1);
for (i = 0; i < PTE_PREFETCH_NUM; i++, spte++) {
1 + PT64_ROOT_MAX_LEVEL + PTE_PREFETCH_NUM);
mask = PTE_PREFETCH_NUM * sizeof(pt_element_t) - 1;
i = spte_index(sptep) & ~(PTE_PREFETCH_NUM - 1);
for (i = 0; i < PTE_PREFETCH_NUM; i++, spte++) {
pt_element_t prefetch_ptes[PTE_PREFETCH_NUM];