Re: [PATCH v10 RESEND 2/3] kernel.h: add u64_to_user_ptr()