From: "Roger Pau Monné" <roger.pau@citrix.com>
To: Nicola Vetrini <nicola.vetrini@bugseng.com>
Cc: Oleksii Kurochko <oleksii.kurochko@gmail.com>,
xen-devel@lists.xenproject.org,
Simone Ballarin <simone.ballarin@bugseng.com>,
Doug Goldstein <cardoe@cardoe.com>,
Stefano Stabellini <sstabellini@kernel.org>,
Andrew Cooper <andrew.cooper3@citrix.com>
Subject: Re: [PATCH v2 2/2] automation/eclair: make Misra rule 20.7 blocking for x86 also
Date: Tue, 14 Jan 2025 12:39:08 +0100 [thread overview]
Message-ID: <Z4ZM3Er9dxqiUPNo@macbook.local> (raw)
In-Reply-To: <54a6f4337e2f9bfc1f295b3c1e9a0897@bugseng.com>
On Tue, Jan 14, 2025 at 12:24:30PM +0100, Nicola Vetrini wrote:
> On 2025-01-14 12:22, Roger Pau Monné wrote:
> > Hello Oleksii,
> >
> > This is in principle ready to go in now (I'm currently running a
> > private Eclair scan to ensure the patch is still OK against current
> > staging). I would like to ask for a release Ack.
> >
>
> One nit below, which I overlooked initially
>
> > Thanks, Roger.
> >
> > On Tue, Nov 26, 2024 at 10:35:08AM +0100, Roger Pau Monne wrote:
> > > There are no violations left, make the rule globally blocking for
> > > both x86 and
> > > ARM.
> > >
> > > Signed-off-by: Roger Pau Monné <roger.pau@citrix.com>
> > > Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
> > > ---
> > > automation/eclair_analysis/ECLAIR/tagging.ecl | 3 ++-
> > > 1 file changed, 2 insertions(+), 1 deletion(-)
> > >
> > > diff --git a/automation/eclair_analysis/ECLAIR/tagging.ecl
> > > b/automation/eclair_analysis/ECLAIR/tagging.ecl
> > > index 755ea3271fc9..cb4e233e838d 100644
> > > --- a/automation/eclair_analysis/ECLAIR/tagging.ecl
> > > +++ b/automation/eclair_analysis/ECLAIR/tagging.ecl
> > > @@ -80,6 +80,7 @@ MC3R1.R20.2||
> > > MC3R1.R20.3||
> > > MC3R1.R20.4||
> > > MC3R1.R20.6||
> > > +MC3R1.R20.7||
> > > MC3R1.R20.9||
> > > MC3R1.R20.11||
> > > MC3R1.R20.12||
> > > @@ -116,7 +117,7 @@ if(string_equal(target,"x86_64"),
> > > )
>
> this hunk will not apply because it uses MC3R1, rather than MC3R2. Should be
> an easy fix.
>
> > >
> > > if(string_equal(target,"arm64"),
> > > - service_selector({"additional_clean_guidelines","MC3R1.R2.1||MC3R1.R5.3||MC3.R11.2||MC3R1.R16.6||MC3R1.R20.7"})
> > > + service_selector({"additional_clean_guidelines","MC3R1.R2.1||MC3R1.R5.3||MC3.R11.2||MC3R1.R16.6"})
> > > )
>
> here as well
Yeah indeed, I had to rebase the patch:
https://gitlab.com/xen-project/people/royger/xen/-/commit/538439d59dc338ee3861bf1bc056783671ba1fc2
Let's see if Eclair is happy with it, currently running a pipeline.
Thanks, Roger.
next prev parent reply other threads:[~2025-01-14 11:39 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-11-26 9:35 [PATCH v2 0/2] x86/misra: fix remaining violation of rule 20.7 Roger Pau Monne
2024-11-26 9:35 ` [PATCH v2 1/2] x86/uaccess: rework user access speculative harden guards Roger Pau Monne
2024-11-26 9:58 ` Jan Beulich
2024-11-27 11:01 ` Nicola Vetrini
2025-01-04 0:20 ` Stefano Stabellini
2025-01-09 7:58 ` Nicola Vetrini
2025-01-09 23:57 ` Stefano Stabellini
2025-01-10 8:29 ` Roger Pau Monné
2025-01-10 8:56 ` Nicola Vetrini
2025-01-14 8:03 ` Nicola Vetrini
2024-11-26 9:35 ` [PATCH v2 2/2] automation/eclair: make Misra rule 20.7 blocking for x86 also Roger Pau Monne
2025-01-14 11:22 ` Roger Pau Monné
2025-01-14 11:24 ` Nicola Vetrini
2025-01-14 11:39 ` Roger Pau Monné [this message]
2025-01-14 11:51 ` 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=Z4ZM3Er9dxqiUPNo@macbook.local \
--to=roger.pau@citrix.com \
--cc=andrew.cooper3@citrix.com \
--cc=cardoe@cardoe.com \
--cc=nicola.vetrini@bugseng.com \
--cc=oleksii.kurochko@gmail.com \
--cc=simone.ballarin@bugseng.com \
--cc=sstabellini@kernel.org \
--cc=xen-devel@lists.xenproject.org \
/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.