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()
141 			       pt_element_t __user *ptep_user, unsigned index,  in FNAME()
142 			       pt_element_t orig_pte, pt_element_t new_pte)  in FNAME()
145 	pt_element_t ret;  in FNAME()
146 	pt_element_t *table;  in FNAME()
205 	pt_element_t pte, orig_pte;  in FNAME()
206 	pt_element_t __user *ptep_user;  in FNAME()
218 		index = offset_in_page(ptep_user) / sizeof(pt_element_t);  in FNAME()
265 	pt_element_t pte;  in FNAME()
266 	pt_element_t __user *uninitialized_var(ptep_user);  in FNAME()
309 		offset    = index * sizeof(pt_element_t);  in FNAME()
338 		ptep_user = (pt_element_t __user *)((void *)host_addr + offset);  in FNAME()
455 		     u64 *spte, pt_element_t gpte, bool no_dirty_log)  in FNAME()
487 	pt_element_t gpte = *(const pt_element_t *)pte;  in FNAME()
495 	pt_element_t curr_pte;  in FNAME()
501 		mask = PTE_PREFETCH_NUM * sizeof(pt_element_t) - 1;  in FNAME()
503 		index = (pte_gpa - base_gpa) / sizeof(pt_element_t);  in FNAME()
519 	pt_element_t *gptep = gw->prefetch_ptes;  in FNAME()
816 	return gfn_to_gpa(sp->gfn) + offset * sizeof(pt_element_t);  in FNAME()
846 			pt_element_t gpte;  in FNAME()
853 			pte_gpa += (sptep - sp->spt) * sizeof(pt_element_t);  in FNAME()
862 						       sizeof(pt_element_t)))  in FNAME()
939 		pt_element_t gpte;  in FNAME()
946 		pte_gpa = first_pte_gpa + i * sizeof(pt_element_t);  in FNAME()
949 					       sizeof(pt_element_t)))  in FNAME()
985 #undef pt_element_t