From: Nicola Vetrini <nicola.vetrini@bugseng.com>
To: xen-devel@lists.xenproject.org
Cc: sstabellini@kernel.org, michal.orzel@amd.com,
xenia.ragiadakou@amd.com, ayan.kumar.halder@amd.com,
consulting@bugseng.com,
Nicola Vetrini <nicola.vetrini@bugseng.com>,
Simone Ballarin <simone.ballarin@bugseng.com>,
Doug Goldstein <cardoe@cardoe.com>,
Andrew Cooper <andrew.cooper3@citrix.com>,
George Dunlap <george.dunlap@citrix.com>,
Jan Beulich <jbeulich@suse.com>, Julien Grall <julien@xen.org>
Subject: [XEN PATCH v2 0/6][RESEND] address violations of MISRA C Rule 20.7
Date: Mon, 17 Jun 2024 10:57:12 +0200 [thread overview]
Message-ID: <cover.1718378539.git.nicola.vetrini@bugseng.com> (raw)
Hi all,
this series addresses several violations of Rule 20.7, as well as a
small fix to the ECLAIR integration scripts that do not influence
the current behaviour, but were mistakenly part of the upstream
configuration.
Note that by applying this series the rule has a few leftover violations.
Most of those are in x86 code in xen/arch/x86/include/asm/msi.h .
I did send a patch [1] to deal with those, limited only to addressing the MISRA
violations, but in the end it was dropped in favour of a more general cleanup of
the file upon agreement, so this is why those changes are not included here.
[1] https://lore.kernel.org/xen-devel/2f2c865f20d0296e623f1d65bed25c083f5dd497.1711700095.git.nicola.vetrini@bugseng.com/
Changes in v2:
- refactor patch 4 to deviate the pattern, instead of fixing the violations
- The series has been resent because I forgot to properly Cc the mailing list
Nicola Vetrini (6):
automation/eclair: address violations of MISRA C Rule 20.7
xen/self-tests: address violations of MISRA rule 20.7
xen/guest_access: address violations of MISRA rule 20.7
automation/eclair_analysis: address violations of MISRA C Rule 20.7
x86/irq: address violations of MISRA C Rule 20.7
automation/eclair_analysis: clean ECLAIR configuration scripts
automation/eclair_analysis/ECLAIR/analyze.sh | 3 +--
automation/eclair_analysis/ECLAIR/deviations.ecl | 14 ++++++++++++--
docs/misra/deviations.rst | 3 ++-
xen/include/xen/guest_access.h | 4 ++--
xen/include/xen/irq.h | 2 +-
xen/include/xen/self-tests.h | 8 ++++----
6 files changed, 22 insertions(+), 12 deletions(-)
--
2.34.1
next reply other threads:[~2024-06-17 8:57 UTC|newest]
Thread overview: 21+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-06-17 8:57 Nicola Vetrini [this message]
2024-06-17 8:57 ` [XEN PATCH v2 1/6][RESEND] automation/eclair: address violations of MISRA C Rule 20.7 Nicola Vetrini
2024-06-21 0:18 ` Stefano Stabellini
2024-06-25 6:52 ` Nicola Vetrini
2024-06-26 0:59 ` Stefano Stabellini
2024-06-25 0:45 ` Stefano Stabellini
2024-06-17 8:57 ` [XEN PATCH v2 2/6][RESEND] xen/self-tests: address violations of MISRA rule 20.7 Nicola Vetrini
2024-06-17 8:57 ` [XEN PATCH v2 3/6][RESEND] xen/guest_access: " Nicola Vetrini
2024-06-17 8:57 ` [XEN PATCH v2 4/6][RESEND] automation/eclair_analysis: address violations of MISRA C Rule 20.7 Nicola Vetrini
2024-06-21 0:20 ` Stefano Stabellini
2024-06-25 0:45 ` Stefano Stabellini
2024-06-17 8:57 ` [XEN PATCH v2 5/6][RESEND] x86/irq: " Nicola Vetrini
2024-06-17 8:57 ` [XEN PATCH v2 6/6][RESEND] automation/eclair_analysis: clean ECLAIR configuration scripts Nicola Vetrini
2024-06-21 1:24 ` Stefano Stabellini
2024-06-25 0:44 ` Stefano Stabellini
2024-06-25 0:47 ` [XEN PATCH v2 0/6][RESEND] address violations of MISRA C Rule 20.7 Stefano Stabellini
2024-06-25 6:39 ` Jan Beulich
2024-06-26 17:42 ` oleksii.kurochko
2024-06-27 1:22 ` Stefano Stabellini
2024-06-27 7:54 ` Jan Beulich
2024-06-27 9:44 ` oleksii.kurochko
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=cover.1718378539.git.nicola.vetrini@bugseng.com \
--to=nicola.vetrini@bugseng.com \
--cc=andrew.cooper3@citrix.com \
--cc=ayan.kumar.halder@amd.com \
--cc=cardoe@cardoe.com \
--cc=consulting@bugseng.com \
--cc=george.dunlap@citrix.com \
--cc=jbeulich@suse.com \
--cc=julien@xen.org \
--cc=michal.orzel@amd.com \
--cc=simone.ballarin@bugseng.com \
--cc=sstabellini@kernel.org \
--cc=xen-devel@lists.xenproject.org \
--cc=xenia.ragiadakou@amd.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.