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