From nobody Fri Apr 26 09:44:13 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=1568036888; cv=none; d=zoho.com; s=zohoarc; b=LoN3efRLMlGZdbWuWA9iW0xY8SM6z6iDYqPMUtGkVDZw0cFeEf6UcuhZ5DZgvnRO5rChNTreGzhsB0cc/Z6uV8CtlFN2UnegT8mPdC0dZ2NBcWJeaevRZQtAoLmGMCYGLIftdtF7SWvGMIV0ws6D7+DZLp9k4q5iP+n7lLLDJRs= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zoho.com; s=zohoarc; t=1568036888; 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=wi1cDNhdQ7BOrBZ0G7BUUlPPq5BhdX394IJUZLJSUXk=; b=avjkb/UkFnmT7TZu3jUKy32K3cBtSWPQsJX54W/lcw2nJBVg2oae3uAyRcP9jnHPw5IuDmIRsWi5YxR+ha2FSsg47YBJdDrgxxD8OVj6ojcnsffp78u2lZCuYEvSzAsd/3JxNOkfM0oA/sWpUnrpqfsOLhISFl9U6aM6jepQMl8= 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 1568036888550959.3519869047523; Mon, 9 Sep 2019 06:48:08 -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 1i7K0Z-0005EV-Ku; Mon, 09 Sep 2019 13:47:07 +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 1i7K0Y-0005EQ-Ce for xen-devel@lists.xenproject.org; Mon, 09 Sep 2019 13:47:06 +0000 Received: from esa5.hc3370-68.iphmx.com (unknown [216.71.155.168]) by us1-amaz-eas2.inumbo.com (Halon) with ESMTPS id 4ead8f4e-d308-11e9-ac0b-12813bfff9fa; Mon, 09 Sep 2019 13:47:05 +0000 (UTC) X-Inumbo-ID: 4ead8f4e-d308-11e9-ac0b-12813bfff9fa DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=citrix.com; s=securemail; t=1568036824; h=from:to:cc:subject:date:message-id:in-reply-to: references:mime-version:content-transfer-encoding; bh=ZZPKatzjvpvJM+0BL9Uaj4EmUnjuDNrA24QUh/u9/e4=; b=CDoib4VSdUtRxhk2Ar1KXGTAMPEj+lWajJ5IleagIKZrH+D4FJV2A4qJ 3wHu2LYxiuaF0n8KA7b7Dvwz61CvAQQfNi3IovRv6kW9OIVY3JDCzEgvZ MsbASBYo7om9wIedPxXLm5o/DKyTEVTO/exS6PqRZVi9vXYuDj8jFth/p Y=; Authentication-Results: esa5.hc3370-68.iphmx.com; dkim=none (message not signed) header.i=none; spf=None smtp.pra=andrew.cooper3@citrix.com; spf=Pass smtp.mailfrom=Andrew.Cooper3@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 andrew.cooper3@citrix.com) identity=pra; client-ip=162.221.158.21; receiver=esa5.hc3370-68.iphmx.com; envelope-from="Andrew.Cooper3@citrix.com"; x-sender="andrew.cooper3@citrix.com"; x-conformance=sidf_compatible Received-SPF: Pass (esa5.hc3370-68.iphmx.com: domain of Andrew.Cooper3@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="Andrew.Cooper3@citrix.com"; x-sender="Andrew.Cooper3@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="Andrew.Cooper3@citrix.com"; x-sender="postmaster@mail.citrix.com"; x-conformance=sidf_compatible IronPort-SDR: 4/6G4BvnTzAUYC3OgHn1xQNBJZCdD+5Bsl7apCJm+C+boaSt1X8wwDuRJUODfowcQF7IQlIaVZ T3q2KF0fH4uR/+tV1oFwOGaYfUAiq5COGTslMcrG9F9I0ppnQruuXiM0/s0x7WKiqdr9LGogYu Q3CAv0vSEk0m+u6NW60Rwko+3ta7l+KF6Iq1FxJ9EEh2ajkpbWo+n3+6vmKvL86IvewHDDmPVD 9mUcml1UQWNgRrwNvQYt61woJiiw6sOyTfcIVCIHLJfrymhy5LnP7elcPCdSc94Y3M+PbNJwfo +MI= X-SBRS: 2.7 X-MesageID: 5504432 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,484,1559534400"; d="scan'208";a="5504432" From: Andrew Cooper To: Xen-devel Date: Mon, 9 Sep 2019 14:47:01 +0100 Message-ID: <20190909134701.12477-1-andrew.cooper3@citrix.com> X-Mailer: git-send-email 2.11.0 In-Reply-To: <20190906143021.28261-3-roger.pau@citrix.com> References: <20190906143021.28261-3-roger.pau@citrix.com> MIME-Version: 1.0 Subject: [Xen-devel] [PATCH] fixup sysctl/libxl: choose a sane default for HAP 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: Wei Liu , Andrew Cooper , Rob Hoes , Christian Lindig , Ian Jackson , =?UTF-8?q?Roger=20Pau=20Monn=C3=A9?= 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) This delta wants folding to keep the Ocaml stubs in line. Signed-off-by: Andrew Cooper Acked-by: Ian Jackson --- CC: Ian Jackson CC: Wei Liu CC: Roger Pau Monn=C3=A9 CC: Christian Lindig CC: Rob Hoes --- tools/ocaml/libs/xc/xenctrl.ml | 1 + tools/ocaml/libs/xc/xenctrl.mli | 1 + tools/ocaml/libs/xc/xenctrl_stubs.c | 3 ++- xen/include/public/sysctl.h | 2 +- 4 files changed, 5 insertions(+), 2 deletions(-) diff --git a/tools/ocaml/libs/xc/xenctrl.ml b/tools/ocaml/libs/xc/xenctrl.ml index cd7e95a6fa..5da7c96cee 100644 --- a/tools/ocaml/libs/xc/xenctrl.ml +++ b/tools/ocaml/libs/xc/xenctrl.ml @@ -101,6 +101,7 @@ type physinfo_cap_flag =3D | CAP_HVM | CAP_PV | CAP_DirectIO + | CAP_HAP =20 type physinfo =3D { diff --git a/tools/ocaml/libs/xc/xenctrl.mli b/tools/ocaml/libs/xc/xenctrl.= mli index 0bd06ed920..b4e76b827e 100644 --- a/tools/ocaml/libs/xc/xenctrl.mli +++ b/tools/ocaml/libs/xc/xenctrl.mli @@ -86,6 +86,7 @@ type physinfo_cap_flag =3D | CAP_HVM | CAP_PV | CAP_DirectIO + | CAP_HAP type physinfo =3D { threads_per_core : int; cores_per_socket : int; diff --git a/tools/ocaml/libs/xc/xenctrl_stubs.c b/tools/ocaml/libs/xc/xenc= trl_stubs.c index ce8dbba437..10b306f9f8 100644 --- a/tools/ocaml/libs/xc/xenctrl_stubs.c +++ b/tools/ocaml/libs/xc/xenctrl_stubs.c @@ -690,7 +690,8 @@ CAMLprim value stub_xc_physinfo(value xch) BUILD_BUG_ON(XEN_SYSCTL_PHYSCAP_hvm !=3D (1u << 0)); BUILD_BUG_ON(XEN_SYSCTL_PHYSCAP_pv !=3D (1u << 1)); BUILD_BUG_ON(XEN_SYSCTL_PHYSCAP_directio !=3D (1u << 2)); - BUILD_BUG_ON(XEN_SYSCTL_PHYSCAP_MAX !=3D XEN_SYSCTL_PHYSCAP_directio= ); + BUILD_BUG_ON(XEN_SYSCTL_PHYSCAP_hap !=3D (1u << 3)); + BUILD_BUG_ON(XEN_SYSCTL_PHYSCAP_MAX !=3D XEN_SYSCTL_PHYSCAP_hap); cap_list =3D c_bitmap_to_ocaml_list(c_physinfo.capabilities); =20 physinfo =3D caml_alloc_tuple(10); diff --git a/xen/include/public/sysctl.h b/xen/include/public/sysctl.h index c325ae496c..d4b455619c 100644 --- a/xen/include/public/sysctl.h +++ b/xen/include/public/sysctl.h @@ -95,7 +95,7 @@ struct xen_sysctl_tbuf_op { #define XEN_SYSCTL_PHYSCAP_hap (1u<<_XEN_SYSCTL_PHYSCAP_hap) =20 /* Max XEN_SYSCTL_PHYSCAP_* constant. Used for ABI checking. */ -#define XEN_SYSCTL_PHYSCAP_MAX XEN_SYSCTL_PHYSCAP_directio +#define XEN_SYSCTL_PHYSCAP_MAX XEN_SYSCTL_PHYSCAP_hap =20 struct xen_sysctl_physinfo { uint32_t threads_per_core; --=20 2.11.0 _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel