[linux-morello] [Discussion] check_user_ptr interface