34 	#define pt_element_t u64  macro
54 	#define pt_element_t u32  macro
69 	#define pt_element_t u64  macro
98 	pt_element_t ptes[PT_MAX_FULL_LEVELS];
99 	pt_element_t prefetch_ptes[PTE_PREFETCH_NUM];
101 	pt_element_t __user *ptep_user[PT_MAX_FULL_LEVELS];
109 static gfn_t gpte_to_gfn_lvl(pt_element_t gpte, int lvl)  in gpte_to_gfn_lvl()
149 			       pt_element_t __user *ptep_user, unsigned index,  in FNAME()
150 			       pt_element_t orig_pte, pt_element_t new_pte)  in FNAME()
153 	pt_element_t ret;  in FNAME()
154 	pt_element_t *table;  in FNAME()
213 	pt_element_t pte, orig_pte;  in FNAME()
214 	pt_element_t __user *ptep_user;  in FNAME()
226 		index = offset_in_page(ptep_user) / sizeof(pt_element_t);  in FNAME()
273 	pt_element_t pte;  in FNAME()
274 	pt_element_t __user *uninitialized_var(ptep_user);  in FNAME()
317 		offset    = index * sizeof(pt_element_t);  in FNAME()
346 		ptep_user = (pt_element_t __user *)((void *)host_addr + offset);  in FNAME()
464 		     u64 *spte, pt_element_t gpte, bool no_dirty_log)  in FNAME()
496 	pt_element_t gpte = *(const pt_element_t *)pte;  in FNAME()
504 	pt_element_t curr_pte;  in FNAME()
510 		mask = PTE_PREFETCH_NUM * sizeof(pt_element_t) - 1;  in FNAME()
512 		index = (pte_gpa - base_gpa) / sizeof(pt_element_t);  in FNAME()
528 	pt_element_t *gptep = gw->prefetch_ptes;  in FNAME()
827 	return gfn_to_gpa(sp->gfn) + offset * sizeof(pt_element_t);  in FNAME()
857 			pt_element_t gpte;  in FNAME()
864 			pte_gpa += (sptep - sp->spt) * sizeof(pt_element_t);  in FNAME()
873 						  sizeof(pt_element_t)))  in FNAME()
950 		pt_element_t gpte;  in FNAME()
957 		pte_gpa = first_pte_gpa + i * sizeof(pt_element_t);  in FNAME()
960 					  sizeof(pt_element_t)))  in FNAME()
996 #undef pt_element_t