gptep             582 arch/x86/kvm/paging_tmpl.h 	pt_element_t *gptep = gw->prefetch_ptes;
gptep             604 arch/x86/kvm/paging_tmpl.h 		if (!FNAME(prefetch_gpte)(vcpu, sp, spte, gptep[i], true))