From patchwork Fri Sep 1 16:34:18 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Nicola Vetrini X-Patchwork-Id: 13372743 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 B4748CA0FE1 for ; Fri, 1 Sep 2023 16:34:52 +0000 (UTC) Received: from list by lists.xenproject.org with outflank-mailman.594676.928091 (Exim 4.92) (envelope-from ) id 1qc76Y-0002SH-Mk; Fri, 01 Sep 2023 16:34:42 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 594676.928091; Fri, 01 Sep 2023 16:34:42 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1qc76Y-0002SA-IB; Fri, 01 Sep 2023 16:34:42 +0000 Received: by outflank-mailman (input) for mailman id 594676; Fri, 01 Sep 2023 16:34:41 +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 1qc76X-0001xc-7V for xen-devel@lists.xenproject.org; Fri, 01 Sep 2023 16:34:41 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 6fa1c190-48e5-11ee-9b0d-b553b5be7939; Fri, 01 Sep 2023 18:34:35 +0200 (CEST) Received: from nico.bugseng.com (unknown [147.123.100.131]) by support.bugseng.com (Postfix) with ESMTPSA id E5B5D4EE0737; Fri, 1 Sep 2023 18:34:33 +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: 6fa1c190-48e5-11ee-9b0d-b553b5be7939 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 , Wei Liu , Bertrand Marquis , Volodymyr Babchuk , =?utf-8?q?Roger_Pau_Monn?= =?utf-8?q?=C3=A9?= , Simone Ballarin , Doug Goldstein Subject: [XEN PATCH 0/2] xen: deviate asm-only definitions for Rule 8.4 Date: Fri, 1 Sep 2023 18:34:18 +0200 Message-Id: X-Mailer: git-send-email 2.34.1 MIME-Version: 1.0 As stated in 'docs/misra/rules.rst' the community decided to deviate from Rule 8.4 whereby the definitions concern entities that are only used in asm modules. The chosen deviation mechanism is that of textual deviations, through the use of /* SAF-n-safe */ comments. Deviating variables needs more care, and is therefore postponed to another patch. Nicola Vetrini (2): xen: apply deviation for Rule 8.4 (asm-only definitions) automation: execute SAF translation before the analysis with ECLAIR automation/eclair_analysis/prepare.sh | 3 +++ docs/misra/safe.json | 8 ++++++++ xen/arch/arm/cpuerrata.c | 1 + xen/arch/arm/setup.c | 1 + xen/arch/arm/smpboot.c | 1 + xen/arch/arm/traps.c | 7 +++++++ xen/arch/x86/boot/cmdline.c | 1 + xen/arch/x86/boot/reloc.c | 1 + xen/arch/x86/extable.c | 4 ++-- xen/arch/x86/mm.c | 1 + xen/arch/x86/setup.c | 2 ++ xen/arch/x86/traps.c | 9 +++++++++ xen/common/efi/boot.c | 5 +++-- 13 files changed, 40 insertions(+), 4 deletions(-) --- 2.34.1