From mboxrd@z Thu Jan 1 00:00:00 1970 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 92D5ACD4851 for ; Thu, 14 May 2026 05:13:47 +0000 (UTC) Received: from list by lists.xenproject.org with outflank-mailman.1308654.1580024 (Exim 4.92) (envelope-from ) id 1wNOO7-0002DK-5a; Thu, 14 May 2026 05:13:35 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 1308654.1580024; Thu, 14 May 2026 05:13:35 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1wNOO7-0002DB-1m; Thu, 14 May 2026 05:13:35 +0000 Received: by outflank-mailman (input) for mailman id 1308654; Thu, 14 May 2026 05:13:34 +0000 Received: from mx.expurgate.net ([195.190.135.10]) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1wNOO6-0002Cz-0O for xen-devel@lists.xenproject.org; Thu, 14 May 2026 05:13:34 +0000 Received: from mx.expurgate.net (helo=localhost) by mx.expurgate.net with esmtp id 1wNOO2-00E6X3-DX for xen-devel@lists.xenproject.org; Thu, 14 May 2026 07:13:31 +0200 Received: from [10.42.69.2] (helo=localhost) by localhost with ESMTP (eXpurgate MTA 0.9.1) (envelope-from ) id 6a0559bf-bab6-0a2a0a5309dd-0a2a4502a652-46 for ; Thu, 14 May 2026 07:13:31 +0200 Received: from [162.55.131.47] (helo=support.bugseng.com) by tlsNG-720697.mxtls.expurgate.net with ESMTPS (eXpurgate 4.56.1) (envelope-from ) id 6a0559fb-af86-0a2a45020019-a237832fe72e-3 for ; Thu, 14 May 2026 07:13:31 +0200 Received: from support.bugseng.com (support.bugseng.com [162.55.131.47]) (Authenticated sender: nicola) by support.bugseng.com (Postfix) with ESMTPA id 936184EE3CC6; Thu, 14 May 2026 07:13:31 +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" Authentication-Results: eu.smtp.expurgate.cloud; none Authentication-Results: bugseng.com; arc=none smtp.remote-ip=162.55.131.47 ARC-Seal: i=1; d=bugseng.com; s=openarc; a=rsa-sha256; cv=none; t=1778735611; b=o4LYxBwvn6sKBJvvv8iC0km2iJEX+krdKHCzU5aDaBBep9QsB8gISDaJCSMWQjI7esSg xJNPhCaTBNidtBCQWuA5ofkBANRoVQ8u3EMzCh4ylGM3t/WK+4uXNYQDE+l51aqqknJfF VnPbh93zI4IhwuBZH7fH/GrL5rmU5jOSdHbvU9fMEvkAX+TWcbKT9EZwbY4kh5Ob3Poid h10tMllmS85UezQeOS3r+CyrkhyTKffjs05qJD8B2derQA4fr+6yhvWSTtc1ncdwqka3C 575jVJK9wRoQUyWhrJ5QRjiByU4VHtaIP32dFXKjGHCCgS8HgpdJi4jqFKrCVI9Zr/KnK j6GQsiCwh2mHYAExyeyB33Ntn9lY16WnoNUabVP8teAbnIyWWvT6zBWtRjmOlGmj7DadW UGhZ8duKtGohheCCZYDOexgW4HNNpyRnzM7fOT0un4wJ2x+Wkk+KbIslCO+xZHHon0dGM BBKZ2jzlEJPiT12UOP5XaBW9bcRarXjrkUWXBKx4ajXLi8tjZQ7cm8fdeMMiD2owTySHd tBV5KkUgZNR8JXPrD9bh9AELykA2dob6uzqnx4iaMrC1Mqd/YW58PDC0TcVZI7nlVF6hH gC3B/UZJsXTE607y5AK/hYZq56hiMHB/bFsA7QbbZGXLjUkyT3l5ll6ORuejCjE= ARC-Message-Signature: i=1; d=bugseng.com; s=openarc; a=rsa-sha256; c=relaxed/relaxed; t=1778735611; h=MIME-Version:Date:From:To:Cc:Subject:In-Reply-To:References: Message-ID:X-Sender:Organization:Content-Type: Content-Transfer-Encoding; bh=qMgjClQG4L0Cwyij0BS7SjO9YGLwjbCqLC4+pd/ehuY=; b=GCttkv0KgW4YdmwUkdmrlLifMbd8YYpGqHd27oKo+GVvu43M6huEpFy0dfkEwQVk3l0X C4Bq865lMTmPHUesbLaUo4c0xJ8xbUrAvCe2KtLdnXSLbf5q/X0zndBMzTQUm102yYjdQ S2ytP47WIrSNgIguRCAjufyMEqtdIQbfxrFKMcXk4ktOtN9aqUmKyBx45vm3zTRFbG6fx uBvoWDdERkFSa/0jAZrx2prgGGWEZFWOlZtjQ37wMU1NMHKRt4muzsSWEbyNTFStdiK5H iJyI3jWMNXr6nyquKdegO9si9nUq19lYwiCaanmgUndhb8ltRdsIdTu/5g5KpK/RT9aKr 3gvD3PnT81FfGrsir+TKuqVcUYv7RGL7CgcCNMCsDMBU6JQ6OkIP2JDJv5NVuHrPI8utH +WfUXw6rrDdrNqXwIvHNwQ6GchuIVyGrN/EsFfkc/3KjJLVj6GTy5sG9EhAomPLQ7/OcY q/SClOcmdw0Yi+cvhL4X7+9hHhqjql7/ZryoAK1CVJuhkA5B5hIaaZ8ZOmsLYEPf/anHp 6yg2WCMFJlB1h30RT38f4ca2ySKfeXbhq0MFFJZ07JhUTY57eXeGSDfe0MAfssQBkWqMq k456tILie2TqJcmMs4cuB19NZZrtchJMQFJiUInYLtNaCw0ccgbS/fEosYWH3Q8= ARC-Authentication-Results: i=1; bugseng.com; arc=none smtp.remote-ip=162.55.131.47 MIME-Version: 1.0 Date: Thu, 14 May 2026 07:13:31 +0200 From: Nicola Vetrini To: Jan Beulich Cc: xen-devel@lists.xenproject.org, Andrew Cooper , =?UTF-8?Q?Roger_Pau_Monn=C3=A9?= , Teddy Astie Subject: Re: [PATCH] x86/shadow: deviate guest_va_t wrt Misra C:2012 rule 5.6 In-Reply-To: <4c96b39c-ddfe-41ad-ae6c-3393dd4f9e90@suse.com> References: <4c96b39c-ddfe-41ad-ae6c-3393dd4f9e90@suse.com> Message-ID: X-Sender: nicola.vetrini@bugseng.com Organization: BUGSENG s.r.l. Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit X-purgate-ID: tlsNG-720697/1778735611-AB563161-AFF1F1CB/0/0 X-purgate-type: clean X-purgate-size: 1367 On 2026-05-13 13:48, Jan Beulich wrote: > ... ("A `typedef' name shall be a unique identifier"). Much like > already > done for guest_intpte_t and guest_l[12]e_t, but limited to > shadow/multi.c. > > Signed-off-by: Jan Beulich Reviewed-by: Nicola Vetrini > > --- a/automation/eclair_analysis/ECLAIR/deviations.ecl > +++ b/automation/eclair_analysis/ECLAIR/deviations.ecl > @@ -143,6 +143,11 @@ number of guest paging levels." > > -config=MC3A2.R5.6,reports+={deliberate,"any_area(any_loc(file(^xen/arch/x86/include/asm/guest_pt\\.h$)))&&any_area(any_loc(text(^.*(guest_intpte_t|guest_l[12]e_t).*$)))"} > -doc_end > > +-doc_begin="In x86 shadow code, the type \"guest_va_t\" is > deliberately defined > +multiple times, depending on the number of guest paging levels." > +-config=MC3A2.R5.6,reports+={deliberate,"any_area(any_loc(file(^xen/arch/x86/mm/shadow/multi\\.c$)))&&any_area(any_loc(text(^.*guest_va_t.*$)))"} > +-doc_end > + > -doc_begin="The following files are imported from the gnu-efi > package." > -file_tag+={adopted_r5_6,"^xen/include/efi/.*$"} > -file_tag+={adopted_r5_6,"^xen/arch/.*/include/asm/.*/efibind\\.h$"} -- Nicola Vetrini, B.Sc. Software Engineer BUGSENG (https://bugseng.com) LinkedIn: https://www.linkedin.com/in/nicola-vetrini-a42471253