num_pinned        160 drivers/virt/fsl_hypervisor.c 	int num_pinned; /* return value from get_user_pages() */
num_pinned        249 drivers/virt/fsl_hypervisor.c 	num_pinned = get_user_pages_fast(param.local_vaddr - lb_offset,
num_pinned        252 drivers/virt/fsl_hypervisor.c 	if (num_pinned != num_pages) {
num_pinned        255 drivers/virt/fsl_hypervisor.c 		ret = (num_pinned < 0) ? num_pinned : -EFAULT;