A respin of the last two patches from the previous series. No changes other than the different SAF comment id because SAF-4-safe was already taken.
Nicola Vetrini (2): xen/domctl: address violations of MISRA C Rule 16.2 eclair_analysis: deviate x86 emulator for Rule 16.2 automation/eclair_analysis/ECLAIR/deviations.ecl | 7 +++++++ docs/misra/deviations.rst | 6 ++++++ docs/misra/safe.json | 8 ++++++++ xen/common/domain.c | 1 + 4 files changed, 22 insertions(+) -- 2.34.1