Searched refs:ptep_user (Results 1 – 1 of 1) sorted by relevance
| /Linux-v5.4/arch/x86/kvm/ |
| D | paging_tmpl.h | 91 pt_element_t __user *ptep_user[PT_MAX_FULL_LEVELS]; member
132 pt_element_t __user *ptep_user, unsigned index, in FNAME()
140 npages = get_user_pages_fast((unsigned long)ptep_user, 1, FOLL_WRITE, &page); in FNAME()
149 unsigned long vaddr = (unsigned long)ptep_user & PAGE_MASK; in FNAME()
227 pt_element_t __user *ptep_user; in FNAME() local
238 ptep_user = walker->ptep_user[level - 1]; in FNAME()
239 index = offset_in_page(ptep_user) / sizeof(pt_element_t); in FNAME()
272 ret = FNAME(cmpxchg_gpte)(vcpu, mmu, ptep_user, index, orig_pte, pte); in FNAME()
302 pt_element_t __user *uninitialized_var(ptep_user); in FNAME()
387 ptep_user = (pt_element_t __user *)((void *)host_addr + offset); in FNAME()
[all …]
|
