Searched refs:ptep_user (Results 1 – 1 of 1) sorted by relevance
87 pt_element_t __user *ptep_user[PT_MAX_FULL_LEVELS]; member204 pt_element_t __user *ptep_user; in update_accessed_dirty_bits() local215 ptep_user = walker->ptep_user[level - 1]; in update_accessed_dirty_bits()216 index = offset_in_page(ptep_user) / sizeof(pt_element_t); in update_accessed_dirty_bits()249 ret = __try_cmpxchg_user(ptep_user, &orig_pte, pte, fault); in update_accessed_dirty_bits()308 pt_element_t __user *ptep_user; in walk_addr_generic() local404 ptep_user = (pt_element_t __user *)((void *)host_addr + offset); in walk_addr_generic()405 if (unlikely(get_user(pte, ptep_user))) in walk_addr_generic()407 walker->ptep_user[walker->level - 1] = ptep_user; in walk_addr_generic()