Re: Dubios pointer casting with put_user()