Re: Convert UIO_USERSPACE64 uio to a UIO_USERSPACE32 uio