27 	#define pt_element_t u64  macro
46 	#define pt_element_t u32  macro
60 	#define pt_element_t u64  macro
91 	pt_element_t ptes[PT_MAX_FULL_LEVELS];
92 	pt_element_t prefetch_ptes[PTE_PREFETCH_NUM];
94 	pt_element_t __user *ptep_user[PT_MAX_FULL_LEVELS];
102 static gfn_t gpte_to_gfn_lvl(pt_element_t gpte, int lvl)  in gpte_to_gfn_lvl()
135 			       pt_element_t __user *ptep_user, unsigned index,  in FNAME()
136 			       pt_element_t orig_pte, pt_element_t new_pte)  in FNAME()
139 	pt_element_t ret;  in FNAME()
140 	pt_element_t *table;  in FNAME()
208 	pt_element_t pte, orig_pte;  in FNAME()
209 	pt_element_t __user *ptep_user;  in FNAME()
221 		index = offset_in_page(ptep_user) / sizeof(pt_element_t);  in FNAME()
283 	pt_element_t pte;  in FNAME()
284 	pt_element_t __user *uninitialized_var(ptep_user);  in FNAME()
338 		offset    = index * sizeof(pt_element_t);  in FNAME()
369 		ptep_user = (pt_element_t __user *)((void *)host_addr + offset);  in FNAME()
499 		     u64 *spte, pt_element_t gpte, bool no_dirty_log)  in FNAME()
531 	pt_element_t gpte = *(const pt_element_t *)pte;  in FNAME()
539 	pt_element_t curr_pte;  in FNAME()
545 		mask = PTE_PREFETCH_NUM * sizeof(pt_element_t) - 1;  in FNAME()
547 		index = (pte_gpa - base_gpa) / sizeof(pt_element_t);  in FNAME()
563 	pt_element_t *gptep = gw->prefetch_ptes;  in FNAME()
856 	return gfn_to_gpa(sp->gfn) + offset * sizeof(pt_element_t);  in FNAME()
886 			pt_element_t gpte;  in FNAME()
893 			pte_gpa += (sptep - sp->spt) * sizeof(pt_element_t);  in FNAME()
902 						       sizeof(pt_element_t)))  in FNAME()
980 		pt_element_t gpte;  in FNAME()
987 		pte_gpa = first_pte_gpa + i * sizeof(pt_element_t);  in FNAME()
990 					       sizeof(pt_element_t)))  in FNAME()
1040 #undef pt_element_t