[PATCH 0/4] Misc MISRA fixes for default Xen build configurations

[Nicola Vetrini <nicola.vetrini@gmail.com>]

This series addresses some of the violations found by widening the scope of
application of MISRA checking to default builds of Xen for both ARM64 and x86_64.

While it has been tested on top of a patch yet to be applied (but with
the necessary R-by [1]) these fixes can go in independently of that.

As evidenced by the CI pipeline below, there are a number of regressions on
guidelines that were clean on the restricted scope but are not in the wider one;
the patches in this series address a subset of those.

CI pipeline: https://gitlab.com/xen-project/people/bugseng/xen/-/pipelines/2156782159

[1] https://lore.kernel.org/xen-devel/alpine.DEB.2.22.394.2511031448530.495094@ubuntu-linux-20-04-desktop/

Nicola Vetrini (4):
  xen/xsm: address violations of MISRA C rules 8.3 and 7.2
  xen/sched: address violation of MISRA C Rule 16.3
  xen/param: address violation of MISRA C Rule 20.7
  xen/param: address violation of MISRA C Rule 8.2

 xen/common/sched/credit.c | 2 +-
 xen/include/xen/param.h   | 6 +++---
 xen/include/xsm/xsm.h     | 6 +++---
 3 files changed, 7 insertions(+), 7 deletions(-)

-- 
2.51.2