From nobody Thu Mar 28 12:03:36 2024 Delivered-To: importer@patchew.org Authentication-Results: mx.zohomail.com; dkim=fail; spf=none (zoho.com: 192.237.175.120 is neither permitted nor denied by domain of lists.xenproject.org) smtp.mailfrom=xen-devel-bounces@lists.xenproject.org ARC-Seal: i=1; a=rsa-sha256; t=1568128803; cv=none; d=zoho.com; s=zohoarc; b=cSrc50/E73c28FfpaAjJOnrqp17XgKEIsi50viWavWKJBFZDcFQr623/sjLk+rJxlF3e5m4UeSzL3mer4UonK7AJyNQSdShdK4sKXYorzcdda7eqoLcHSHvnDlXZBQlxSNubR7EbaAqYQhV9U02arHuVBnBBonT63S94w9lXRNo= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zoho.com; s=zohoarc; t=1568128803; h=Content-Type:Content-Transfer-Encoding:Cc:Date:From:List-Subscribe:List-Post:List-Id:List-Help:List-Unsubscribe:MIME-Version:Message-ID:Sender:Subject:To:ARC-Authentication-Results; bh=yGu1ib7AQQ/lHIJ9YlPvA6pnrcRey1yu5cI7cHGXpFU=; b=MOeh7PMwqqyPGHSgcd2VR2FMNKif+gk3Ne0WYyPdODg8tscFRYp1gNeAQoGbzB8cnXn4irG2ZzO2BLprbg3hk3QsLrc1LtvYiXOhQ89RgAoZB+JXTdcU7I4MPhNcO8ApmAVYa/FewscaUyScNJI5U4q5EzBNH3OjPbc1OlChXWg= ARC-Authentication-Results: i=1; mx.zoho.com; dkim=fail; spf=none (zoho.com: 192.237.175.120 is neither permitted nor denied by domain of lists.xenproject.org) 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 1568128803006738.6723607797078; Tue, 10 Sep 2019 08:20:03 -0700 (PDT) Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1i7hud-0002Ol-TQ; Tue, 10 Sep 2019 15:18:35 +0000 Received: from all-amaz-eas1.inumbo.com ([34.197.232.57] helo=us1-amaz-eas2.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1i7huc-0002OO-8x for xen-devel@lists.xenproject.org; Tue, 10 Sep 2019 15:18:34 +0000 Received: from esa2.hc3370-68.iphmx.com (unknown [216.71.145.153]) by us1-amaz-eas2.inumbo.com (Halon) with ESMTPS id 3fe5c252-d3de-11e9-ac1f-12813bfff9fa; Tue, 10 Sep 2019 15:18:32 +0000 (UTC) X-Inumbo-ID: 3fe5c252-d3de-11e9-ac1f-12813bfff9fa DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=citrix.com; s=securemail; t=1568128713; h=from:to:cc:subject:date:message-id:mime-version; bh=PdLFScxDIhTc+vZh/i0ruuu2uWhe2SbqTfhGqg/yEAc=; b=foKXnHNW/URlYifYROfKDy2TizW90dRH1WrB5GQBh0Mw/l6rzRKrVLyj DjTRr+XWMi43bRb7Awj19aQ+G1t/w/ajoAxbuZiEunnNuXLH6Ru9oWVDb 8pIHacfJfxJ3Gkq+HoHIsvaAz8CEnnhtS/5b1r/MU0H2JUAF+Dy/4SLb7 k=; Authentication-Results: esa2.hc3370-68.iphmx.com; dkim=none (message not signed) header.i=none; spf=None smtp.pra=ian.jackson@eu.citrix.com; spf=Pass smtp.mailfrom=Ian.Jackson@citrix.com; spf=None smtp.helo=postmaster@mail.citrix.com Received-SPF: none (zoho.com: 192.237.175.120 is neither permitted nor denied by domain of lists.xenproject.org) client-ip=192.237.175.120; envelope-from=xen-devel-bounces@lists.xenproject.org; helo=lists.xenproject.org; Received-SPF: None (esa2.hc3370-68.iphmx.com: no sender authenticity information available from domain of ian.jackson@eu.citrix.com) identity=pra; client-ip=162.221.158.21; receiver=esa2.hc3370-68.iphmx.com; envelope-from="Ian.Jackson@citrix.com"; x-sender="ian.jackson@eu.citrix.com"; x-conformance=sidf_compatible Received-SPF: Pass (esa2.hc3370-68.iphmx.com: domain of Ian.Jackson@citrix.com designates 162.221.158.21 as permitted sender) identity=mailfrom; client-ip=162.221.158.21; receiver=esa2.hc3370-68.iphmx.com; envelope-from="Ian.Jackson@citrix.com"; x-sender="Ian.Jackson@citrix.com"; x-conformance=sidf_compatible; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:209.167.231.154 ip4:178.63.86.133 ip4:195.66.111.40/30 ip4:85.115.9.32/28 ip4:199.102.83.4 ip4:192.28.146.160 ip4:192.28.146.107 ip4:216.52.6.88 ip4:216.52.6.188 ip4:162.221.158.21 ip4:162.221.156.83 ~all" Received-SPF: None (esa2.hc3370-68.iphmx.com: no sender authenticity information available from domain of postmaster@mail.citrix.com) identity=helo; client-ip=162.221.158.21; receiver=esa2.hc3370-68.iphmx.com; envelope-from="Ian.Jackson@citrix.com"; x-sender="postmaster@mail.citrix.com"; x-conformance=sidf_compatible IronPort-SDR: zOcCYuMztLYtfaLw/ILhXWmDlyjhPnurirDz7PROFAegfTIRDf6ZQ5pQkfg/q6Fdmx4cZIi4hg C3pUnFyVNQs6oFAFYgOgiAHtFtMpfBUdnfRPnzfSJhdT+FiPg4cjuTh/Y0U5EFtRXqzMZjD0c6 Dtdm8ya4Rcixf6MoR78kn3OCZ8lbckN/9nhgiR1YG7hjya4Yuaeu8r48uga826tunI2d+qqwZT 6A0mdcbpnt2+g0yAG6/XHx5DkZ4Uy2igI/xIf2ixcr8lAfGNyJ0O5T6iMxM0ddEOhctu8kQY0Y Kww= X-SBRS: 2.7 X-MesageID: 5380434 X-Ironport-Server: esa2.hc3370-68.iphmx.com X-Remote-IP: 162.221.158.21 X-Policy: $RELAYED X-IronPort-AV: E=Sophos;i="5.64,489,1559534400"; d="scan'208";a="5380434" From: Ian Jackson To: Date: Tue, 10 Sep 2019 16:17:58 +0100 Message-ID: <20190910151758.8447-1-ian.jackson@eu.citrix.com> X-Mailer: git-send-email 2.11.0 MIME-Version: 1.0 Subject: [Xen-devel] [PATCH] tools/ocaml: abi check: #include on x86 only X-BeenThere: xen-devel@lists.xenproject.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: Xen developer discussion List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Cc: Andrew Cooper , Ian Jackson , Christian Lindig , Wei Liu , David Scott Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Errors-To: xen-devel-bounces@lists.xenproject.org Sender: "Xen-devel" X-ZohoMail-DKIM: fail (Header signature does not verify) Reported-by: Andrew Cooper Signed-off-by: Ian Jackson Acked-by: Andrew Cooper --- tools/ocaml/libs/xc/xenctrl_stubs.c | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/tools/ocaml/libs/xc/xenctrl_stubs.c b/tools/ocaml/libs/xc/xenc= trl_stubs.c index f86ecc7b7e..3eff6dd8c2 100644 --- a/tools/ocaml/libs/xc/xenctrl_stubs.c +++ b/tools/ocaml/libs/xc/xenctrl_stubs.c @@ -135,7 +135,20 @@ static value c_bitmap_to_ocaml_list CAMLparam0(); CAMLlocal2(list, tmp); =20 +#if defined(__i386__) || defined(__x86_64__) +/* + * This check file contains a mixture of stuff, because it is + * generated from the whole of this xenctrl_stubs.c file (without + * regard to arch ifdefs) and the whole of xenctrl.ml (which does not + * have any arch ifdeffery). Currently, there is only x86 and + * arch-independent stuff, and there is no facility in the abi-check + * script for arch conditionals. So for now we make the checks + * effective on x86 only; this will suffice to defend even ARM + * because breaking changes to common code will break the build + * on x86 and not make it to master. This is a bit of a bodge. + */ #include "xenctrl_abi_check.h" +#endif =20 list =3D tmp =3D Val_emptylist; =20 --=20 2.11.0 _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel