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;