On Wed, Oct 30, 2013 at 07:29:27PM +0000, Will Deacon wrote: > Yeah, that's weird, because they *do* appear to work! In fact, looking at > the code in kernel/events/core.c, it looks like __output_copy_user is > expected to return the number of bytes not copied,