From patchwork Wed Jun 26 13:28:46 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Nicola Vetrini X-Patchwork-Id: 13712926 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 49405C3065A for ; Wed, 26 Jun 2024 13:29:18 +0000 (UTC) Received: from list by lists.xenproject.org with outflank-mailman.748854.1156781 (Exim 4.92) (envelope-from ) id 1sMSht-00031x-Ji; Wed, 26 Jun 2024 13:29:05 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 748854.1156781; Wed, 26 Jun 2024 13:29:05 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1sMSht-00031q-FL; Wed, 26 Jun 2024 13:29:05 +0000 Received: by outflank-mailman (input) for mailman id 748854; Wed, 26 Jun 2024 13:29:04 +0000 Received: from se1-gles-flk1-in.inumbo.com ([94.247.172.50] helo=se1-gles-flk1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1sMShs-00030P-H3 for xen-devel@lists.xenproject.org; Wed, 26 Jun 2024 13:29:04 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 0d586a00-33c0-11ef-b4bb-af5377834399; Wed, 26 Jun 2024 15:29:02 +0200 (CEST) Received: from nico.bugseng.com (unknown [46.228.253.214]) by support.bugseng.com (Postfix) with ESMTPSA id 8C0B84EE073D; Wed, 26 Jun 2024 15:29:00 +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" X-Inumbo-ID: 0d586a00-33c0-11ef-b4bb-af5377834399 From: Nicola Vetrini 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 , Andrew Cooper , George Dunlap , Jan Beulich , Julien Grall , Simone Ballarin , Doug Goldstein , =?utf-8?q?Roger_Pau_Monn=C3=A9?= Subject: [XEN PATCH v2 for-4.20 0/7] address several violations of MISRA Rule 20.7 Date: Wed, 26 Jun 2024 15:28:46 +0200 Message-Id: X-Mailer: git-send-email 2.34.1 MIME-Version: 1.0 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: - Patch 7 is new to this series Nicola Vetrini (7): 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 x86/traps: address violations of MISRA C Rule 20.7 automation/eclair_analysis/ECLAIR/analyze.sh | 3 +-- automation/eclair_analysis/ECLAIR/deviations.ecl | 6 ++++-- docs/misra/deviations.rst | 3 ++- docs/misra/safe.json | 8 ++++++++ xen/arch/x86/traps.c | 2 +- xen/include/xen/bitmap.h | 3 +++ xen/include/xen/guest_access.h | 4 ++-- xen/include/xen/irq.h | 2 +- xen/include/xen/self-tests.h | 8 ++++---- 9 files changed, 26 insertions(+), 13 deletions(-)