prefetch_ptes 89 arch/x86/kvm/paging_tmpl.h pt_element_t prefetch_ptes[PTE_PREFETCH_NUM]; prefetch_ptes 569 arch/x86/kvm/paging_tmpl.h gw->prefetch_ptes, sizeof(gw->prefetch_ptes)); prefetch_ptes 570 arch/x86/kvm/paging_tmpl.h curr_pte = gw->prefetch_ptes[index]; prefetch_ptes 582 arch/x86/kvm/paging_tmpl.h pt_element_t *gptep = gw->prefetch_ptes;