From nobody Mon Feb 9 00:46:11 2026 Delivered-To: importer@patchew.org Received-SPF: pass (zohomail.com: domain of lists.xenproject.org designates 192.237.175.120 as permitted sender) client-ip=192.237.175.120; envelope-from=xen-devel-bounces@lists.xenproject.org; helo=lists.xenproject.org; Authentication-Results: mx.zohomail.com; spf=pass (zohomail.com: domain of lists.xenproject.org designates 192.237.175.120 as permitted sender) smtp.mailfrom=xen-devel-bounces@lists.xenproject.org Return-Path: Received: from lists.xenproject.org (lists.xenproject.org [192.237.175.120]) by mx.zohomail.com with SMTPS id 1693233033259908.7639639357066; Mon, 28 Aug 2023 07:30:33 -0700 (PDT) Received: from list by lists.xenproject.org with outflank-mailman.591524.923996 (Exim 4.92) (envelope-from ) id 1qadFs-0004b6-6a; Mon, 28 Aug 2023 14:30:12 +0000 Received: by outflank-mailman (output) from mailman id 591524.923996; Mon, 28 Aug 2023 14:30:12 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1qadFr-0004XZ-Rq; Mon, 28 Aug 2023 14:30:11 +0000 Received: by outflank-mailman (input) for mailman id 591524; Mon, 28 Aug 2023 13:20:35 +0000 Received: from se1-gles-sth1-in.inumbo.com ([159.253.27.254] helo=se1-gles-sth1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1qacAV-00031h-FS for xen-devel@lists.xenproject.org; Mon, 28 Aug 2023 13:20:35 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id ab949e26-45a5-11ee-8783-cb3800f73035; Mon, 28 Aug 2023 15:20:34 +0200 (CEST) Received: from beta.station (net-93-66-137-131.cust.vodafonedsl.it [93.66.137.131]) by support.bugseng.com (Postfix) with ESMTPSA id 073734EE0739; Mon, 28 Aug 2023 15:20:33 +0200 (CEST) X-Outflank-Mailman: Message body and most headers restored to incoming version 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: ab949e26-45a5-11ee-8783-cb3800f73035 From: Simone Ballarin To: xen-devel@lists.xenproject.org Cc: consulting@bugseng.com, sstabellini@kernel.org, Simone Ballarin , Andrew Cooper , George Dunlap , Jan Beulich , Julien Grall , Wei Liu Subject: [XEN PATCH 13/13] x86/asm: address violations of MISRA C:2012 Directive 4.10 Date: Mon, 28 Aug 2023 15:20:10 +0200 Message-Id: <7af1f690e486e2872a645463b4ec9d4b07a6c23a.1693228255.git.simone.ballarin@bugseng.com> X-Mailer: git-send-email 2.34.1 In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-ZM-MESSAGEID: 1693233033975100003 Content-Type: text/plain; charset="utf-8" Amend generation script to address a violation of MISRA C:2012 Directive 4.10 ("Precautions shall be taken in order to prevent the contents of a header file being included more than once"). This patch adds a special comment to the beginning of the header to make it explicit that the file is generated automatically. The comment is recognized by ECLAIR and will cause the deviation of the violation. Signed-off-by: Simone Ballarin --- xen/tools/compat-xlat-header.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/xen/tools/compat-xlat-header.py b/xen/tools/compat-xlat-header= .py index 2b805b23a8..9e336277ac 100644 --- a/xen/tools/compat-xlat-header.py +++ b/xen/tools/compat-xlat-header.py @@ -406,6 +406,8 @@ def main(): line =3D line.strip() header_tokens +=3D re_tokenazier.split(line) =20 + print("/* Generated file, do not edit! */") + with open(sys.argv[2]) as compat_list: for line in compat_list: words =3D re_tokenazier.split(line, maxsplit=3D1) --=20 2.34.1