From nobody Thu Dec 18 08:13:32 2025 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; dkim=pass; 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; arc=pass (i=1 dmarc=pass fromdomain=bugseng.com); dmarc=pass(p=none dis=none) header.from=bugseng.com ARC-Seal: i=2; a=rsa-sha256; t=1765843959; cv=pass; d=zohomail.com; s=zohoarc; b=B/FKh65zeqxIs28fYLWWTVK1c9zcUVB+unnPjPzEYgpoEUcTEkoD8w4mWs2njuD31rD5eeTmLU175TpJ2yxnXKwJ/MaZyekWJJZnE1NCPT1KqfSO9I7roAvLQ/n0dqUX3wXBmDnuEHap/y85JS9z5KVmwsfm4czr0Zn+vbBHeYQ= ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1765843959; h=Content-Transfer-Encoding:Cc:Cc:Date:Date:From:From:List-Subscribe:List-Post:List-Id:List-Help:List-Unsubscribe:MIME-Version:Message-ID:Sender:Subject:Subject:To:To:Message-Id:Reply-To; bh=0wvIjzYU8DB2Ky+MSUIQO68qxDoQ24PdTMnMJPEjtu4=; b=bvQZ4h6pBh7zwkNEcOyvtSb2fKX3hAHfdfDDi067ZksdfT3RIVjxKli9CxSsnKrQRlaHAtH8wccl3IOPen/ERfrCHH5jKsRbqgkYB/su7wjO5/GbN5VyHsM4eQCVQjHBTGlhS1X6KYWAdXtHIWuA0hTxG+qfZNi3hKmPbOMsA5Y= ARC-Authentication-Results: i=2; mx.zohomail.com; dkim=pass; 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; arc=pass (i=1 dmarc=pass fromdomain=bugseng.com); dmarc=pass header.from= (p=none dis=none) Return-Path: Received: from lists.xenproject.org (lists.xenproject.org [192.237.175.120]) by mx.zohomail.com with SMTPS id 1765843958996122.90306622046614; Mon, 15 Dec 2025 16:12:38 -0800 (PST) Received: from list by lists.xenproject.org with outflank-mailman.1187590.1508944 (Exim 4.92) (envelope-from ) id 1vVIfN-0001aV-1d; Tue, 16 Dec 2025 00:11:49 +0000 Received: by outflank-mailman (output) from mailman id 1187590.1508944; Tue, 16 Dec 2025 00:11:49 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1vVIfM-0001aO-U6; Tue, 16 Dec 2025 00:11:48 +0000 Received: by outflank-mailman (input) for mailman id 1187590; Tue, 16 Dec 2025 00:11:46 +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 1vVIfK-0001ZT-9N for xen-devel@lists.xenproject.org; Tue, 16 Dec 2025 00:11:46 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id cb387576-da13-11f0-b15b-2bf370ae4941; Tue, 16 Dec 2025 01:11:39 +0100 (CET) Received: from nico.tail79467d.ts.net (93-44-185-214.ip98.fastwebnet.it [93.44.185.214]) (Authenticated sender: nicola) by support.bugseng.com (Postfix) with ESMTPSA id 3AA8E4EE7F04; Tue, 16 Dec 2025 01:11:35 +0100 (CET) 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: cb387576-da13-11f0-b15b-2bf370ae4941 Authentication-Results: bugseng.com; arc=none smtp.remote-ip=93.44.185.214 ARC-Seal: i=1; d=bugseng.com; s=openarc; a=rsa-sha256; cv=none; t=1765843898; b=jFOprYsa4t6Yr1bge1vwFGIjjFV6q+SMisTuFubh+YEf6xFtZtRgsggfwLQbbLqt0nvz TaERSrLSnx3Oj2CRBq6xiFkR6w8jxAngBxmLNomPVZ4g8IFMRGlxCQ7siDz9wqHYCWytA gU/zavhefXG+05BJQ8ZXLVDh2lAxJRjyJbiV/3gApyJzqm6Y72dtFqJhMkne1fLhrJWcG u3ZzW3b+NonVbCg5wFIEPIPOwjc2Gfco2vow+lnlVIujQRprVXXLew/TWtaGiQiJvXIcl Tbf6+oBwH5/5yDhO2rNdu0uNSfouDL7mfRMzWbkGbvi/juX9XkJoJR4C77Zj9PuuU3gAI AlxKCk5qSjD2ZWU3q+2DbYm0SFI8lFoDSyZGn4OQ3cGlyxDWXYsConYu4vx1PDScZtUZ6 GuQue9TFR7EKLW7Jq4PD54Iza+m1f4RmJZR3zAAYJd/apSfKigwNrXZEYid+2Qb19daeG wVXHzFjDImGDX4H0hAcHeEL928HYHrzanI7p/lkpc/kO25mUnSD3e3QfBnR4B8Nkjk0fN Btz6Cgivm7dyWzK9QmvFKwofxc44JzECbKZ1sC/CMV9A2Wk8Rn+GM+zlmbPKRajCaS5rH Md0KhkShqKGckflByruBE/AplXEDTaNoPoYFHZHeHqoqCofFcUID6IhcmwYuQvo= ARC-Message-Signature: i=1; d=bugseng.com; s=openarc; a=rsa-sha256; c=relaxed/relaxed; t=1765843898; h=DKIM-Signature:From:To:Cc:Subject:Date:Message-ID:X-Mailer: MIME-Version:Content-Transfer-Encoding; bh=0wvIjzYU8DB2Ky+MSUIQO68qxDoQ24PdTMnMJPEjtu4=; b=MMd+Y0/Lse0S3beJlRb7zw6gxooMGCB/+jJhmEcJcTDxF5k8iy70czCfKB9Lwoiwd1RN 3760l8b4EKQh4uyJgNeXqPWlPuO8GllypYeGIS0jN0bmpP9CT/o8WlQbbhpl2C3uN5WLs sqJFAJt4FzqFlvQc2iv8S6yWxt4ificOePwJcKHyMXMDBFWSY0HtQ9YKXntHAt7XXreCx UfgmyIUklbMjWvKweTwuXDMUDBvOS1oR7dwhZCCjR6o2Gb4u+zJ6et46Qojcl1YcMmuE3 NJE3QEb6TqOCFTyWZv/qAZjuYU2/Jb/8MgFGfxdUKsZw9ubCqZCemeRLlRbOkSWoEOLNI nNxHoro9jQvehlJZqbLRolFhqQQw1Y+gfQCIkuHDT1gibv+KjE5qZeZDtHWoP4k7+iAey zCwkLbEMEl9CeHFS2eWzKfViQ8xjJx24DTQ4UgTFWGDH8fBHaxy4JTh5Ha2Txz72gH3RU 5hS9eU8oTyH9kSPTX5hIkpTy3kuZF9BbFu2rOFLQzjV24bDjSIY+zbGeMreC+zS3tSgdY vevFEgYza7cf/epsIP18RraZIigpxISf29VFIlZN+XrdKWgFWmCoWXadTl7YPldTzxm1a M0cpH7xumMEcOwSpsJIL/rxJC03ntMmsUtfSt+AYRUVUs1TrtXVDAm0Cu34G240= ARC-Authentication-Results: i=1; bugseng.com; arc=none smtp.remote-ip=93.44.185.214 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=bugseng.com; s=mail; t=1765843898; bh=+zYNMMj0QZZurjKyyiRrhQ4bPdUSpZuE+qDfLVgXSsE=; h=From:To:Cc:Subject:Date:From; b=hdLtm8b6Hm/hUpbnS+TvP3ISFL0ZU/i0Mf6Nod+/UoK5OV1/E+p5VD8ZVFSGgYfN5 aPjCEmXXVGfDnXIXviPHIjPhC0+C40SYbnvdEgSRR1MoodBB6957zZMwwsGJoq5ZlD VYWC1TUhbB5CXK4mW6hozB/EbfqywaTA4cViQOvAdO4Pv0yfjOa80zHhjSYIraM624 VhaEorOM5A/owzZ3O6dxOe8Dq7/5BUdzjA44Vui7Ary6s4Cnvw7n1PFI+49jMjErw0 SFN23n5NRVmhi71aTfZQBAPGQOV/LjJ7NqIA7pm/IBpVDvQKfGPZzq6BczWD5r1+VR bXRLL51IS7Y9g== From: Nicola Vetrini To: xen-devel@lists.xenproject.org Cc: sstabellini@kernel.org, consulting@bugseng.com, Nicola Vetrini , Doug Goldstein , Andrew Cooper , Anthony PERARD , Michal Orzel , Jan Beulich , Julien Grall , =?UTF-8?q?Roger=20Pau=20Monn=C3=A9?= Subject: [XEN PATCH] misra: add deviation of Rule 5.6 for shadow paging code Date: Tue, 16 Dec 2025 01:11:29 +0100 Message-ID: X-Mailer: git-send-email 2.43.0 MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-ZohoMail-DKIM: pass (identity @bugseng.com) X-ZM-MESSAGEID: 1765843961680158500 Content-Type: text/plain; charset="utf-8" The rule headline states: "A typedef name shall be a unique identifier". in x86/mm/shadow/multi.c the typedef names for `guest_va_t` and `guest_pa_t` are deliberately reused multiple times due to the file being included with different GUEST_PAGING_LEVELS. As a result, a deviation for the rule is introduced. No functional change. Signed-off-by: Nicola Vetrini --- CI pipeline: https://gitlab.com/xen-project/people/bugseng/xen/-/pipelines/= 2216437709 --- automation/eclair_analysis/ECLAIR/deviations.ecl | 5 +++++ docs/misra/deviations.rst | 2 ++ 2 files changed, 7 insertions(+) diff --git a/automation/eclair_analysis/ECLAIR/deviations.ecl b/automation/= eclair_analysis/ECLAIR/deviations.ecl index 219ba6993b90..86e782da3f12 100644 --- a/automation/eclair_analysis/ECLAIR/deviations.ecl +++ b/automation/eclair_analysis/ECLAIR/deviations.ecl @@ -143,6 +143,11 @@ number of guest paging levels." -config=3DMC3A2.R5.6,reports+=3D{deliberate,"any_area(any_loc(file(^xen/ar= ch/x86/include/asm/guest_pt\\.h$)))&&any_area(any_loc(text(^.*(guest_intpte= _t|guest_l[12]e_t).*$)))"} -doc_end =20 +-doc_begin=3D"On X86 shadow paging code, the types \"guest_(va|pa)_t\" are= deliberately +defined multiple times, depending on the number of guest paging levels." +-config=3DMC3A2.R5.6,reports+=3D{deliberate,"any_area(any_loc(file(^xen/ar= ch/x86/mm/shadow/multi\\.c$)))&&any_area(any_loc(text(^typedef.*guest_(va|p= a)_t.*$)))"} +-doc_end + -doc_begin=3D"The following files are imported from the gnu-efi package." -file_tag+=3D{adopted_r5_6,"^xen/include/efi/.*$"} -file_tag+=3D{adopted_r5_6,"^xen/arch/.*/include/asm/.*/efibind\\.h$"} diff --git a/docs/misra/deviations.rst b/docs/misra/deviations.rst index b3431ef24e26..7f877142109d 100644 --- a/docs/misra/deviations.rst +++ b/docs/misra/deviations.rst @@ -187,6 +187,8 @@ Deviations related to MISRA C:2012 Rules: - Tagged as `deliberate` for ECLAIR. Such types are: - guest_intpte_t - guest_l[12]e_t + - guest_va_t + - guest_pa_t =20 * - R5.6 - Some files are not subject to respect MISRA rules at --=20 2.43.0