On 28.11.2023 18:09, Federico Serafini wrote: > --- a/docs/misra/deviations.rst > +++ b/docs/misra/deviations.rst > @@ -90,6 +90,22 @@ Deviations related to MISRA C:2012 Rules: > - __emulate_2op and __emulate_2op_nobyte > - read_debugreg and write_debugreg > > + * - R5.6 > + - The type ret_t is deliberately defined multiple times depending on the > + type of guest to service. > + - Tagged as `deliberate` for ECLAIR. > + > + * - R5.6 > + - Some files are not subject to respect MISRA rules at > + the moment, but, among these out-of-scope files, there are definitions > + of typedef names that are already defined within in-scope files and > + therefore, ECLAIR does report a violation since not all the files > + involved in the violation are excluded from the analysis. > + - Tagged as `deliberate` for ECLAIR. Such excluded files are: > + - xen/include/efi/.* > + - xen/arch/x86/include/asm/x86_64/efibind.h > + - xen/arch/arm/include/asm/arm64/efibind.h
Could these two be generalized to xen/arch/*/include/asm/*/efibind.h? Jan
