[XEN PATCH 0/2] xen: deviate asm-only definitions for Rule 8.4

[Nicola Vetrini <nicola.vetrini@xxxxxxxxxxx>]

As stated in 'docs/misra/rules.rst' the community decided to deviate from Rule 
8.4
whereby the definitions concern entities that are only used in asm modules.
The chosen deviation mechanism is that of textual deviations, through the use of
/* SAF-n-safe */ comments.

Deviating variables needs more care, and is therefore postponed to another 
patch.

Nicola Vetrini (2):
  xen: apply deviation for Rule 8.4 (asm-only definitions)
  automation: execute SAF translation before the analysis with ECLAIR

 automation/eclair_analysis/prepare.sh | 3 +++
 docs/misra/safe.json                  | 8 ++++++++
 xen/arch/arm/cpuerrata.c              | 1 +
 xen/arch/arm/setup.c                  | 1 +
 xen/arch/arm/smpboot.c                | 1 +
 xen/arch/arm/traps.c                  | 7 +++++++
 xen/arch/x86/boot/cmdline.c           | 1 +
 xen/arch/x86/boot/reloc.c             | 1 +
 xen/arch/x86/extable.c                | 4 ++--
 xen/arch/x86/mm.c                     | 1 +
 xen/arch/x86/setup.c                  | 2 ++
 xen/arch/x86/traps.c                  | 9 +++++++++
 xen/common/efi/boot.c                 | 5 +++--
 13 files changed, 40 insertions(+), 4 deletions(-)

--
2.34.1