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 88F72CF64A3 for ; Mon, 30 Sep 2024 12:50:04 +0000 (UTC) Received: from list by lists.xenproject.org with outflank-mailman.807349.1218753 (Exim 4.92) (envelope-from ) id 1svFqb-0005vW-2k; Mon, 30 Sep 2024 12:49:53 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 807349.1218753; Mon, 30 Sep 2024 12:49:53 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1svFqb-0005vN-00; Mon, 30 Sep 2024 12:49:53 +0000 Received: by outflank-mailman (input) for mailman id 807349; Mon, 30 Sep 2024 12:49:51 +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 1svFqZ-0005el-Py for xen-devel@lists.xenproject.org; Mon, 30 Sep 2024 12:49:51 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 79a0f0a2-7f2a-11ef-99a2-01e77a169b0f; Mon, 30 Sep 2024 14:49:48 +0200 (CEST) Received: from truciolo.bugseng.com (unknown [37.161.44.57]) by support.bugseng.com (Postfix) with ESMTPSA id 421774EE0743; Mon, 30 Sep 2024 14:49:45 +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" X-Inumbo-ID: 79a0f0a2-7f2a-11ef-99a2-01e77a169b0f DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=bugseng.com; s=mail; t=1727700587; bh=Jpp1Fo55jAqnjqMINsKyso1R2+WP/wsc3J+y3xqFi0I=; h=From:To:Cc:Subject:Date:From; b=HoEzQNTtH1D1OzpR/R4NHArUoguh96jwc3JbvnZFv/qeMwkJSqikDi+8iTsKTuZLA 4UopYiRpzXJjTr6+t2BeUm9U0ZS4DSB/Puh9GQk4QWzU1JvRm253cw7bFg8hCCBuxN Fn4glh/LoShEqinHFHivF8oet6LmJS162dcosbR5jESBpaO22t6hNI9q50Fta8f41W ybCAfveKFhiO4An13N2BSF4UnMd85PtkunzcPsCweITxjU/oW8Tq4OJrZlF3h6kqZS oOyWFKDxkdRp9vp2YToWJiZDThDK1AhwnGvejbrdTYDQbNsFHGHXszdbKpKc40xLYc cIAA5vAUBqkoQ== 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 , Andrew Cooper , Julien Grall , Stefano Stabellini , Simone Ballarin , Doug Goldstein Subject: [XEN PATCH v2 0/3] xen: address violations of MISRA C Rule 13.6 Date: Mon, 30 Sep 2024 14:49:14 +0200 Message-ID: X-Mailer: git-send-email 2.43.0 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Address remaining violations of Rule 13.6 and tag it as clean. Federico Serafini (3): EFI: address violations of MISRA C Rule 13.6 xen/gnttab: address violations of MISRA C Rule 13.6 automation/eclair: tag Rule 13.6 as clean automation/eclair_analysis/ECLAIR/tagging.ecl | 1 + xen/common/compat/grant_table.c | 15 +++++++++------ xen/common/efi/runtime.c | 12 ++++++++++-- 3 files changed, 20 insertions(+), 8 deletions(-) -- 2.43.0