On Tue, 24 Jan 2017 10:10:08 +0000 Marc-André Lureau <marcandre.lur...@gmail.com> wrote:
> > Looks good. Probably worth to mention that the main difference is in > commit 658f2dc970996d547a641b5685e384ebe6f2648e not being applied to > bsd-user. > Yeah, I'll rebase my next patches on master. My only doubt about this patch was whether the linux-* and bsd-* implementations of put_user are equivalent. The linux one seems more optimized, but they look equivalent to me. -- Alessandro Di Federico PhD student at Politecnico di Milano
