[linux-morello] [PATCH v4 05/36] linux/user_ptr.h: Add user_ptr_is_valid, user_ptr_set_addr