int vhost_init_used(struct vhost_virtqueue *vq)
 {
+       u16 last_used_idx;
        int r;
        if (!vq->private_data)
                return 0;
        if (r)
                return r;
        vq->signalled_used_valid = false;
-       return get_user(vq->last_used_idx, &vq->used->idx);
+       if (!access_ok(VERIFY_READ, &vq->used->idx, sizeof vq->used->idx))
+               return -EFAULT;
+       r = __get_user(last_used_idx, &vq->used->idx);
+       if (r)
+               return r;
+       vq->last_used_idx = last_used_idx;
+       return 0;
 }
 EXPORT_SYMBOL_GPL(vhost_init_used);
 
 
        /* Make sure buffer is written before we update index. */
        smp_wmb();
-       if (put_user(vq->last_used_idx, &vq->used->idx)) {
+       if (__put_user(vq->last_used_idx, &vq->used->idx)) {
                vq_err(vq, "Failed to increment used idx");
                return -EFAULT;
        }
        if (unlikely(!v))
                return true;
 
-       if (get_user(event, vhost_used_event(vq))) {
+       if (__get_user(event, vhost_used_event(vq))) {
                vq_err(vq, "Failed to get used event idx");
                return true;
        }