From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org Received: from lists.xenproject.org (lists.xenproject.org [192.237.175.120]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.lore.kernel.org (Postfix) with ESMTPS id EF503FD5F98 for ; Wed, 8 Apr 2026 09:46:17 +0000 (UTC) Received: from list by lists.xenproject.org with outflank-mailman.1275554.1561338 (Exim 4.92) (envelope-from ) id 1wAPU9-00013y-Iq; Wed, 08 Apr 2026 09:46:09 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 1275554.1561338; Wed, 08 Apr 2026 09:46:09 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1wAPU9-00013r-Fp; Wed, 08 Apr 2026 09:46:09 +0000 Received: by outflank-mailman (input) for mailman id 1275554; Wed, 08 Apr 2026 09:46:08 +0000 Received: from mx.expurgate.net ([195.190.135.10]) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1wAPU8-00012V-7m for xen-devel@lists.xenproject.org; Wed, 08 Apr 2026 09:46:08 +0000 Received: from mx.expurgate.net (helo=localhost) by mx.expurgate.net with esmtp id 1wAPU7-004ggW-Ii for xen-devel@lists.xenproject.org; Wed, 08 Apr 2026 11:46:07 +0200 Received: from [10.42.69.4] (helo=localhost) by localhost with ESMTP (eXpurgate MTA 0.9.1) (envelope-from ) id 69d623dd-5cb7-0a2a0a5109dd-0a2a4504a398-8 for ; Wed, 08 Apr 2026 11:46:07 +0200 Received: from [162.55.131.47] (helo=support.bugseng.com) by tlsNG-ebf023.mxtls.expurgate.net with ESMTPS (eXpurgate 4.56.0) (envelope-from ) id 69d623df-bb33-0a2a45040019-a237832f9b02-3 for ; Wed, 08 Apr 2026 11:46:07 +0200 Received: from support.bugseng.com (support.bugseng.com [162.55.131.47]) (Authenticated sender: nicola) by support.bugseng.com (Postfix) with ESMTPA id 14C154EE3C0D; Wed, 8 Apr 2026 11:46:07 +0200 (CEST) X-BeenThere: xen-devel@lists.xenproject.org List-Id: Xen developer discussion List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: xen-devel-bounces@lists.xenproject.org Precedence: list Sender: "Xen-devel" Authentication-Results: eu.smtp.expurgate.cloud; none Authentication-Results: bugseng.com; arc=none smtp.remote-ip=162.55.131.47 ARC-Seal: i=1; d=bugseng.com; s=openarc; a=rsa-sha256; cv=none; t=1775641567; b=JGjmYZyOAsbwuiMD6FjKmlW9mfxp0Xd5VNrZ2Ehc+hZJX81lpWJHN47hzBf1btyS28KF 35zzqMAohzPTt2kUbMY+KIF55ygDPJm4j+ACyXnby1ZEQsC8EfO0NJ4b6I8pNdV+HzGJZ aEbSrkUTbsLe6VSXm4iSv7HW11juSu493f9oApy/KXiip+djaHFk86KqNcenqVfo+DhEP hPR3Hv9uYmew/sZbQLt9J17mUos3z1n3nX1NfOuQKa3yS6TqnBFAT3M4XVNrMA3tpneMl imw8dCG3xDkIyqXPJTOyYbD7Ch5PZkxc7qifDdMzM44T+Zrg2T665LNQnRmq8E6FIq25g 2qxD0/PIdx6QysWeoZI1W0BBV0EWqqmjIwX1IR1sZYhUwMdaUwgwgTyra9Ng90qqBzuil ccapBQeu2HGAJdulVU26bn/s8tgpWgaulOg8GwHqBm5d1qyqicObtU3JRkFGMhTz20W9P 0CHPPEhhmthZEBXTETayArgVfit42/iL6XZZq2p5hy0lX4QwproFtdjYktI2AoHXnf/aB pGsigGGqcFK0qCpRJ7yyek7J0o9ofBw3cssCDHnI2iKbFNvH7drzD0iXA4ddaY5wBXVIG nHech8r348uFvGojvBFG+TkW/AC/pUBuVS/mZuLn+crS+lolJvV/xzKKJcB8pr4= ARC-Message-Signature: i=1; d=bugseng.com; s=openarc; a=rsa-sha256; c=relaxed/relaxed; t=1775641567; h=MIME-Version:Date:From:To:Cc:Subject:In-Reply-To:References: Message-ID:X-Sender:Organization:Content-Type: Content-Transfer-Encoding; bh=o8pjVGQOPOGXPvv25UbA6zDoKtK4aRmloMG823Xxr4U=; b=WI0IRWj82rjflsWEmcNDF/GDafBVAhBkCM51CwGy49S4crzcy7tJbX/juT+tgHHaSDSf RgHzcqQr1cR6+X2Ax3LXNVHDiVgUW7JpIXDHTnTajPVEZoBUdLjaqrE+IV/dJraP/R9Bq KWB0tCLJSCzwyk4/xIbmZgJpGHWwbdr2g7qCSAVuAcFN1bwYU2M8cVHsk2f3WIGbTawP6 IWMbzMxzWg2cfZLUUmqrJ6GVtmA9xHhTJcUl9qF6bBL+C9rHUbHNz9sg3mzSNvuQdaOk4 YvMQpoF9nbbf4xOux/zOOeinxaHTr2iC0OkS6C13TyHEOL8lBCVEcNJ2tIqB6Afu4t+Ld mAddu0scRYd1Mn+Q0eBM2A4atUbtdkqzbVZbCxeASE00he4MV34/WTcsr3X5fsyW6UII9 rflSJtoSZ+/8+cupLoWQHL0Z4rQ4VzPRhyuHDhmFcxY2OUhHXGfWsM9NOJNsYTcGlo48T V7ksOkv0EwxTEtouIdmj/lW0kmd2vh2GE4pWCk7l1R5vDOwjR871p+rv1w3Tqr9WXsz0O +DK3oc3ZrD2VyjBQpUYHpsWmeECXNuzEJ+pn5FjQOJWJL1etppF1tE8kU2v1zB/uq7Z6b WwEyhyR2zW0nd0s4IqEy8Qs67dr+1gKUC13adtcJn5JNT0omBiloe5pZ41qXfAU= ARC-Authentication-Results: i=1; bugseng.com; arc=none smtp.remote-ip=162.55.131.47 MIME-Version: 1.0 Date: Wed, 08 Apr 2026 11:46:07 +0200 From: Nicola Vetrini To: Andrew Cooper , Michal Orzel Cc: xen-devel@lists.xenproject.org, Julien Grall , Rahul Singh , Stefano Stabellini , Bertrand Marquis , Volodymyr Babchuk Subject: Re: [PATCH 0/2] Final series to make Arm MISRA allcode green In-Reply-To: <68cea196-efdc-4481-9e4b-bb450bcd2071@citrix.com> References: <20260407103434.90838-1-michal.orzel@amd.com> <68cea196-efdc-4481-9e4b-bb450bcd2071@citrix.com> Message-ID: X-Sender: nicola.vetrini@bugseng.com Organization: BUGSENG s.r.l. Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit X-purgate-ID: tlsNG-ebf023/1775641567-3172251B-88AE9EBC/0/0 X-purgate-type: clean X-purgate-size: 896 On 2026-04-08 11:22, Andrew Cooper wrote: > On 07/04/2026 11:34 am, Michal Orzel wrote: >> No more regressions for clean guidelines: >> https://gitlab.com/xen-project/people/morzel/xen/-/pipelines/2433943072 >> >> Michal Orzel (2): >> iommu/arm: smmu: Fix variable shadowing >> iommu/arm: ipmmu-vmsa: Fix variable shadowing >> >> xen/drivers/passthrough/arm/ipmmu-vmsa.c | 6 ++---- >> xen/drivers/passthrough/arm/smmu.c | 7 +++---- >> 2 files changed, 5 insertions(+), 8 deletions(-) > > If all the violations are fixed, should this test be made blocking? > > ~Andrew Only if they are also clean on x86; otherwise an arm-specific list of clean rules should be made (probably better). @Michal what do you prefer? -- Nicola Vetrini, B.Sc. Software Engineer BUGSENG (https://bugseng.com) LinkedIn: https://www.linkedin.com/in/nicola-vetrini-a42471253