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;