Searched defs: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() local308 pt_element_t __user *ptep_user; in walk_addr_generic() local