From patchwork Wed Sep 6 11:09:07 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Nicola Vetrini X-Patchwork-Id: 13375534 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 B62DEEB8FB6 for ; Wed, 6 Sep 2023 11:09:40 +0000 (UTC) Received: from list by lists.xenproject.org with outflank-mailman.596482.930397 (Exim 4.92) (envelope-from ) id 1qdqPX-0005ID-P9; Wed, 06 Sep 2023 11:09:27 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 596482.930397; Wed, 06 Sep 2023 11:09:27 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1qdqPX-0005I6-MM; Wed, 06 Sep 2023 11:09:27 +0000 Received: by outflank-mailman (input) for mailman id 596482; Wed, 06 Sep 2023 11:09:26 +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 1qdqPW-0005Hp-PF for xen-devel@lists.xenproject.org; Wed, 06 Sep 2023 11:09:26 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id d641daeb-4ca5-11ee-9b0d-b553b5be7939; Wed, 06 Sep 2023 13:09:24 +0200 (CEST) Received: from nico.bugseng.com (unknown [147.123.100.131]) by support.bugseng.com (Postfix) with ESMTPSA id B07CD4EE0737; Wed, 6 Sep 2023 13:09:22 +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: d641daeb-4ca5-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 v2 0/2] xen: deviate asm-only function definitions for Rule 8.4 Date: Wed, 6 Sep 2023 13:09:07 +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. The deviation of variables is postponed to a future 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/setup.c | 1 + xen/arch/x86/traps.c | 9 +++++++++ xen/common/efi/boot.c | 5 +++-- 12 files changed, 38 insertions(+), 4 deletions(-) --- 2.34.1