This series addresses a number of violations of MISRA C:2012 Rule 11.8
("A cast shall not remove any const or volatile qualification from the
type pointed to by a pointer").

Patches 1-3 remove the offending casts.
Patch 4 deviates the casts in livepatch.

Test CI pipeline:
https://gitlab.com/xen-project/people/dimaprkp4k/xen/-/pipelines/3021645211

Dmytro Prokopchuk (4):
  xen: make stop_machine_run() take const void *
  xen/arm: acpi: resolve MISRA C Rule 11.8 in acpi_xsdt_modify_entry()
  xen: resolve MISRA C Rule 11.8 in xen_build_id_check()
  automation/eclair: deviate MISRA C Rule 11.8 for xfree() and vfree()

 automation/eclair_analysis/ECLAIR/deviations.ecl | 7 +++++++
 docs/misra/deviations.rst                        | 7 +++++++
 docs/misra/rules.rst                             | 3 ++-
 xen/arch/arm/acpi/domain_build.c                 | 2 +-
 xen/arch/arm/alternative.c                       | 4 ++--
 xen/arch/arm/cpuerrata.c                         | 8 ++++----
 xen/arch/arm/cpufeature.c                        | 4 ++--
 xen/arch/arm/include/asm/cpufeature.h            | 2 +-
 xen/arch/x86/cpu/microcode/core.c                | 4 ++--
 xen/common/cpu.c                                 | 4 ++--
 xen/common/stop_machine.c                        | 7 ++++---
 xen/common/version.c                             | 4 ++--
 xen/include/xen/elf.h                            | 4 ++++
 xen/include/xen/stop_machine.h                   | 5 +++--
 14 files changed, 43 insertions(+), 22 deletions(-)

-- 
2.43.0