Hi Dave, On Mon, 29 Feb 2016 14:17:33 -0800 Dave Hansen <dave@xxxxxxxx> wrote: > > To fix this, we replace the u64 with an '__u32'. The __u32 is > guaranteed to union well with the pointers from _addr_bnd. It is > also plenty large enough to store the 16-bit pkey we have today > on x86. That looks better, thanks. -- Cheers, Stephen Rothwell -- To unsubscribe from this list: send the line "unsubscribe linux-next" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html