From nobody Mon Nov 3 18:32:01 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; dmarc=pass(p=none dis=none) header.from=bugseng.com ARC-Seal: i=1; a=rsa-sha256; t=1725962982; cv=none; d=zohomail.com; s=zohoarc; b=RdCIhtNd1HbIpoWWFysr0vntOCZiZzeO5laYn8gr5IZF9i1ilCOlkFUW8W+gYs28oI82iK2Vv5ySAhdweNaI++5R8UWGr5KyRc8JUefLQQjCRDNgFaZg9qK5sKwQRd59/+DEEFGDp0UNptwCAUv1LUj/74VH9I82MiHrwj/Zz9Y= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1725962982; h=Content-Transfer-Encoding:Cc:Cc:Date:Date:From:From:In-Reply-To:List-Subscribe:List-Post:List-Id:List-Help:List-Unsubscribe:MIME-Version:Message-ID:References:Sender:Subject:Subject:To:To:Message-Id:Reply-To; bh=RX73gwHdsq4l/LzHuEy9lbVkdwf+d0PjCyq+jy1XYxU=; b=G2OSHrPDlc6t7KVb3XwtxY0k3QlcCR7g3zbXE67vDLCmr7mE81NRJHTmyKL4RHkBCFbO2hPi2tZ8CEdNTemx2dXwxaAFRz3cZJd85wskBFVFTGbidcbaaZNkPvsPphQ+iCgTUk+Ckt269z+Dayv6Fy4LhU34vPqqSEBU55SQksE= ARC-Authentication-Results: i=1; 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; 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 1725962982079385.52057064635653; Tue, 10 Sep 2024 03:09:42 -0700 (PDT) Received: from list by lists.xenproject.org with outflank-mailman.795231.1204447 (Exim 4.92) (envelope-from ) id 1snxoB-0006iw-ER; Tue, 10 Sep 2024 10:09:15 +0000 Received: by outflank-mailman (output) from mailman id 795231.1204447; Tue, 10 Sep 2024 10:09:15 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1snxoB-0006ip-BK; Tue, 10 Sep 2024 10:09:15 +0000 Received: by outflank-mailman (input) for mailman id 795231; Tue, 10 Sep 2024 10:09:14 +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 1snxoA-0006hI-Ki for xen-devel@lists.xenproject.org; Tue, 10 Sep 2024 10:09:14 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id bacea9e5-6f5c-11ef-a0b5-8be0dac302b0; Tue, 10 Sep 2024 12:09:13 +0200 (CEST) Received: from truciolo.homenet.telecomitalia.it (host-79-37-206-90.retail.telecomitalia.it [79.37.206.90]) by support.bugseng.com (Postfix) with ESMTPSA id BF93C4EE07BC; Tue, 10 Sep 2024 12:09:12 +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: bacea9e5-6f5c-11ef-a0b5-8be0dac302b0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=bugseng.com; s=mail; t=1725962953; bh=jTJA4BcdbmYwNY5PeIySmsWvB5Kagg7ddYJ45zv3smo=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=lgD6+TKfiAhYYmU+jw3nIUT+OXCDr+hz+1ilmmS6u9hv7mfNcN2o6UlenfgAqr278 tww83Y39WUz5VY29Eie1Uhx4lkMpfQvEzx1afY668dFnoPusz+pduZt57fdVbjzCSQ TRoR+81AgL/cB8iI3qKhG86PukRr0sFkLZpuCSrDSU13rB14ayMZfcCHiFLYgv1vAA tRsKJMzZzO1cGzbuqdCHjZ6jMdKmclvqQTqZwD8KBjT+vj2k8M+zxSIee31rTLPKaL ma83PXrzlslM0Hu/m6lBcAOQbN6QU3CjGibzL3nCsQCvm89EgM/Bi/BMfXNXGfbsdI oytlbYPLFeqJg== From: Federico Serafini To: xen-devel@lists.xenproject.org Cc: consulting@bugseng.com, Federico Serafini , Jan Beulich , Andrew Cooper , =?UTF-8?q?Roger=20Pau=20Monn=C3=A9?= Subject: [XEN PATCH 01/12] x86/psr: address violation of MISRA C Rule 16.3 Date: Tue, 10 Sep 2024 12:08:53 +0200 Message-Id: X-Mailer: git-send-email 2.34.1 In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-ZohoMail-DKIM: pass (identity @bugseng.com) X-ZM-MESSAGEID: 1725962983211116602 Content-Type: text/plain; charset="utf-8" Address a violation of MISRA C:2012 Rule 16.3: "An unconditional `break' statement shall terminate every switch-clause". No functional change. Signed-off-by: Federico Serafini Acked-by: Jan Beulich --- xen/arch/x86/psr.c | 1 + 1 file changed, 1 insertion(+) diff --git a/xen/arch/x86/psr.c b/xen/arch/x86/psr.c index 0b9631ac44..5815a35335 100644 --- a/xen/arch/x86/psr.c +++ b/xen/arch/x86/psr.c @@ -276,6 +276,7 @@ static enum psr_feat_type psr_type_to_feat_type(enum ps= r_type type) =20 default: ASSERT_UNREACHABLE(); + break; } =20 return feat_type; --=20 2.34.1 From nobody Mon Nov 3 18:32:01 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; dmarc=pass(p=none dis=none) header.from=bugseng.com ARC-Seal: i=1; a=rsa-sha256; t=1725962978; cv=none; d=zohomail.com; s=zohoarc; b=IfyWaJw6bpGhrs9jdhBGmeVUvlrdAGgjJeQGwhuWiEagRXli5BsnaFbdYN6nHPX7SUPEyRzKjFG/qYTmvrD7NFtJHKzz68CMowwMmto+L5Qt+qd4+RrMhCmIQnGbU3PNOnn+V5x3pLrxqdmf9x6L+u2i+I45Y2wxdyfanek5w6w= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1725962978; h=Content-Transfer-Encoding:Cc:Cc:Date:Date:From:From:In-Reply-To:List-Subscribe:List-Post:List-Id:List-Help:List-Unsubscribe:MIME-Version:Message-ID:References:Sender:Subject:Subject:To:To:Message-Id:Reply-To; bh=2rCkyb7P9bRIlYJDHLo6AO0EfbSZN4g2rHPvzX93cC0=; b=FTwhstlx2gDt5TZj1b4nOc8LObltMDNWg5wBGbGCP4dRoBzTz1w6Uuu/4y7awh8GgwkZ2xX6GwAy9CieX3ALkPLWAulXDn3/BYFCybblyBr2McjvTbN18z3udkTHAVdUO4YlOfMsXT0+2I4aIDrKzO/XFv8NCbMeE3moqS/tVas= ARC-Authentication-Results: i=1; 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; 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 1725962978214741.0872275864226; Tue, 10 Sep 2024 03:09:38 -0700 (PDT) Received: from list by lists.xenproject.org with outflank-mailman.795233.1204462 (Exim 4.92) (envelope-from ) id 1snxoC-00070U-Sm; Tue, 10 Sep 2024 10:09:16 +0000 Received: by outflank-mailman (output) from mailman id 795233.1204462; Tue, 10 Sep 2024 10:09:16 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1snxoC-0006ze-ON; Tue, 10 Sep 2024 10:09:16 +0000 Received: by outflank-mailman (input) for mailman id 795233; Tue, 10 Sep 2024 10:09:15 +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 1snxoB-0006in-HC for xen-devel@lists.xenproject.org; Tue, 10 Sep 2024 10:09:15 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id baf27d84-6f5c-11ef-99a1-01e77a169b0f; Tue, 10 Sep 2024 12:09:13 +0200 (CEST) Received: from truciolo.homenet.telecomitalia.it (host-79-37-206-90.retail.telecomitalia.it [79.37.206.90]) by support.bugseng.com (Postfix) with ESMTPSA id 35B174EE07BE; Tue, 10 Sep 2024 12:09:13 +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: baf27d84-6f5c-11ef-99a1-01e77a169b0f DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=bugseng.com; s=mail; t=1725962953; bh=5YQfn+v1XgD0I/Amiqo2ive8DffF9F/8haS4J9ZTkAs=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=BTOsRaZzKlNsTReQquG8z3lo4Wj+BWd7TWUGzbi60pIBVRjDffaT6XVqhBKq4c+OH fH08OB5OmOcoIv7Wwhc0tZN8pmm4PV5I7sxz66SqKudTKnMgNhb4fequY18u9XAy3x iDeZtYWX0D96zzm/4RJlVttLRewJDg8WozyzoSboni6ogUDoB2Xdl/j3O1pGzvXdHk E7lOTmzerPuQc3wVVmTUPNjhV+jfi0/VjaQQGk9r7QiGVXnSkJKqPFWYdcSC6sP2mj XJoIJ30+n8TRqwwoysPjJKv00LnUurlrMkVGde0Gwg4aceoF09Gdd9siVlDhqbTEg2 FclhX2rYmdTQQ== From: Federico Serafini To: xen-devel@lists.xenproject.org Cc: consulting@bugseng.com, Federico Serafini , Jan Beulich , Andrew Cooper , =?UTF-8?q?Roger=20Pau=20Monn=C3=A9?= Subject: [XEN PATCH 02/12] x86/time: address violations of MISRA C Rule 16.3 Date: Tue, 10 Sep 2024 12:08:54 +0200 Message-Id: X-Mailer: git-send-email 2.34.1 In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-ZohoMail-DKIM: pass (identity @bugseng.com) X-ZM-MESSAGEID: 1725962979172116600 Content-Type: text/plain; charset="utf-8" Address violations of MISRA C:2012 Rule 16.3: "An unconditional `break' statement shall terminate every switch-clause". No functional change. Signed-off-by: Federico Serafini Acked-by: Jan Beulich --- xen/arch/x86/time.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/xen/arch/x86/time.c b/xen/arch/x86/time.c index f37300946e..d79b0a6ab9 100644 --- a/xen/arch/x86/time.c +++ b/xen/arch/x86/time.c @@ -1477,6 +1477,7 @@ unsigned int rtc_guest_read(unsigned int port) =20 default: ASSERT_UNREACHABLE(); + break; } =20 return data; @@ -1529,6 +1530,7 @@ void rtc_guest_write(unsigned int port, unsigned int = data) =20 default: ASSERT_UNREACHABLE(); + break; } } =20 --=20 2.34.1 From nobody Mon Nov 3 18:32:01 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; dmarc=pass(p=none dis=none) header.from=bugseng.com ARC-Seal: i=1; a=rsa-sha256; t=1725962982; cv=none; d=zohomail.com; s=zohoarc; b=FJC4RE/ocfsFtuv1iA8TdD81BQ48zGwZ6zR8lXdEukyhLYXVI0vkBcrUeLWQZ1iTBQqfR5/a7ibCCUOuw/Hl6sBTDVOPBKdC+zn9jNz/0jPjACLdW2WWCkNRe6zTKGznMc3Jkrwy1hZfedr9Nv9arCt9kYDojluwBXJKQIGHMNM= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1725962982; h=Content-Transfer-Encoding:Cc:Cc:Date:Date:From:From:In-Reply-To:List-Subscribe:List-Post:List-Id:List-Help:List-Unsubscribe:MIME-Version:Message-ID:References:Sender:Subject:Subject:To:To:Message-Id:Reply-To; bh=1M9gS4Ov2E5HlNVimJyTzpQQ8i6IjbbZd8HuwuVllQ8=; b=dZ3SXJSLgW2xCXbGqOu70xedmpEQfOL438SNYvnjKEdmMGNJcHYMMsxWazCbQFAPolHkPsJjK+9pw2Mai15BukktiD++vr11+xlRptHB4eMmEiZzMGgPGjfqnrHSXUaxRzRkegEVs0Jj+FUfAHEAnUdFI1/3yAFejasaihk4rGs= ARC-Authentication-Results: i=1; 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; 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 172596298293616.01725497401094; Tue, 10 Sep 2024 03:09:42 -0700 (PDT) Received: from list by lists.xenproject.org with outflank-mailman.795234.1204477 (Exim 4.92) (envelope-from ) id 1snxoE-0007Qh-1t; Tue, 10 Sep 2024 10:09:18 +0000 Received: by outflank-mailman (output) from mailman id 795234.1204477; Tue, 10 Sep 2024 10:09:18 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1snxoD-0007QU-Ut; Tue, 10 Sep 2024 10:09:17 +0000 Received: by outflank-mailman (input) for mailman id 795234; Tue, 10 Sep 2024 10:09:16 +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 1snxoC-0006hI-2u for xen-devel@lists.xenproject.org; Tue, 10 Sep 2024 10:09:16 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id bb55668f-6f5c-11ef-a0b5-8be0dac302b0; Tue, 10 Sep 2024 12:09:14 +0200 (CEST) Received: from truciolo.homenet.telecomitalia.it (host-79-37-206-90.retail.telecomitalia.it [79.37.206.90]) by support.bugseng.com (Postfix) with ESMTPSA id 948624EE07BF; Tue, 10 Sep 2024 12:09:13 +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: bb55668f-6f5c-11ef-a0b5-8be0dac302b0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=bugseng.com; s=mail; t=1725962954; bh=MaOKWAN8/iHkSkxPEna4IofkZpedWnhaY89MZEeE3co=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=jgHfikcoR4ZMGX2PA869SFMOKlxagBEL9HZX8QiMnq70BklAx7qbyPZu4gCeR9JBM on2OTlk6KV+/X5xZG1/uyQ9/mNj2TRFch7dXxq06t7SLOe/OT1DhD2KrptKeEmP5hT 3dRXnmKmHjyLCLsO2+HzxAMA0yPnbVD+V/QZG5luHJFUQc+bWrddz7QCCBmt9PsDQY NXwMkpGmIV1h3ZoqLOfUi4cfDvffxt5+AOX/8Az+8tRK49GWkx5iX1CnxeAZJm3NXu cM6qL5B5wt/ktcpBkMwZRkTRcbSFY4fvIErPWvCmCObl5mx8lF/5zga10qN1yRwtmV +JAn1Y7kO75HA== From: Federico Serafini To: xen-devel@lists.xenproject.org Cc: consulting@bugseng.com, Federico Serafini , Tamas K Lengyel , Alexandru Isaila , Petre Pircalabu , Jan Beulich , Andrew Cooper , =?UTF-8?q?Roger=20Pau=20Monn=C3=A9?= Subject: [XEN PATCH 03/12] x86/vm_event: address violation of MISRA C Rule 16.3 Date: Tue, 10 Sep 2024 12:08:55 +0200 Message-Id: X-Mailer: git-send-email 2.34.1 In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-ZohoMail-DKIM: pass (identity @bugseng.com) X-ZM-MESSAGEID: 1725962983211116600 Content-Type: text/plain; charset="utf-8" Address a violation of MISRA C:2012 Rule 16.3: "An unconditional `break' statement shall terminate every switch-clause". No functional change. Signed-off-by: Federico Serafini Acked-by: Tamas K Lengyel --- xen/arch/x86/vm_event.c | 1 + 1 file changed, 1 insertion(+) diff --git a/xen/arch/x86/vm_event.c b/xen/arch/x86/vm_event.c index e6c7ad5337..0d15d363c3 100644 --- a/xen/arch/x86/vm_event.c +++ b/xen/arch/x86/vm_event.c @@ -190,6 +190,7 @@ static void vm_event_pack_segment_register(enum x86_seg= ment segment, =20 default: ASSERT_UNREACHABLE(); + break; } } #endif --=20 2.34.1 From nobody Mon Nov 3 18:32:01 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; dmarc=pass(p=none dis=none) header.from=bugseng.com ARC-Seal: i=1; a=rsa-sha256; t=1725962981; cv=none; d=zohomail.com; s=zohoarc; b=MX6D+1vQxbdpRlPHfxX0DQYr0BNgk2XFeXN90C5jOdLgE4+z0I17k7U/e7xAdjI+ad5nh/mHUAs7wew5wXvzd05ugCxgVCqYmWIYcZyAp81eQgEClCtQuanllOPcpkrGfb3B5VTSZTUq2drR6VdhxguIySb7oFFhnfPy07XV9dY= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1725962981; h=Content-Transfer-Encoding:Cc:Cc:Date:Date:From:From:In-Reply-To:List-Subscribe:List-Post:List-Id:List-Help:List-Unsubscribe:MIME-Version:Message-ID:References:Sender:Subject:Subject:To:To:Message-Id:Reply-To; bh=jtX3FBJnXCfEv/MRu4SKP8SiOTBlWLM0jDNAn0DZv7c=; b=nfLV0XvPe9du73WcV9m/iRewYjlYDd6wkoFzSWLDKLp/bzDd0Pg3Ec5SF3BRYOk84v7YcesttvjDtyRwff1hwZgWK5fH9nuxZHh6w+h+Sc4MWNgmHW0eeMsmkadzjPtnPxLq8fXLbW892ryPgAhMpExcnsm45pf6bLX+qjbjuyw= ARC-Authentication-Results: i=1; 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; 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 1725962981202839.652211513255; Tue, 10 Sep 2024 03:09:41 -0700 (PDT) Received: from list by lists.xenproject.org with outflank-mailman.795235.1204482 (Exim 4.92) (envelope-from ) id 1snxoE-0007UG-DJ; Tue, 10 Sep 2024 10:09:18 +0000 Received: by outflank-mailman (output) from mailman id 795235.1204482; Tue, 10 Sep 2024 10:09:18 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1snxoE-0007Ts-7b; Tue, 10 Sep 2024 10:09:18 +0000 Received: by outflank-mailman (input) for mailman id 795235; Tue, 10 Sep 2024 10:09:16 +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 1snxoC-0006in-7B for xen-devel@lists.xenproject.org; Tue, 10 Sep 2024 10:09:16 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id bb837fce-6f5c-11ef-99a1-01e77a169b0f; Tue, 10 Sep 2024 12:09:14 +0200 (CEST) Received: from truciolo.homenet.telecomitalia.it (host-79-37-206-90.retail.telecomitalia.it [79.37.206.90]) by support.bugseng.com (Postfix) with ESMTPSA id 2598F4EE07BD; Tue, 10 Sep 2024 12:09:14 +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: bb837fce-6f5c-11ef-99a1-01e77a169b0f DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=bugseng.com; s=mail; t=1725962954; bh=0ikbd1ETLLKX3eXMS2E9IBv3xVhKz2tDs8iBpqTgxFs=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=yM4X6JwReqK7YaxCAt5D+XnGr3bcg7n7orUUsG5xusg078Z49zZ2DfWHqHPjnVI1i 7H1QBO1ZtKjnNlFmTOw5vMXuex8lR02y0+ppAHh8pxl3v/BRwRscSrnhihJ6ir/S1B RWrr/8ioRhxLSJ/vhv6zT6185hV09wtC9iXx5+Tgi6j8eLbsKNHCRv5QmKjl4pNJO9 SWc8ODAqvZ9hokJdHiIM9U57doInWPzy4Sbl7+c7Gm430/VjIGXh/cRyA92i1Yz9OB LYb/+fk6Qqhaz4btPAmHri4DChLNSJB31BF0P7Cx9KDkRDACM4dBN+Kkra6dH0vDs+ FUlMY/U1/Loeg== From: Federico Serafini To: xen-devel@lists.xenproject.org Cc: consulting@bugseng.com, Federico Serafini , Jan Beulich , Andrew Cooper , =?UTF-8?q?Roger=20Pau=20Monn=C3=A9?= Subject: [XEN PATCH 04/12] x86/hypercall: address violations of MISRA C Rule 16.3 Date: Tue, 10 Sep 2024 12:08:56 +0200 Message-Id: X-Mailer: git-send-email 2.34.1 In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-ZohoMail-DKIM: pass (identity @bugseng.com) X-ZM-MESSAGEID: 1725962983215116600 Content-Type: text/plain; charset="utf-8" Address violations of MISRA C:2012 Rule 16.3: "An unconditional `break' statement shall terminate every switch-clause". No functional change. Signed-off-by: Federico Serafini Acked-by: Jan Beulich --- xen/arch/x86/include/asm/hypercall.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/xen/arch/x86/include/asm/hypercall.h b/xen/arch/x86/include/as= m/hypercall.h index 389fa62af2..f6e9e2313b 100644 --- a/xen/arch/x86/include/asm/hypercall.h +++ b/xen/arch/x86/include/asm/hypercall.h @@ -55,7 +55,7 @@ static inline void clobber_regs64(struct cpu_user_regs *r= egs, case 4: regs->r10 =3D 0xdeadbeefdeadf00dUL; fallthrough; case 3: regs->rdx =3D 0xdeadbeefdeadf00dUL; fallthrough; case 2: regs->rsi =3D 0xdeadbeefdeadf00dUL; fallthrough; - case 1: regs->rdi =3D 0xdeadbeefdeadf00dUL; + case 1: regs->rdi =3D 0xdeadbeefdeadf00dUL; break; } #endif } @@ -71,7 +71,7 @@ static inline void clobber_regs32(struct cpu_user_regs *r= egs, case 4: regs->esi =3D 0xdeadf00dU; fallthrough; case 3: regs->edx =3D 0xdeadf00dU; fallthrough; case 2: regs->ecx =3D 0xdeadf00dU; fallthrough; - case 1: regs->ebx =3D 0xdeadf00dU; + case 1: regs->ebx =3D 0xdeadf00dU; break; } #endif } --=20 2.34.1 From nobody Mon Nov 3 18:32:01 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; dmarc=pass(p=none dis=none) header.from=bugseng.com ARC-Seal: i=1; a=rsa-sha256; t=1725962982; cv=none; d=zohomail.com; s=zohoarc; b=SZI4zqGGWYMpcLsvn91hXAgm5Z0pTV8L1Zvs3RAp1FzeuMECPVZdTjtmMjpyJefB85MCXolXqL4RMG6XMsH5CIA5BFu7WcIU9en1WEEKuZ9HPelqpiJhKRFm64JFaEgr49KyQO99EB2NMewWIc22VH9FX/fPXF7+TDDjDNhj6t0= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1725962982; h=Content-Transfer-Encoding:Cc:Cc:Date:Date:From:From:In-Reply-To:List-Subscribe:List-Post:List-Id:List-Help:List-Unsubscribe:MIME-Version:Message-ID:References:Sender:Subject:Subject:To:To:Message-Id:Reply-To; bh=ZRsAj43X1K5D5GWMV6tPewfFG0To/11l78ekIEApcBc=; b=eop8Pv8X0fuLnu7eUoUpT8qY7oJbVbmlzQft+uYu1OXw598WVKR8hDzjDFdOJaO82N/WWfPkjRBQI+PPGVC6Aqsre02HQ9WkHb61PPGLmmoKw7lU0oYOZIn7815CYmrq4QUvX8ENJltbz0jWCHWDw/kmfcYshdz08p9S0G6ThKs= ARC-Authentication-Results: i=1; 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; 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 1725962982795527.7216683106403; Tue, 10 Sep 2024 03:09:42 -0700 (PDT) Received: from list by lists.xenproject.org with outflank-mailman.795236.1204488 (Exim 4.92) (envelope-from ) id 1snxoE-0007Zm-Tk; Tue, 10 Sep 2024 10:09:18 +0000 Received: by outflank-mailman (output) from mailman id 795236.1204488; Tue, 10 Sep 2024 10:09:18 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1snxoE-0007XC-Jc; Tue, 10 Sep 2024 10:09:18 +0000 Received: by outflank-mailman (input) for mailman id 795236; Tue, 10 Sep 2024 10:09:17 +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 1snxoD-0006hI-3E for xen-devel@lists.xenproject.org; Tue, 10 Sep 2024 10:09:17 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id bbe4c126-6f5c-11ef-a0b5-8be0dac302b0; Tue, 10 Sep 2024 12:09:15 +0200 (CEST) Received: from truciolo.homenet.telecomitalia.it (host-79-37-206-90.retail.telecomitalia.it [79.37.206.90]) by support.bugseng.com (Postfix) with ESMTPSA id 854064EE07C0; Tue, 10 Sep 2024 12:09:14 +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: bbe4c126-6f5c-11ef-a0b5-8be0dac302b0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=bugseng.com; s=mail; t=1725962955; bh=+464nsW1HRBa4piEv0WIwfEOU6bTSrq7mNRHB28EwBM=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=cosY1Ij8KuLU8paMtYMWZYLxSPXziHsHz9q6yQ8ePtUUE+eTILbpb/ppQy2A8ZvG3 QQdtcvXKJEO/InQV2C7D0b+c4ZG129nEYhgAPiYTdGy1A9bi86HjowZNMmgbyqASpH xxbc53iuBKpaTBTui0iKcfpDkzanynW0USVPK2WX7bkmQMJ9n+q7ZRiNcRYgxjRkPu 9SGCnobSHjkGPM7huA5cEm2FZsWecVOCOytqnc0POMSTBv7U/4yx/xDuIBUnrK8RmT SSh7zlWlrV9m8wB9KpCjRT8grRCsRZZZFxoQOIdqOZatY3KYDMDUhgqDDiakZ+5BFJ j74WjOwx2xMQw== From: Federico Serafini To: xen-devel@lists.xenproject.org Cc: consulting@bugseng.com, Federico Serafini , Tamas K Lengyel , Alexandru Isaila , Petre Pircalabu , Jan Beulich , Andrew Cooper , =?UTF-8?q?Roger=20Pau=20Monn=C3=A9?= Subject: [XEN PATCH 05/12] x86/monitor: address violation of MISRA C Rule 16.3 Date: Tue, 10 Sep 2024 12:08:57 +0200 Message-Id: X-Mailer: git-send-email 2.34.1 In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-ZohoMail-DKIM: pass (identity @bugseng.com) X-ZM-MESSAGEID: 1725962983211116601 Content-Type: text/plain; charset="utf-8" Address a violation of MISRA C:2012 Rule 16.3: "An unconditional `break' statement shall terminate every switch-clause". No functional change. Signed-off-by: Federico Serafini Acked-by: Tamas K Lengyel --- xen/arch/x86/include/asm/monitor.h | 1 + 1 file changed, 1 insertion(+) diff --git a/xen/arch/x86/include/asm/monitor.h b/xen/arch/x86/include/asm/= monitor.h index 96e6a9d0d8..3c64d8258f 100644 --- a/xen/arch/x86/include/asm/monitor.h +++ b/xen/arch/x86/include/asm/monitor.h @@ -65,6 +65,7 @@ int arch_monitor_domctl_op(struct domain *d, struct xen_d= omctl_monitor_op *mop) =20 default: rc =3D -EOPNOTSUPP; + break; } =20 return rc; --=20 2.34.1 From nobody Mon Nov 3 18:32:01 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; dmarc=pass(p=none dis=none) header.from=bugseng.com ARC-Seal: i=1; a=rsa-sha256; t=1725962982; cv=none; d=zohomail.com; s=zohoarc; b=DL0yUxFQI7Qz1lg5ZTDsHPBG4UobBbx2RG+6XN3Uj9noi0oWayNqF3nF2Tle7zIv+owFE/BMIwFlxYoDHPn0fKB0BIXk8PcJa2pMrEUe7o4z8SCr5XMOGUbgSaXHekQWSfAioUtZNxPCk6LBAoyeq3GtWl5z/NWGoYka8XjJzq8= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1725962982; h=Content-Transfer-Encoding:Cc:Cc:Date:Date:From:From:In-Reply-To:List-Subscribe:List-Post:List-Id:List-Help:List-Unsubscribe:MIME-Version:Message-ID:References:Sender:Subject:Subject:To:To:Message-Id:Reply-To; bh=1aDw+lhR9CbgU66+hc+23hkZGi37a/C/xL4FTTUS7Ls=; b=PUz1+GO0AzQPIOkvaTYNa6aqLvQCVVf9gOjs7137rjc3E14Hc3tlC10to3H+Sz+i4uEjz5nNkg9ti+odBwgxViYROKe9/BSW2rjQHxZC2yQgTa+CZ/ChDeft/zKZvc6+1RsNKDvlGkJRiMVMHsmcJOpJJQPFpTgsoHc6YhlXKXQ= ARC-Authentication-Results: i=1; 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; 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 172596298214336.151758408238834; Tue, 10 Sep 2024 03:09:42 -0700 (PDT) Received: from list by lists.xenproject.org with outflank-mailman.795237.1204493 (Exim 4.92) (envelope-from ) id 1snxoF-0007lp-Co; Tue, 10 Sep 2024 10:09:19 +0000 Received: by outflank-mailman (output) from mailman id 795237.1204493; Tue, 10 Sep 2024 10:09:19 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1snxoF-0007ge-3B; Tue, 10 Sep 2024 10:09:19 +0000 Received: by outflank-mailman (input) for mailman id 795237; Tue, 10 Sep 2024 10:09:17 +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 1snxoD-0006in-8N for xen-devel@lists.xenproject.org; Tue, 10 Sep 2024 10:09:17 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id bc116e4f-6f5c-11ef-99a1-01e77a169b0f; Tue, 10 Sep 2024 12:09:15 +0200 (CEST) Received: from truciolo.homenet.telecomitalia.it (host-79-37-206-90.retail.telecomitalia.it [79.37.206.90]) by support.bugseng.com (Postfix) with ESMTPSA id 170314EE07BB; Tue, 10 Sep 2024 12:09:15 +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: bc116e4f-6f5c-11ef-99a1-01e77a169b0f DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=bugseng.com; s=mail; t=1725962955; bh=4YJCnP58zIp/0pTRunzm9AkmIlx7TkkO1ZpWoUscNoo=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=s9ClveXE7mU4vBe7fJEjEl3cdzNCrlpaLLdciLxacR/z8dsGnaeceG++Rm8Ba4BK0 kUzCA76P4YcW2slLQjpxJR9JHbaAeQ3FFUqN0w7VRtDJSuJyN+meUMb/a0XOpHfTVZ iNxp8HhKabnYW/9gd5cyODkIjrXaZ1nVl9gIQmX9rN8SQQCDjmr+SkTUL++x201R25 k3CSRHyVjoO/fI2E+RubxWqIx7eF/lPZV74v1QcpqopyB93xAP0Z/RGrVEJfBPbYeK AwdjfLJo/pQgQxrJ86R8bx1dbjIwWzmEZS9D6+f2qGsioQCO6PSHGSl4ZviiTuajcw ZcFI2NKBvrVPw== From: Federico Serafini To: xen-devel@lists.xenproject.org Cc: consulting@bugseng.com, Federico Serafini , Jan Beulich , Andrew Cooper , =?UTF-8?q?Roger=20Pau=20Monn=C3=A9?= Subject: [XEN PATCH 06/12] x86/mm: address violations of MISRA C Rule 16.3 Date: Tue, 10 Sep 2024 12:08:58 +0200 Message-Id: <0773f4b5678ee340af201b454e37178e750cbd8d.1725958416.git.federico.serafini@bugseng.com> X-Mailer: git-send-email 2.34.1 In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-ZohoMail-DKIM: pass (identity @bugseng.com) X-ZM-MESSAGEID: 1725962983254116600 Content-Type: text/plain; charset="utf-8" Address violations of MISRA C:2012 Rule 16.3: "An unconditional `break' statement shall terminate every switch-clause". No functional change. Signed-off-by: Federico Serafini Acked-by: Jan Beulich --- xen/arch/x86/mm/guest_walk.c | 1 + xen/arch/x86/mm/hap/hap.c | 2 +- xen/arch/x86/mm/hap/nested_hap.c | 1 + xen/arch/x86/mm/paging.c | 2 +- 4 files changed, 4 insertions(+), 2 deletions(-) diff --git a/xen/arch/x86/mm/guest_walk.c b/xen/arch/x86/mm/guest_walk.c index fe7393334f..bc032d697c 100644 --- a/xen/arch/x86/mm/guest_walk.c +++ b/xen/arch/x86/mm/guest_walk.c @@ -497,6 +497,7 @@ guest_walk_tables(const struct vcpu *v, struct p2m_doma= in *p2m, paging_mark_dirty(d, gw->l4mfn); hvmemul_write_cache(v, l4gpa, &gw->l4e, sizeof(gw->l4e)); } + break; #endif } =20 diff --git a/xen/arch/x86/mm/hap/hap.c b/xen/arch/x86/mm/hap/hap.c index d2011fde24..ec5043a8aa 100644 --- a/xen/arch/x86/mm/hap/hap.c +++ b/xen/arch/x86/mm/hap/hap.c @@ -652,7 +652,7 @@ int hap_domctl(struct domain *d, struct xen_domctl_shad= ow_op *sc, return rc; case XEN_DOMCTL_SHADOW_OP_GET_ALLOCATION: sc->mb =3D hap_get_allocation(d); - /* Fall through... */ + fallthrough; case XEN_DOMCTL_SHADOW_OP_OFF: return 0; default: diff --git a/xen/arch/x86/mm/hap/nested_hap.c b/xen/arch/x86/mm/hap/nested_= hap.c index 080b60adf0..cc7bc6e5ea 100644 --- a/xen/arch/x86/mm/hap/nested_hap.c +++ b/xen/arch/x86/mm/hap/nested_hap.c @@ -217,6 +217,7 @@ int nestedhvm_hap_nested_page_fault( p2ma_10 =3D p2m_access_n; /* For safety, remove all permissions. */ gdprintk(XENLOG_ERR, "Unhandled p2m access type:%d\n", p2ma_10); + break; } /* Use minimal permission for nested p2m. */ p2ma_10 &=3D (p2m_access_t)p2ma_21; diff --git a/xen/arch/x86/mm/paging.c b/xen/arch/x86/mm/paging.c index dd47bde5ce..c77f4c1dac 100644 --- a/xen/arch/x86/mm/paging.c +++ b/xen/arch/x86/mm/paging.c @@ -726,7 +726,7 @@ int paging_domctl(struct domain *d, struct xen_domctl_s= hadow_op *sc, case XEN_DOMCTL_SHADOW_OP_ENABLE: if ( !(sc->mode & XEN_DOMCTL_SHADOW_ENABLE_LOG_DIRTY) ) break; - /* Else fall through... */ + fallthrough; case XEN_DOMCTL_SHADOW_OP_ENABLE_LOGDIRTY: return paging_log_dirty_enable(d); =20 --=20 2.34.1 From nobody Mon Nov 3 18:32:01 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; dmarc=pass(p=none dis=none) header.from=bugseng.com ARC-Seal: i=1; a=rsa-sha256; t=1725962981; cv=none; d=zohomail.com; s=zohoarc; b=DLo7ApzOiOQPSIb9SpH92Zh61RWEH7yO3jWGBTHEjUaoDeqYptCVqDmPdHRzsbi2PgLg3FqU3U6rvVnPqwbHH7pqufy3NVi0ASEFcyo7VlXbUTPl9s5rarYbXRy4hnckSm9ULYIZW4hTBIH8VzvjyVF+BNZ7rjmaTW0gY0DGCVw= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1725962981; h=Content-Transfer-Encoding:Cc:Cc:Date:Date:From:From:In-Reply-To:List-Subscribe:List-Post:List-Id:List-Help:List-Unsubscribe:MIME-Version:Message-ID:References:Sender:Subject:Subject:To:To:Message-Id:Reply-To; bh=XdItk4KpZ+7eJ+ASDxoOXkxCIhRkcq751EkpjObvwiU=; b=Ylb+kfIucMwQM3x9iNDVJr0WcloYGtWJeshYdQaVYHRAcNbECrNbBOcN3vUAVxF01nnt3SHVA9JcvCyMV8LCy33ArpxlBpzKgYya7N1Y+v1/6GkjJCZXGsQYI5QeKlSvN5iUMjdLev3dXRfNfT50ZL0+S2evaSR+odzmQFJ/ILg= ARC-Authentication-Results: i=1; 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; 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 1725962981931124.47064738718848; Tue, 10 Sep 2024 03:09:41 -0700 (PDT) Received: from list by lists.xenproject.org with outflank-mailman.795238.1204504 (Exim 4.92) (envelope-from ) id 1snxoG-00081j-AW; Tue, 10 Sep 2024 10:09:20 +0000 Received: by outflank-mailman (output) from mailman id 795238.1204504; Tue, 10 Sep 2024 10:09:20 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1snxoG-000801-0l; Tue, 10 Sep 2024 10:09:20 +0000 Received: by outflank-mailman (input) for mailman id 795238; Tue, 10 Sep 2024 10:09:18 +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 1snxoE-0006in-7M for xen-devel@lists.xenproject.org; Tue, 10 Sep 2024 10:09:18 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id bc53b0c0-6f5c-11ef-99a1-01e77a169b0f; Tue, 10 Sep 2024 12:09:16 +0200 (CEST) Received: from truciolo.homenet.telecomitalia.it (host-79-37-206-90.retail.telecomitalia.it [79.37.206.90]) by support.bugseng.com (Postfix) with ESMTPSA id 76D014EE07C1; Tue, 10 Sep 2024 12:09:15 +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: bc53b0c0-6f5c-11ef-99a1-01e77a169b0f DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=bugseng.com; s=mail; t=1725962955; bh=TsJsXtd4r9xjmbF6+cJgP+YCx8JcIm1qmbkTjh4sQ5s=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=uwM8yz1fk+JApAYno/Xlf3i19qPtgqfR5C1AeMgzmGkHbCpYY+Te+6X9HV9zAkshS wdyusJe1fBLS8POq+8S8Vc3+yalVk6hWXQOb9/mImaArrQv1wu6CC+SMIms+1bcdBq t8YuMaWW7H+9z2bATKokDe+jEvCcGpXc0ZwMktWgP8jsSeGTE6QCALwFsLUlTkdAcA OL6lfz4DbVD5+VG6HAf1mg59viPwmmvpvwQ16ccntflw82wGxVyD3+DbncJnrmGJDM lKdxlCr4ZBM/DrzJkMnHegXAEBjYnZNVT2g+bLz54RvYfR8c/0Orp/vfFcNeTzdD54 s8cBxcmmUI5RA== From: Federico Serafini To: xen-devel@lists.xenproject.org Cc: consulting@bugseng.com, Federico Serafini , Jan Beulich , Andrew Cooper , =?UTF-8?q?Roger=20Pau=20Monn=C3=A9?= Subject: [XEN PATCH 07/12] x86/mmcfg: address violation of MISRA C Rule 16.3 Date: Tue, 10 Sep 2024 12:08:59 +0200 Message-Id: X-Mailer: git-send-email 2.34.1 In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-ZohoMail-DKIM: pass (identity @bugseng.com) X-ZM-MESSAGEID: 1725962983213116600 Content-Type: text/plain; charset="utf-8" Address a violation of MISRA C:2012 Rule 16.3: "An unconditional `break' statement shall terminate every switch-clause". No functional change. Signed-off-by: Federico Serafini Acked-by: Jan Beulich --- xen/arch/x86/x86_64/mmconfig-shared.c | 1 + 1 file changed, 1 insertion(+) diff --git a/xen/arch/x86/x86_64/mmconfig-shared.c b/xen/arch/x86/x86_64/mm= config-shared.c index b3b2da7362..77ba1e28f1 100644 --- a/xen/arch/x86/x86_64/mmconfig-shared.c +++ b/xen/arch/x86/x86_64/mmconfig-shared.c @@ -112,6 +112,7 @@ static const char *__init cf_check pci_mmcfg_intel_945(= void) break; default: pci_mmcfg_config_num =3D 0; + break; } =20 /* Errata #2, things break when not aligned on a 256Mb boundary */ --=20 2.34.1 From nobody Mon Nov 3 18:32:01 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; dmarc=pass(p=none dis=none) header.from=bugseng.com ARC-Seal: i=1; a=rsa-sha256; t=1725962982; cv=none; d=zohomail.com; s=zohoarc; b=Eqnjw0D5POWHUqvaFMIMRbmru+O76a14LwuqFaj0di1N5Kurlp4MbDx19YFgX8QTX3s1avsFZ9eKPmNPNlrlMKaWR/SuE0PetLR8vsEfuz6dzIW4lBScw1qHxirXK3McwVJjXM1Lx75ASmy2kdtlRMD9Gr1kzfOZ/NrHg23cVTE= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1725962982; h=Content-Transfer-Encoding:Cc:Cc:Date:Date:From:From:In-Reply-To:List-Subscribe:List-Post:List-Id:List-Help:List-Unsubscribe:MIME-Version:Message-ID:References:Sender:Subject:Subject:To:To:Message-Id:Reply-To; bh=HVRzFSWINs7/USq8U/rDZFji1PfnQ9J2vcXSLeUdbhY=; b=WSC1RbuVkvYCwcbsCCJ1ai/SSvmDdzq8Vr4WukP261/KuA/GI62Dt/6XIhDJmVNPxDfOdpJacZ3HSnHjaM27xs0aFmxIZ+JFM+2csTmtw+Yjva244bDw4RCRzKDoVIO0YufgelS4oZLTpCUdqS7yC3g6txHsNBfOsytjCQQORso= ARC-Authentication-Results: i=1; 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; 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 1725962982787842.6470664754794; Tue, 10 Sep 2024 03:09:42 -0700 (PDT) Received: from list by lists.xenproject.org with outflank-mailman.795240.1204520 (Exim 4.92) (envelope-from ) id 1snxoH-0008FZ-Is; Tue, 10 Sep 2024 10:09:21 +0000 Received: by outflank-mailman (output) from mailman id 795240.1204520; Tue, 10 Sep 2024 10:09:21 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1snxoH-0008Cb-0k; Tue, 10 Sep 2024 10:09:21 +0000 Received: by outflank-mailman (input) for mailman id 795240; Tue, 10 Sep 2024 10:09:19 +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 1snxoF-0006in-7M for xen-devel@lists.xenproject.org; Tue, 10 Sep 2024 10:09:19 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id bc8f407b-6f5c-11ef-99a1-01e77a169b0f; Tue, 10 Sep 2024 12:09:16 +0200 (CEST) Received: from truciolo.homenet.telecomitalia.it (host-79-37-206-90.retail.telecomitalia.it [79.37.206.90]) by support.bugseng.com (Postfix) with ESMTPSA id E10C04EE0CC2; Tue, 10 Sep 2024 12:09:15 +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: bc8f407b-6f5c-11ef-99a1-01e77a169b0f DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=bugseng.com; s=mail; t=1725962956; bh=7STVOBIhCgKWpEDLBjJ3I3pd4DCbTs6VnI7lN8dRmpo=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=NF75lBMMwFAKjJlCteFveEQkKfAAauNEwayIQPtDG4Zpta6Q5xTzOMoSNJ8SBTHWn KLDgdfAWHo+ohBzitH+cGqA1/xgmE0iwBs14q1VlFMhk+E11NWzVM9pRRQM7DhA/3Z xiVcCkpuF6C+TvkxWF/9c92T0jjjvDSxTI39zGTdvp1D9wgwaGEhwk+r1A54kfYYIl UAfFEZQCCrp1eX/2b979PNqS6Dnh38XYdYmlPHOta0lR+v65oYlvfeQwowX5CNfX/K WN68ZXCo5IaKbjbFGmQ6AcRh50JGIpAHZr3CvCQte4yQENrjb+lHknFVAYx2akS77y V9T39h1uLgt1w== From: Federico Serafini To: xen-devel@lists.xenproject.org Cc: consulting@bugseng.com, Federico Serafini , Jan Beulich , Andrew Cooper , =?UTF-8?q?Roger=20Pau=20Monn=C3=A9?= Subject: [XEN PATCH 08/12] x86/emul: add defensive code Date: Tue, 10 Sep 2024 12:09:00 +0200 Message-Id: X-Mailer: git-send-email 2.34.1 In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-ZohoMail-DKIM: pass (identity @bugseng.com) X-ZM-MESSAGEID: 1725962983220116600 Content-Type: text/plain; charset="utf-8" Add defensive code after unreachable program points. This also meets the requirements to deviate a violation of MISRA C:2012 Rule 16.3: "An unconditional `break' statement shall terminate every switch-clause". Signed-off-by: Federico Serafini --- xen/arch/x86/x86_emulate/x86_emulate.c | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/xen/arch/x86/x86_emulate/x86_emulate.c b/xen/arch/x86/x86_emul= ate/x86_emulate.c index e12fbe3100..2b03d65fce 100644 --- a/xen/arch/x86/x86_emulate/x86_emulate.c +++ b/xen/arch/x86/x86_emulate/x86_emulate.c @@ -6831,6 +6831,8 @@ x86_emulate( break; default: ASSERT_UNREACHABLE(); + rc =3D X86EMUL_UNHANDLEABLE; + goto done; } break; #ifdef HAVE_AS_SSE4_2 @@ -6859,6 +6861,8 @@ x86_emulate( # endif default: ASSERT_UNREACHABLE(); + rc =3D X86EMUL_UNHANDLEABLE; + goto done; } break; #endif --=20 2.34.1 From nobody Mon Nov 3 18:32:01 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; dmarc=pass(p=none dis=none) header.from=bugseng.com ARC-Seal: i=1; a=rsa-sha256; t=1725962981; cv=none; d=zohomail.com; s=zohoarc; b=LHEf/cYDt1xdKXbPk18OHI/fO9TNBnmCw/5PdynoSs/AG4kn3H3Lo39ZGiHCNbssJdJSwMILRX1CD+fJEFUsBQ+wBb62q27MDqqPSG5ohzG4HAoUeCHxZKWTijst6X1t9/nXWDCvzQFo5VnhAH6sWW5Rd2SV/QoZ1PCv9ldInI8= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1725962981; h=Content-Transfer-Encoding:Cc:Cc:Date:Date:From:From:In-Reply-To:List-Subscribe:List-Post:List-Id:List-Help:List-Unsubscribe:MIME-Version:Message-ID:References:Sender:Subject:Subject:To:To:Message-Id:Reply-To; bh=nEkbFRArXxeXvcQ7F+ViNk+yl1L9oeAIRwdAbZ1cclU=; b=oGuey250yiAmxyB4pOT9i2YYXLwZdwc9f+UDyeEDNXfAmY10NtJh3H2Z/2Gx1BGJsUdhC1TTTI8dO7YhcSne8EyRoNBCngMCvTlS1qTjIc5xq9I8IT7G3IiJZGpgdaELRy+DhGzHle9DHtZU+uv4bx6X0qW3l0LxzdU4nv1s4N8= ARC-Authentication-Results: i=1; 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; 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 1725962981869912.0813587801155; Tue, 10 Sep 2024 03:09:41 -0700 (PDT) Received: from list by lists.xenproject.org with outflank-mailman.795241.1204529 (Exim 4.92) (envelope-from ) id 1snxoI-0008VL-AZ; Tue, 10 Sep 2024 10:09:22 +0000 Received: by outflank-mailman (output) from mailman id 795241.1204529; Tue, 10 Sep 2024 10:09:22 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1snxoH-0008SZ-NF; Tue, 10 Sep 2024 10:09:21 +0000 Received: by outflank-mailman (input) for mailman id 795241; Tue, 10 Sep 2024 10:09:20 +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 1snxoG-0006in-7K for xen-devel@lists.xenproject.org; Tue, 10 Sep 2024 10:09:20 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id bccaf5ba-6f5c-11ef-99a1-01e77a169b0f; Tue, 10 Sep 2024 12:09:16 +0200 (CEST) Received: from truciolo.homenet.telecomitalia.it (host-79-37-206-90.retail.telecomitalia.it [79.37.206.90]) by support.bugseng.com (Postfix) with ESMTPSA id 4BEED4EE07BE; Tue, 10 Sep 2024 12:09:16 +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: bccaf5ba-6f5c-11ef-99a1-01e77a169b0f DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=bugseng.com; s=mail; t=1725962956; bh=uy8RzmNPWe8sN7uF0NONIzcrXeo4qTykXjJvLpaUdFY=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=j9uWRD21docJyr5AGSepOo5zOUTZXlr3xMf3M7p44ORvblAyhRkDy/i40/WvA6RJs DMPUGn2NUqw7aIFJIEQ1wuzYpNdX+xQZMn/TR5XEPeiTvDbEq+ZLxRLYqqV1YuItwJ ShLhJxrCVN9TUNNd3/H/pFF89yQ7kK8dm3n9OUD2YIiNPM7YAsdv0k3nkt+K+c65oZ WpKPHKSi7pqUXzO9mLnZzlz8jCj9MKK3OyxtoSaWuYziEZhRQLp7VSPqW1SMJy1E+k FAcV70IXvs3Sxo8uve2NyblWLFCtKy7lOMqrh5ycQVV9LZF0Y45VwvCFPX8irrgSzX ZvMmh2yFbLm8w== From: Federico Serafini To: xen-devel@lists.xenproject.org Cc: consulting@bugseng.com, Federico Serafini , Jan Beulich , Andrew Cooper , =?UTF-8?q?Roger=20Pau=20Monn=C3=A9?= Subject: [XEN PATCH 09/12] x86/emul: address violations of MISRA C Rule 16.3 Date: Tue, 10 Sep 2024 12:09:01 +0200 Message-Id: <0fa68b9aee5a7a3f1b696bfc6b18ecc826663212.1725958417.git.federico.serafini@bugseng.com> X-Mailer: git-send-email 2.34.1 In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-ZohoMail-DKIM: pass (identity @bugseng.com) X-ZM-MESSAGEID: 1725962983196116600 Content-Type: text/plain; charset="utf-8" Address violations of MISRA C:2012 Rule 16.3: "An unconditional `break' statement shall terminate every switch-clause". No functional change. Signed-off-by: Federico Serafini --- xen/arch/x86/x86_emulate/fpu.c | 4 ++++ xen/arch/x86/x86_emulate/x86_emulate.c | 1 + 2 files changed, 5 insertions(+) diff --git a/xen/arch/x86/x86_emulate/fpu.c b/xen/arch/x86/x86_emulate/fpu.c index 480d879657..3351f549e7 100644 --- a/xen/arch/x86/x86_emulate/fpu.c +++ b/xen/arch/x86/x86_emulate/fpu.c @@ -218,6 +218,7 @@ int x86emul_fpu(struct x86_emulate_state *s, */ if ( dst->type =3D=3D OP_MEM && !s->fpu_ctrl && !fpu_check_wri= te() ) dst->type =3D OP_NONE; + break; } break; =20 @@ -296,6 +297,7 @@ int x86emul_fpu(struct x86_emulate_state *s, default: generate_exception(X86_EXC_UD); } + break; } break; =20 @@ -386,6 +388,7 @@ int x86emul_fpu(struct x86_emulate_state *s, */ if ( dst->type =3D=3D OP_MEM && !s->fpu_ctrl && !fpu_check_wri= te() ) dst->type =3D OP_NONE; + break; } break; =20 @@ -457,6 +460,7 @@ int x86emul_fpu(struct x86_emulate_state *s, case 7: /* fistp m64i */ goto fpu_memdst64; } + break; } break; =20 diff --git a/xen/arch/x86/x86_emulate/x86_emulate.c b/xen/arch/x86/x86_emul= ate/x86_emulate.c index 2b03d65fce..9fb316e0d7 100644 --- a/xen/arch/x86/x86_emulate/x86_emulate.c +++ b/xen/arch/x86/x86_emulate/x86_emulate.c @@ -8297,6 +8297,7 @@ x86_emulate( } if ( rc !=3D 0 ) goto done; + break; default: break; } --=20 2.34.1 From nobody Mon Nov 3 18:32:01 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; dmarc=pass(p=none dis=none) header.from=bugseng.com ARC-Seal: i=1; a=rsa-sha256; t=1725962983; cv=none; d=zohomail.com; s=zohoarc; b=X/vBR0qFAiPU9e32iH31uWB81nl7lDwfrD790edeR8koASfppBD6gpwD1V9HelPXKtamzqh5yG7pVUjYOJI9JFnDunRwjNsTSX0GX0Ra+6tS/OegpLy8qbB1YAj/KEinlx/1Ez2Ykwzuqusmt8DoD6+Q1kR9lpgEoBSW4ZLguUA= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1725962983; h=Content-Transfer-Encoding:Cc:Cc:Date:Date:From:From:In-Reply-To:List-Subscribe:List-Post:List-Id:List-Help:List-Unsubscribe:MIME-Version:Message-ID:References:Sender:Subject:Subject:To:To:Message-Id:Reply-To; bh=Xkp6HT0a5dz+5GMf1WJN/lP5kMJ4KHo3y6NuXHIWQAM=; b=gbTOPdNtsl0+jQC0TF5FACHZNycd8hMuIm0NJkp3tOicaPolbMNKxIX2WwYRm2Cb4vpyWB/0nqB1eez9kipm2uHSH+g5pchwqWoTrKeOCISZqLSU+EWKUblkj9C1uy/LIGqo+9CwGdzfI+RniDTt8chJZl0x1O7NW4aGqGhZHME= ARC-Authentication-Results: i=1; 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; 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 1725962983549189.14362173377594; Tue, 10 Sep 2024 03:09:43 -0700 (PDT) Received: from list by lists.xenproject.org with outflank-mailman.795242.1204541 (Exim 4.92) (envelope-from ) id 1snxoJ-0000d7-R5; Tue, 10 Sep 2024 10:09:23 +0000 Received: by outflank-mailman (output) from mailman id 795242.1204541; Tue, 10 Sep 2024 10:09:23 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1snxoJ-0000a2-Im; Tue, 10 Sep 2024 10:09:23 +0000 Received: by outflank-mailman (input) for mailman id 795242; Tue, 10 Sep 2024 10:09:21 +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 1snxoH-0006in-7W for xen-devel@lists.xenproject.org; Tue, 10 Sep 2024 10:09:21 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id bd0603c7-6f5c-11ef-99a1-01e77a169b0f; Tue, 10 Sep 2024 12:09:17 +0200 (CEST) Received: from truciolo.homenet.telecomitalia.it (host-79-37-206-90.retail.telecomitalia.it [79.37.206.90]) by support.bugseng.com (Postfix) with ESMTPSA id AB63D4EE07BF; Tue, 10 Sep 2024 12:09:16 +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: bd0603c7-6f5c-11ef-99a1-01e77a169b0f DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=bugseng.com; s=mail; t=1725962957; bh=0WA5TNOak9DHiUvT2R0QjGNY4akxGWSuMkA+27BsZOo=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=Xj7QyxZIHcQgACVj658oqOuFJHdjfzr6Ug0bc0xSufGg9hOhCdN8pPUY1/qVQpWb/ HNVEAmk+6RKnPODopuMtLrcl6KqtaTOwDOQfJwW/Bqp2z5CVSMQX9gGoyGy8Swtdz9 AFd96ovXptUAmcexCgOL8pi5/F/Muek4Cm29jXAUrKp29osOw9ZvVGkdHLVVd959WU QZX8bWSD7YN6IcUYosL7zN7O72lD9tYKd8Af8xKreBEQ7tegJKWlVj3m7baZZbxGam CDEvO5CfNhDdNP1l2r7uPqcfWZlIzucelBKQv0NoGYT3h0f7ojCW/pAJtlaAAyEql/ HK18F0LyHE35A== From: Federico Serafini To: xen-devel@lists.xenproject.org Cc: consulting@bugseng.com, Federico Serafini , "Daniel P. Smith" , =?UTF-8?q?Marek=20Marczykowski-G=C3=B3recki?= , Jan Beulich Subject: [XEN PATCH 10/12] efi: address violation of MISRA C Rule 16.3 Date: Tue, 10 Sep 2024 12:09:02 +0200 Message-Id: <302110f2f41f6b7f74fcb90f8902137b0a619082.1725958417.git.federico.serafini@bugseng.com> X-Mailer: git-send-email 2.34.1 In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-ZohoMail-DKIM: pass (identity @bugseng.com) X-ZM-MESSAGEID: 1725962985399116600 Content-Type: text/plain; charset="utf-8" Use agreed syntax for pseudo-keyword fallthrough to meet the requirements to deviate a violation of MISRA C:2012 Rule 16.3: "An unconditional `break' statement shall terminate every switch-clause". No functional change. Signed-off-by: Federico Serafini Acked-by: Marek Marczykowski-G=C3=B3recki --- xen/common/efi/runtime.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xen/common/efi/runtime.c b/xen/common/efi/runtime.c index d03e5c90ce..376fcbd8e1 100644 --- a/xen/common/efi/runtime.c +++ b/xen/common/efi/runtime.c @@ -691,7 +691,7 @@ int efi_runtime_call(struct xenpf_efi_runtime_call *op) =20 if ( !efi_enabled(EFI_RS) || (efi_rs->Hdr.Revision >> 16) < 2 ) return -EOPNOTSUPP; - /* XXX fall through for now */ + fallthrough; /* XXX fall through for now */ default: return -ENOSYS; } --=20 2.34.1 From nobody Mon Nov 3 18:32:01 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; dmarc=pass(p=none dis=none) header.from=bugseng.com ARC-Seal: i=1; a=rsa-sha256; t=1725962983; cv=none; d=zohomail.com; s=zohoarc; b=KKxp5nJOJjr+EYqhWcAvy0dKIBkirQM1i0EeG1TKWki0h9LpLf1DVg5hDJE6pd0fhjBumhSnqt8S/8tNacSHB2p6Ug0uQz442jRhSmGvRJ8MSv0LBMJmig00JrcFf8Nx3rZPSpJtptg10mxiEpU9UYZJlJHaD1/hneG3rTHOvm4= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1725962983; h=Content-Transfer-Encoding:Cc:Cc:Date:Date:From:From:In-Reply-To:List-Subscribe:List-Post:List-Id:List-Help:List-Unsubscribe:MIME-Version:Message-ID:References:Sender:Subject:Subject:To:To:Message-Id:Reply-To; bh=YFP4jcRlxn2UlgyvKfyHvuE9IBi5XqbiUy+m9cgNkCU=; b=NxVw/7bEUw1iMM3RXGzjk9f02Xd6VVzIoplBND9iH4WBoZyDfw/Wyt0y1SKX07xQP5BTEaYNCKJXQdqHjdboxMKok5Lmzru4EvV6t9h72dOCsnvbNA5M9jBddtR0M1xXwos38SshqULMUBFunBSQ2y1+atir2PeEHrVUYJ9LeFE= ARC-Authentication-Results: i=1; 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; 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 1725962983883708.7464964207395; Tue, 10 Sep 2024 03:09:43 -0700 (PDT) Received: from list by lists.xenproject.org with outflank-mailman.795243.1204552 (Exim 4.92) (envelope-from ) id 1snxoK-0000nH-Ud; Tue, 10 Sep 2024 10:09:24 +0000 Received: by outflank-mailman (output) from mailman id 795243.1204552; Tue, 10 Sep 2024 10:09:24 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1snxoK-0000io-5x; Tue, 10 Sep 2024 10:09:24 +0000 Received: by outflank-mailman (input) for mailman id 795243; Tue, 10 Sep 2024 10:09:22 +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 1snxoI-0006in-7Y for xen-devel@lists.xenproject.org; Tue, 10 Sep 2024 10:09:22 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id bd35b6c8-6f5c-11ef-99a1-01e77a169b0f; Tue, 10 Sep 2024 12:09:17 +0200 (CEST) Received: from truciolo.homenet.telecomitalia.it (host-79-37-206-90.retail.telecomitalia.it [79.37.206.90]) by support.bugseng.com (Postfix) with ESMTPSA id 15E9C4EE07A5; Tue, 10 Sep 2024 12:09:17 +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: bd35b6c8-6f5c-11ef-99a1-01e77a169b0f DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=bugseng.com; s=mail; t=1725962957; bh=w6dJg0N0Gwxpq3+C0w0/DqhPaRkVVEdL4S1X1KOxgVw=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=ME5hvuBvJq2k9ROgoGEt6BEY0aKD6A3zaSHZXK4gz+k+Gm8YD7dNOp6D+z+x2NK/V xpygvp88SnGTFHWs+BR5DCUStrqhbXHlr+n1Kz3YClEKH2uNtti+FIA/Kr8s5TO0/Y KYPybob31mGlgIILtUKLMopiQNtsCTzvD/WnHOguWWbaaSWsyBBGO7kaVSIz79mdkO wUiJ1acLbhJuSnR1f5zScmmXWPzexfivVtdTZ1ItCWS3Fse2otqEG0qpt+1M9xJRse 6p6RB0jmBxSdX4LYiuGx66Qx7JSFzZ4/OMeC5wUBFNVzWiOhEpCnr0pJYske+dWq+D NibmBa9wn3nBA== From: Federico Serafini To: xen-devel@lists.xenproject.org Cc: consulting@bugseng.com, Federico Serafini , =?UTF-8?q?Roger=20Pau=20Monn=C3=A9?= Subject: [XEN PATCH 11/12] xen/vpci: add defensive code Date: Tue, 10 Sep 2024 12:09:03 +0200 Message-Id: X-Mailer: git-send-email 2.34.1 In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-ZohoMail-DKIM: pass (identity @bugseng.com) X-ZM-MESSAGEID: 1725962985384116600 Content-Type: text/plain; charset="utf-8" Add defensive code in unreachable program points. This also meets the requirements to deviate a violation of MISRA C:2012 Rule 16.3: "An unconditional `break' statement shall terminate every switch-clause". Signed-off-by: Federico Serafini --- xen/drivers/vpci/msix.c | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/xen/drivers/vpci/msix.c b/xen/drivers/vpci/msix.c index fbe710ab92..037f9a0449 100644 --- a/xen/drivers/vpci/msix.c +++ b/xen/drivers/vpci/msix.c @@ -364,6 +364,8 @@ static int adjacent_read(const struct domain *d, const = struct vpci_msix *msix, =20 default: ASSERT_UNREACHABLE(); + spin_unlock(&vpci->lock); + return X86EMUL_UNHANDLEABLE; } spin_unlock(&vpci->lock); =20 @@ -512,6 +514,8 @@ static int adjacent_write(const struct domain *d, const= struct vpci_msix *msix, =20 default: ASSERT_UNREACHABLE(); + spin_unlock(&vpci->lock); + return X86EMUL_UNHANDLEABLE; } spin_unlock(&vpci->lock); =20 --=20 2.34.1 From nobody Mon Nov 3 18:32:01 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; dmarc=pass(p=none dis=none) header.from=bugseng.com ARC-Seal: i=1; a=rsa-sha256; t=1725962982; cv=none; d=zohomail.com; s=zohoarc; b=dcuuh3+JsRQ+gokIQY6yzYa1gwqCLroFMyQfP/VKd3k3m6ANiCAZjc0zJBlcj9IfSLhoyHPF/XiOeQjEB0Ex3ZB3NrdqGraC/K1uyptQsK3nXYKqgb/51n6UjJDl8HmA9LhkOJcnU08XuIEf4Pni1T/9mAV/Ed5nfeNHPkrlbXw= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1725962982; h=Content-Transfer-Encoding:Cc:Cc:Date:Date:From:From:In-Reply-To:List-Subscribe:List-Post:List-Id:List-Help:List-Unsubscribe:MIME-Version:Message-ID:References:Sender:Subject:Subject:To:To:Message-Id:Reply-To; bh=wiW4SWxLkDdrc1bFuTNRQrv3JcVA7bULvUctPjPale8=; b=NjUjLGBI91nJTW4myFTwAIEczhkax3wZVSt9X/o2MC2wPbb+z0fHz1lYn7DmA1oXf85CtW1MzAEidJ2u5rfRWQ8mwMCIIHtUUTtpPoz7PDXcaw3l5c+ILprsqjNWQl7kdeQGoU00Vx/d+ju4C4m4Ao+nTp+SYod/lyRWB/g4kjY= ARC-Authentication-Results: i=1; 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; 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 1725962982303621.6496832543538; Tue, 10 Sep 2024 03:09:42 -0700 (PDT) Received: from list by lists.xenproject.org with outflank-mailman.795239.1204511 (Exim 4.92) (envelope-from ) id 1snxoG-00088I-SP; Tue, 10 Sep 2024 10:09:20 +0000 Received: by outflank-mailman (output) from mailman id 795239.1204511; Tue, 10 Sep 2024 10:09:20 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1snxoG-000874-GU; Tue, 10 Sep 2024 10:09:20 +0000 Received: by outflank-mailman (input) for mailman id 795239; Tue, 10 Sep 2024 10:09:18 +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 1snxoE-0006hI-AU for xen-devel@lists.xenproject.org; Tue, 10 Sep 2024 10:09:18 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id bd7ee6d3-6f5c-11ef-a0b5-8be0dac302b0; Tue, 10 Sep 2024 12:09:18 +0200 (CEST) Received: from truciolo.homenet.telecomitalia.it (host-79-37-206-90.retail.telecomitalia.it [79.37.206.90]) by support.bugseng.com (Postfix) with ESMTPSA id 623FC4EE07BC; Tue, 10 Sep 2024 12:09:17 +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: bd7ee6d3-6f5c-11ef-a0b5-8be0dac302b0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=bugseng.com; s=mail; t=1725962957; bh=Wzd19j+5sdHV5ycixT7bH8d010X065zNVcpGpfr7Qh8=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=yQcXn6UqvvTYA/+d8iwzKMdvnAAyAabOwroyHaI81cEKFydQtk4qejFgWX7Qzx2z2 zrsEdFJq6RJjcZ1/GAZSEQ9nmjOv59fxaLZ6ez8ng7bHGOB7aHuMCp7UkwSgTraDDc UtKdY06Ad5+s/Hy3is5k7rwiPULRpZFvhqlOer9G7Q0WRvKE7Q4HRHpnBRTQPyul25 8Zu6OtKMzg/pCIcKotbKE7lTxun4YNcKYIHDaQr8ToPKGUKxEcLo6ZEp6J1RbLg3DB CQok6PkqcAWYaRm1g8yJ8J0/2gOtbOuQlKtnT2z6lKcfT7QByqZmShNd1ovmb0IS4j dWP5QZrdKmI3g== From: Federico Serafini To: xen-devel@lists.xenproject.org Cc: consulting@bugseng.com, Federico Serafini , Jan Beulich , =?UTF-8?q?Roger=20Pau=20Monn=C3=A9?= Subject: [XEN PATCH 12/12] xen/pci: address a violation of MISRA C Rule 16.3 Date: Tue, 10 Sep 2024 12:09:04 +0200 Message-Id: X-Mailer: git-send-email 2.34.1 In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-ZohoMail-DKIM: pass (identity @bugseng.com) X-ZM-MESSAGEID: 1725962983210116600 Content-Type: text/plain; charset="utf-8" Address violations of MISRA C:2012 Rule 16.3: "An unconditional `break' statement shall terminate every switch-clause". No functional change. Signed-off-by: Federico Serafini --- xen/drivers/passthrough/pci.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/xen/drivers/passthrough/pci.c b/xen/drivers/passthrough/pci.c index 5a446d3dce..a5705def3f 100644 --- a/xen/drivers/passthrough/pci.c +++ b/xen/drivers/passthrough/pci.c @@ -170,8 +170,10 @@ static int __init cf_check parse_phantom_dev(const cha= r *str) { case 1: case 2: case 4: if ( *s ) - default: return -EINVAL; + break; + default: + return -EINVAL; } =20 phantom_devs[nr_phantom_devs++] =3D phantom; --=20 2.34.1