Searched defs:user_ptr (Results 1 – 2 of 2) sorted by relevance
1089 void __user *user_ptr = (void __user *)(uintptr_t)cap->args[0]; in kvm_vcpu_ioctl_enable_cap() local
569 pgd_t *user_ptr = NULL; in xen_get_user_pgd() local612 pgd_t *user_ptr = xen_get_user_pgd(ptr); in xen_set_pgd() local