[XEN PATCH 00/12] x86: address violations of MISRA C Rule 16.3

[Federico Serafini <federico.serafini@bugseng.com>]

This patch series addresses violations of Rule 16.3 on the x86 code.

If all the 12 patches will be committed, only 4 violations will be left:
these are under x86_emulate and involve some fallthrough cases.
I'll wait for instructions from x86 maintainers about the right "format" to make
the fallthrough intention explicit (i.e., a comment or the fallthrough keyword
that is not defined in x86-emulate.h at the moment).

Federico Serafini (12):
  x86/psr: address violation of MISRA C Rule 16.3
  x86/time: address violations of MISRA C Rule 16.3
  x86/vm_event: address violation of MISRA C Rule 16.3
  x86/hypercall: address violations of MISRA C Rule 16.3
  x86/monitor: address violation of MISRA C Rule 16.3
  x86/mm: address violations of MISRA C Rule 16.3
  x86/mmcfg: address violation of MISRA C Rule 16.3
  x86/emul: add defensive code
  x86/emul: address violations of MISRA C Rule 16.3
  efi: address violation of MISRA C Rule 16.3
  xen/vpci: add defensive code
  xen/pci: address a violation of MISRA C Rule 16.3

 xen/arch/x86/include/asm/hypercall.h   | 4 ++--
 xen/arch/x86/include/asm/monitor.h     | 1 +
 xen/arch/x86/mm/guest_walk.c           | 1 +
 xen/arch/x86/mm/hap/hap.c              | 2 +-
 xen/arch/x86/mm/hap/nested_hap.c       | 1 +
 xen/arch/x86/mm/paging.c               | 2 +-
 xen/arch/x86/psr.c                     | 1 +
 xen/arch/x86/time.c                    | 2 ++
 xen/arch/x86/vm_event.c                | 1 +
 xen/arch/x86/x86_64/mmconfig-shared.c  | 1 +
 xen/arch/x86/x86_emulate/fpu.c         | 4 ++++
 xen/arch/x86/x86_emulate/x86_emulate.c | 5 +++++
 xen/common/efi/runtime.c               | 2 +-
 xen/drivers/passthrough/pci.c          | 4 +++-
 xen/drivers/vpci/msix.c                | 4 ++++
 15 files changed, 29 insertions(+), 6 deletions(-)

-- 
2.34.1