On Tue, 24 Oct 2023, Bertrand Marquis wrote: > Hi Julien, > > > On 23 Oct 2023, at 19:52, Julien Grall <jul...@xen.org> wrote: > > > > From: Julien Grall <jgr...@amazon.com> > > > > The 'break' the XEN_DOMCTL_set_address_size is unreachable and tools > > like Eclair will report as a violation of Misra Rule 2.1. > > > > Furthermore, the nested switch is not very easy to read. So move > > out the nested switch in a separate function to improve the > > readability and hopefully address the MISRA violation. > > > > Reported-by: Nicola Vetrini <nicola.vetr...@bugseng.com> > > Signed-off-by: Julien Grall <jgr...@amazon.com> > > Reviewed-by: Bertrand Marquis <bertrand.marq...@arm.com>
I added the patch to my for-4.19 branch
