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
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