From nobody Mon Feb 9 09:52:32 2026 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=1568117088; cv=none; d=zoho.com; s=zohoarc; b=nnYfnEsAHbfF7HIeNsNBlxM3ekyTNSuq95WdcHWHOjkyQwt4bv5wmQuNsGfWoPMbPHBJeRMyFkotG5eWs5eU9XnOcrLxHIHA1J0533gp74eg3u9SXHBzMJ5hQbJBQ7w6/8NBgLF5pZUC3gFdUt39wnbKBQLdXizzoQJdceCVKe4= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zoho.com; s=zohoarc; t=1568117088; h=Content-Type:Content-Transfer-Encoding:Cc:Date:From:In-Reply-To:List-Subscribe:List-Post:List-Id:List-Help:List-Unsubscribe:MIME-Version:Message-ID:References:Sender:Subject:To:ARC-Authentication-Results; bh=56lO5pGhMGL9AhX0EvLArWrObLtIhr0k6smZxdSwJjk=; b=VQGLoDAJy3UKMsgILPkDu9gfZUWzWWdegyq0YkZpuC9EzfQmNXK/C6iBXoHqyVqX7cgyIQuG5HSveFDibkI9/YNkN7yqeZ5i1YaRy2F9ukmXwxzLeAixDO34KH1jlC9uY9qXp0/I0lOih6FdV3hl9zOzyq9TuMspK9aEM7Z8gJA= 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 1568117088780725.5257112884502; Tue, 10 Sep 2019 05:04:48 -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 1i7erf-0007H4-NL; Tue, 10 Sep 2019 12:03:19 +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 1i7ere-0007Gu-4M for xen-devel@lists.xenproject.org; Tue, 10 Sep 2019 12:03:18 +0000 Received: from esa5.hc3370-68.iphmx.com (unknown [216.71.155.168]) by us1-amaz-eas2.inumbo.com (Halon) with ESMTPS id f90939b0-d3c2-11e9-ac1c-12813bfff9fa; Tue, 10 Sep 2019 12:03:17 +0000 (UTC) X-Inumbo-ID: f90939b0-d3c2-11e9-ac1c-12813bfff9fa DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=citrix.com; s=securemail; t=1568116997; h=from:to:cc:subject:date:message-id:in-reply-to: references:mime-version; bh=brCSTwUkoGhVIkFqYux1Raelk3CM0eMyTZfT+OnsnSA=; b=Xhl5kWrWqN2H5XpZusdfCf+v1ozxuMyDEZcR13jOg0PlOsUatl8Tj9Gk uEeODUR+bWBHMVER4gv749W5777Rz7gYCvKuS/pb7BoByJBc/2YkiBq88 C8PLZqrORFigzkhQp/ZuBhObWtL0OWEPp7cUyDAr9zL3aV30DOyTR/9/C g=; Authentication-Results: esa5.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 (esa5.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=esa5.hc3370-68.iphmx.com; envelope-from="Ian.Jackson@citrix.com"; x-sender="ian.jackson@eu.citrix.com"; x-conformance=sidf_compatible Received-SPF: Pass (esa5.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=esa5.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 (esa5.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=esa5.hc3370-68.iphmx.com; envelope-from="Ian.Jackson@citrix.com"; x-sender="postmaster@mail.citrix.com"; x-conformance=sidf_compatible IronPort-SDR: xWdLzGSdW2Z543kJdaVauR2R1zOUKcoT1zLg0iX2DL5yUF0FmH7nEcc4tXBcfiXMRz3YR6t7dU isILW4WWy5j3qAZTQq1QybMGkd9HFYyw59SK/WUuMe2rQjLUGM/WOe4c8pKQOZLwdrZXEYoQy3 thjkupTPAVC0r1kXNgtZhB1gKgzNCrJ6vQAdxcjyWo2JAT8Ee5Mmnhr4Kxdpuj7y/c2I5YksGe aEMfNkvRPz1wzjYBH1IP32+OsUCIn5rPWGUsYr8xoQquIlsg+wt/4Z66lwfS8MiaJFzivFzv5Y /NE= X-SBRS: 2.7 X-MesageID: 5555844 X-Ironport-Server: esa5.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="5555844" From: Ian Jackson To: Date: Tue, 10 Sep 2019 13:01:57 +0100 Message-ID: <20190910120207.10358-3-ian.jackson@eu.citrix.com> X-Mailer: git-send-email 2.11.0 In-Reply-To: <20190910120207.10358-1-ian.jackson@eu.citrix.com> References: <20190910120207.10358-1-ian.jackson@eu.citrix.com> MIME-Version: 1.0 Subject: [Xen-devel] [PATCH v3 02/12] tools/ocaml: Add missing CAP_PV 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) From: Andrew Cooper c/s f089fddd941 broke the Ocaml ABI by renumering XEN_SYSCTL_PHYSCAP_direct= io without adjusting the Ocaml physinfo_cap_flag enumeration. Fix this by inserting CAP_PV between CAP_HVM and CAP_DirectIO. Signed-off-by: Andrew Cooper Signed-off-by: Ian Jackson --- tools/ocaml/libs/xc/xenctrl.ml | 1 + tools/ocaml/libs/xc/xenctrl.mli | 5 ++++- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/tools/ocaml/libs/xc/xenctrl.ml b/tools/ocaml/libs/xc/xenctrl.ml index 305625cb6c..097f39d5ce 100644 --- a/tools/ocaml/libs/xc/xenctrl.ml +++ b/tools/ocaml/libs/xc/xenctrl.ml @@ -100,6 +100,7 @@ type sched_control =3D =20 type physinfo_cap_flag =3D | CAP_HVM + | CAP_PV | CAP_DirectIO =20 type physinfo =3D diff --git a/tools/ocaml/libs/xc/xenctrl.mli b/tools/ocaml/libs/xc/xenctrl.= mli index da93160ed3..957c9fdc2e 100644 --- a/tools/ocaml/libs/xc/xenctrl.mli +++ b/tools/ocaml/libs/xc/xenctrl.mli @@ -83,7 +83,10 @@ type domaininfo =3D { arch_config : arch_domainconfig; } type sched_control =3D { weight : int; cap : int; } -type physinfo_cap_flag =3D CAP_HVM | CAP_DirectIO +type physinfo_cap_flag =3D + | CAP_HVM + | CAP_PV + | CAP_DirectIO type physinfo =3D { threads_per_core : int; cores_per_socket : int; --=20 2.11.0 _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel