[linux-morello] Re: [PATCH v2] linux/user_ptr.h: clear up as_user_ptr() usage