ptep_user          91 arch/x86/kvm/paging_tmpl.h 	pt_element_t __user *ptep_user[PT_MAX_FULL_LEVELS];
ptep_user         132 arch/x86/kvm/paging_tmpl.h 			       pt_element_t __user *ptep_user, unsigned index,
ptep_user         140 arch/x86/kvm/paging_tmpl.h 	npages = get_user_pages_fast((unsigned long)ptep_user, 1, FOLL_WRITE, &page);
ptep_user         149 arch/x86/kvm/paging_tmpl.h 		unsigned long vaddr = (unsigned long)ptep_user & PAGE_MASK;
ptep_user         227 arch/x86/kvm/paging_tmpl.h 	pt_element_t __user *ptep_user;
ptep_user         238 arch/x86/kvm/paging_tmpl.h 		ptep_user = walker->ptep_user[level - 1];
ptep_user         239 arch/x86/kvm/paging_tmpl.h 		index = offset_in_page(ptep_user) / sizeof(pt_element_t);
ptep_user         272 arch/x86/kvm/paging_tmpl.h 		ret = FNAME(cmpxchg_gpte)(vcpu, mmu, ptep_user, index, orig_pte, pte);
ptep_user         302 arch/x86/kvm/paging_tmpl.h 	pt_element_t __user *uninitialized_var(ptep_user);
ptep_user         387 arch/x86/kvm/paging_tmpl.h 		ptep_user = (pt_element_t __user *)((void *)host_addr + offset);
ptep_user         388 arch/x86/kvm/paging_tmpl.h 		if (unlikely(__copy_from_user(&pte, ptep_user, sizeof(pte))))
ptep_user         390 arch/x86/kvm/paging_tmpl.h 		walker->ptep_user[walker->level - 1] = ptep_user;