From nobody Mon Nov 25 20:11:31 2024 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 1716821628268695.9090649578693; Mon, 27 May 2024 07:53:48 -0700 (PDT) Received: from list by lists.xenproject.org with outflank-mailman.730807.1136041 (Exim 4.92) (envelope-from ) id 1sBbj6-0005Zh-O1; Mon, 27 May 2024 14:53:28 +0000 Received: by outflank-mailman (output) from mailman id 730807.1136041; Mon, 27 May 2024 14:53:28 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1sBbj6-0005Za-KI; Mon, 27 May 2024 14:53:28 +0000 Received: by outflank-mailman (input) for mailman id 730807; Mon, 27 May 2024 14:53:27 +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 1sBbj5-00056V-8W for xen-devel@lists.xenproject.org; Mon, 27 May 2024 14:53:27 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id de628393-1c38-11ef-b4bb-af5377834399; Mon, 27 May 2024 16:53:24 +0200 (CEST) Received: from nico.bugseng.com (unknown [46.228.253.194]) by support.bugseng.com (Postfix) with ESMTPSA id 066114EE0742; Mon, 27 May 2024 16:53:23 +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: de628393-1c38-11ef-b4bb-af5377834399 From: Nicola Vetrini To: nicola.vetrini@bugseng.com, 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, Andrew Cooper , George Dunlap , Jan Beulich , Julien Grall Subject: [XEN PATCH 1/4] docs/misra: exclude gdbsx from MISRA compliance Date: Mon, 27 May 2024 16:53:16 +0200 Message-Id: <83d89e6fa141bb91d7716cf33f086edf9a6d7ae1.1716814609.git.nicola.vetrini@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: 1716821630364100005 Content-Type: text/plain; charset="utf-8" These files are used when debugging Xen, and are not meant to comply with MISRA rules at the moment. No functional change. Signed-off-by: Nicola Vetrini Acked-by: Jan Beulich --- docs/misra/exclude-list.json | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/docs/misra/exclude-list.json b/docs/misra/exclude-list.json index cd6976542793..2567e8467c78 100644 --- a/docs/misra/exclude-list.json +++ b/docs/misra/exclude-list.json @@ -77,6 +77,14 @@ "rel_path": "arch/x86/dmi_scan.c", "comment": "Imported from Linux, ignore for now" }, + { + "rel_path": "arch/x86/gdbsx.c", + "comment": "Used for debugging Xen, ignore for now" + }, + { + "rel_path": "arch/x86/include/asm/gdbsx.h", + "comment": "Used for debugging Xen, ignore for now" + }, { "rel_path": "arch/x86/mpparse.c", "comment": "Imported from Linux, ignore for now" --=20 2.34.1 From nobody Mon Nov 25 20:11:31 2024 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 1716821630698232.21229760239078; Mon, 27 May 2024 07:53:50 -0700 (PDT) Received: from list by lists.xenproject.org with outflank-mailman.730809.1136061 (Exim 4.92) (envelope-from ) id 1sBbj8-00063Y-BX; Mon, 27 May 2024 14:53:30 +0000 Received: by outflank-mailman (output) from mailman id 730809.1136061; Mon, 27 May 2024 14:53:30 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1sBbj8-00062i-7I; Mon, 27 May 2024 14:53:30 +0000 Received: by outflank-mailman (input) for mailman id 730809; Mon, 27 May 2024 14:53:28 +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 1sBbj6-00056V-8h for xen-devel@lists.xenproject.org; Mon, 27 May 2024 14:53:28 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id deaf5cdf-1c38-11ef-b4bb-af5377834399; Mon, 27 May 2024 16:53:25 +0200 (CEST) Received: from nico.bugseng.com (unknown [46.228.253.194]) by support.bugseng.com (Postfix) with ESMTPSA id A1BF94EE0743; Mon, 27 May 2024 16:53:24 +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: deaf5cdf-1c38-11ef-b4bb-af5377834399 From: Nicola Vetrini To: nicola.vetrini@bugseng.com, 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, Simone Ballarin , Doug Goldstein Subject: [XEN PATCH 2/4] automation/eclair_analysis: avoid an ECLAIR warning about escaping Date: Mon, 27 May 2024 16:53:17 +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-ZM-MESSAGEID: 1716821632415100001 Content-Type: text/plain; charset="utf-8" The parentheses in this regular expression should be doubly escaped because they are undergo escaping twice. Signed-off-by: Nicola Vetrini Acked-by: Stefano Stabellini --- automation/eclair_analysis/ECLAIR/deviations.ecl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/automation/eclair_analysis/ECLAIR/deviations.ecl b/automation/= eclair_analysis/ECLAIR/deviations.ecl index b9b377c56b25..cf62a874d928 100644 --- a/automation/eclair_analysis/ECLAIR/deviations.ecl +++ b/automation/eclair_analysis/ECLAIR/deviations.ecl @@ -405,8 +405,8 @@ explicit comment indicating the fallthrough intention i= s present." # =20 -doc_begin=3D"printf()-like functions are allowed to use the variadic feat= ures provided by stdarg.h." --config=3DMC3R1.R17.1,reports+=3D{deliberate,"any_area(^.*va_list.*$&&cont= ext(ancestor_or_self(^.*printk\(.*\)$)))"} --config=3DMC3R1.R17.1,reports+=3D{deliberate,"any_area(^.*va_list.*$&&cont= ext(ancestor_or_self(^.*printf\(.*\)$)))"} +-config=3DMC3R1.R17.1,reports+=3D{deliberate,"any_area(^.*va_list.*$&&cont= ext(ancestor_or_self(^.*printk\\(.*\\)$)))"} +-config=3DMC3R1.R17.1,reports+=3D{deliberate,"any_area(^.*va_list.*$&&cont= ext(ancestor_or_self(^.*printf\\(.*\\)$)))"} -config=3DMC3R1.R17.1,reports+=3D{deliberate,"any_area(^.*va_list.*$&&cont= ext(ancestor_or_self(name(panic)&&kind(function))))"} -config=3DMC3R1.R17.1,reports+=3D{deliberate,"any_area(^.*va_list.*$&&cont= ext(ancestor_or_self(name(elf_call_log_callback)&&kind(function))))"} -config=3DMC3R1.R17.1,reports+=3D{deliberate,"any_area(^.*va_list.*$&&cont= ext(ancestor_or_self(name(vprintk_common)&&kind(function))))"} --=20 2.34.1 From nobody Mon Nov 25 20:11:31 2024 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 1716821626517867.4885000558367; Mon, 27 May 2024 07:53:46 -0700 (PDT) Received: from list by lists.xenproject.org with outflank-mailman.730806.1136026 (Exim 4.92) (envelope-from ) id 1sBbj5-00059F-Ig; Mon, 27 May 2024 14:53:27 +0000 Received: by outflank-mailman (output) from mailman id 730806.1136026; Mon, 27 May 2024 14:53: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 1sBbj5-00058P-CQ; Mon, 27 May 2024 14:53:27 +0000 Received: by outflank-mailman (input) for mailman id 730806; Mon, 27 May 2024 14:53:26 +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 1sBbj4-00056W-LY for xen-devel@lists.xenproject.org; Mon, 27 May 2024 14:53:26 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id df0196c3-1c38-11ef-90a1-e314d9c70b13; Mon, 27 May 2024 16:53:25 +0200 (CEST) Received: from nico.bugseng.com (unknown [46.228.253.194]) by support.bugseng.com (Postfix) with ESMTPSA id 2B1544EE0745; Mon, 27 May 2024 16:53:25 +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: df0196c3-1c38-11ef-90a1-e314d9c70b13 From: Nicola Vetrini To: nicola.vetrini@bugseng.com, 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, Jan Beulich , Andrew Cooper , =?UTF-8?q?Roger=20Pau=20Monn=C3=A9?= Subject: [XEN PATCH 3/4] x86: address violations of MISRA C Rule 8.4 Date: Mon, 27 May 2024 16:53:18 +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-ZM-MESSAGEID: 1716821628378100003 Content-Type: text/plain; charset="utf-8" Rule 8.4 states: "A compatible declaration shall be visible when an object or function with external linkage is defined." These variables are only referenced from asm modules, so they need to be extern and there is negligible risk of them being used improperly without noticing. As a result, they can be exempted using a comment-based deviation. No functional change. Signed-off-by: Nicola Vetrini Acked-by: Jan Beulich --- Adding the asmlinkage macro to variables is not appropriate, as this pseudo-attribute may expand, for instance, to a different calling convention in the future (e.g. stdcall) --- xen/arch/x86/desc.c | 1 + xen/arch/x86/mm.c | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/xen/arch/x86/desc.c b/xen/arch/x86/desc.c index 39080ca67211..9f639281540a 100644 --- a/xen/arch/x86/desc.c +++ b/xen/arch/x86/desc.c @@ -91,6 +91,7 @@ seg_desc_t boot_compat_gdt[PAGE_SIZE / sizeof(seg_desc_t)= ] =3D * References boot_cpu_gdt_table for a short period, until the CPUs switch * onto their per-CPU GDTs. */ +/* SAF-1-safe */ const struct desc_ptr boot_gdtr =3D { .limit =3D LAST_RESERVED_GDT_BYTE, .base =3D (unsigned long)(boot_gdt - FIRST_RESERVED_GDT_ENTRY), diff --git a/xen/arch/x86/mm.c b/xen/arch/x86/mm.c index d968bbbc7315..17987eb5199e 100644 --- a/xen/arch/x86/mm.c +++ b/xen/arch/x86/mm.c @@ -144,7 +144,7 @@ l1_pgentry_t __section(".bss.page_aligned") __aligned(PAGE_SIZE) l1_fixmap[L1_PAGETABLE_ENTRIES]; l1_pgentry_t __section(".bss.page_aligned") __aligned(PAGE_SIZE) - l1_fixmap_x[L1_PAGETABLE_ENTRIES]; + l1_fixmap_x[L1_PAGETABLE_ENTRIES]; /* SAF-1-safe */ =20 bool __read_mostly machine_to_phys_mapping_valid; =20 --=20 2.34.1 From nobody Mon Nov 25 20:11:31 2024 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 1716821624761449.0183853886326; Mon, 27 May 2024 07:53:44 -0700 (PDT) Received: from list by lists.xenproject.org with outflank-mailman.730808.1136046 (Exim 4.92) (envelope-from ) id 1sBbj7-0005d3-2U; Mon, 27 May 2024 14:53:29 +0000 Received: by outflank-mailman (output) from mailman id 730808.1136046; Mon, 27 May 2024 14:53:29 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1sBbj6-0005cb-Rp; Mon, 27 May 2024 14:53:28 +0000 Received: by outflank-mailman (input) for mailman id 730808; Mon, 27 May 2024 14:53:27 +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 1sBbj5-00056W-BA for xen-devel@lists.xenproject.org; Mon, 27 May 2024 14:53:27 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id df545d30-1c38-11ef-90a1-e314d9c70b13; Mon, 27 May 2024 16:53:26 +0200 (CEST) Received: from nico.bugseng.com (unknown [46.228.253.194]) by support.bugseng.com (Postfix) with ESMTPSA id AE69A4EE0744; Mon, 27 May 2024 16:53:25 +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: df545d30-1c38-11ef-90a1-e314d9c70b13 From: Nicola Vetrini To: nicola.vetrini@bugseng.com, 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, Jan Beulich , Andrew Cooper , =?UTF-8?q?Roger=20Pau=20Monn=C3=A9?= Subject: [XEN PATCH 4/4] x86/traps: address violation of MISRA C Rule 8.4 Date: Mon, 27 May 2024 16:53:19 +0200 Message-Id: <9d33b2c2aeb59ca67136ed1b65c06e6ef4fd1ed8.1716814609.git.nicola.vetrini@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: 1716821626657100001 Content-Type: text/plain; charset="utf-8" Rule 8.4 states: "A compatible declaration shall be visible when an object or function with external linkage is defined". The function do_general_protection is either used is asm code or only within this unit, so there is no risk of this getting out of sync with its definition, but the function must remain extern. Therefore, this function is deviated using a comment-based deviation. No functional change. Signed-off-by: Nicola Vetrini Acked-by: Jan Beulich --- xen/arch/x86/traps.c | 1 + 1 file changed, 1 insertion(+) diff --git a/xen/arch/x86/traps.c b/xen/arch/x86/traps.c index 468a03608102..9906e874d593 100644 --- a/xen/arch/x86/traps.c +++ b/xen/arch/x86/traps.c @@ -1257,6 +1257,7 @@ void asmlinkage do_int3(struct cpu_user_regs *regs) pv_inject_hw_exception(X86_EXC_BP, X86_EVENT_NO_EC); } =20 +/* SAF-1-safe */ void do_general_protection(struct cpu_user_regs *regs) { #ifdef CONFIG_PV --=20 2.34.1