[linux-morello] Re: [linux-morello][PATCH v2 2/3] include: linux: fix proc_ioctl