Lines Matching refs:user_ptr
488 pgd_t *user_ptr = NULL; in xen_get_user_pgd() local
492 user_ptr = (pgd_t *)page->private; in xen_get_user_pgd()
493 if (user_ptr) in xen_get_user_pgd()
494 user_ptr += offset; in xen_get_user_pgd()
497 return user_ptr; in xen_get_user_pgd()
531 pgd_t *user_ptr = xen_get_user_pgd((pgd_t *)ptr); in xen_set_p4d() local
534 trace_xen_mmu_set_p4d(ptr, (p4d_t *)user_ptr, val); in xen_set_p4d()
540 if (user_ptr) { in xen_set_p4d()
541 WARN_ON(xen_page_pinned(user_ptr)); in xen_set_p4d()
543 *user_ptr = pgd_val; in xen_set_p4d()
553 if (user_ptr) in xen_set_p4d()
554 __xen_set_p4d_hyper((p4d_t *)user_ptr, val); in xen_set_p4d()