24 	#define pt_element_t u64  macro
43 	#define pt_element_t u32  macro
57 	#define pt_element_t u64  macro
88 	pt_element_t ptes[PT_MAX_FULL_LEVELS];
89 	pt_element_t prefetch_ptes[PTE_PREFETCH_NUM];
91 	pt_element_t __user *ptep_user[PT_MAX_FULL_LEVELS];
99 static gfn_t gpte_to_gfn_lvl(pt_element_t gpte, int lvl)  in gpte_to_gfn_lvl()
132 			       pt_element_t __user *ptep_user, unsigned index,  in FNAME()
133 			       pt_element_t orig_pte, pt_element_t new_pte)  in FNAME()
136 	pt_element_t ret;  in FNAME()
137 	pt_element_t *table;  in FNAME()
226 	pt_element_t pte, orig_pte;  in FNAME()
227 	pt_element_t __user *ptep_user;  in FNAME()
239 		index = offset_in_page(ptep_user) / sizeof(pt_element_t);  in FNAME()
301 	pt_element_t pte;  in FNAME()
302 	pt_element_t __user *uninitialized_var(ptep_user);  in FNAME()
356 		offset    = index * sizeof(pt_element_t);  in FNAME()
387 		ptep_user = (pt_element_t __user *)((void *)host_addr + offset);  in FNAME()
517 		     u64 *spte, pt_element_t gpte, bool no_dirty_log)  in FNAME()
550 	pt_element_t gpte = *(const pt_element_t *)pte;  in FNAME()
558 	pt_element_t curr_pte;  in FNAME()
564 		mask = PTE_PREFETCH_NUM * sizeof(pt_element_t) - 1;  in FNAME()
566 		index = (pte_gpa - base_gpa) / sizeof(pt_element_t);  in FNAME()
582 	pt_element_t *gptep = gw->prefetch_ptes;  in FNAME()
889 	return gfn_to_gpa(sp->gfn) + offset * sizeof(pt_element_t);  in FNAME()
919 			pt_element_t gpte;  in FNAME()
926 			pte_gpa += (sptep - sp->spt) * sizeof(pt_element_t);  in FNAME()
936 						       sizeof(pt_element_t)))  in FNAME()
1014 		pt_element_t gpte;  in FNAME()
1021 		pte_gpa = first_pte_gpa + i * sizeof(pt_element_t);  in FNAME()
1024 					       sizeof(pt_element_t)))  in FNAME()
1074 #undef pt_element_t