[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH 0/2] Final series to make Arm MISRA allcode green


  • To: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>, Michal Orzel <michal.orzel@xxxxxxx>
  • From: Nicola Vetrini <nicola.vetrini@xxxxxxxxxxx>
  • Date: Wed, 08 Apr 2026 11:46:07 +0200
  • Arc-authentication-results: i=1; bugseng.com; arc=none smtp.remote-ip=162.55.131.47
  • 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-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=
  • Authentication-results: eu.smtp.expurgate.cloud; none
  • Authentication-results: bugseng.com; arc=none smtp.remote-ip=162.55.131.47
  • Cc: xen-devel@xxxxxxxxxxxxxxxxxxxx, Julien Grall <julien@xxxxxxx>, Rahul Singh <rahul.singh@xxxxxxx>, Stefano Stabellini <sstabellini@xxxxxxxxxx>, Bertrand Marquis <bertrand.marquis@xxxxxxx>, Volodymyr Babchuk <Volodymyr_Babchuk@xxxxxxxx>
  • Delivery-date: Wed, 08 Apr 2026 09:46:09 +0000
  • List-id: Xen developer discussion <xen-devel.lists.xenproject.org>

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



 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.