From nobody Mon Feb 9 12:15:11 2026 Delivered-To: importer@patchew.org Authentication-Results: mx.zohomail.com; dkim=pass; spf=pass (zohomail.com: domain of groups.io designates 66.175.222.12 as permitted sender) smtp.mailfrom=bounce+27952+53521+1787277+3901457@groups.io; dmarc=fail(p=none dis=none) header.from=citrix.com Received: from web01.groups.io (web01.groups.io [66.175.222.12]) by mx.zohomail.com with SMTPS id 1580299960469678.197191521972; Wed, 29 Jan 2020 04:12:40 -0800 (PST) Return-Path: X-Received: by 127.0.0.2 with SMTP id X3m2YY1788612xNOQu2kiInx; Wed, 29 Jan 2020 04:12:39 -0800 X-Received: from esa3.hc3370-68.iphmx.com (esa3.hc3370-68.iphmx.com []) by mx.groups.io with SMTP id smtpd.web12.3549.1580299958349481989 for ; Wed, 29 Jan 2020 04:12:39 -0800 Received-SPF: pass (zohomail.com: domain of groups.io designates 66.175.222.12 as permitted sender) client-ip=66.175.222.12; envelope-from=bounce+27952+53521+1787277+3901457@groups.io; helo=web01.groups.io; Received-SPF: None (esa3.hc3370-68.iphmx.com: no sender authenticity information available from domain of anthony.perard@citrix.com) identity=pra; client-ip=162.221.158.21; receiver=esa3.hc3370-68.iphmx.com; envelope-from="anthony.perard@citrix.com"; x-sender="anthony.perard@citrix.com"; x-conformance=sidf_compatible Received-SPF: Pass (esa3.hc3370-68.iphmx.com: domain of anthony.perard@citrix.com designates 162.221.158.21 as permitted sender) identity=mailfrom; client-ip=162.221.158.21; receiver=esa3.hc3370-68.iphmx.com; envelope-from="anthony.perard@citrix.com"; x-sender="anthony.perard@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 ip4:168.245.78.127 ~all" Received-SPF: None (esa3.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=esa3.hc3370-68.iphmx.com; envelope-from="anthony.perard@citrix.com"; x-sender="postmaster@mail.citrix.com"; x-conformance=sidf_compatible IronPort-SDR: Eo5GR9ZukIp/K4oOrV7OAGbhC5PEFly7uPsUFJl6UzEPJrUvppafFkkayQsy6rQmPifbI+QpyW hkR4q/g4sSxZecFqIxKnHLnPi5KMFn5rJS8mgSlW/oJu2o4mVkpxBDGK3FCuYaEMAk55d3plZe 492T8bkp6UVrqsqm0amR7DmB09QT99gLEeTdIh6qhC9ff14dqWooiJgmSkakbQwnvBqZeoJsAj OQ70He0zf19HBMrF5Mqu+Hr6BSHUz0lIwHJTMvbvv9679y09G8Cu09N7/YxqfnmKFkSpEzKQMJ V0A= X-SBRS: 2.7 X-MesageID: 11606516 X-Ironport-Server: esa3.hc3370-68.iphmx.com X-Remote-IP: 162.221.158.21 X-Policy: $RELAYED X-IronPort-AV: E=Sophos;i="5.70,377,1574139600"; d="scan'208";a="11606516" From: "Anthony PERARD" To: CC: Michael D Kinney , Ard Biesheuvel , Anthony Perard , , Laszlo Ersek , "Liming Gao" , Jordan Justen , "Julien Grall" Subject: [edk2-devel] [PATCH 3/5] OvmfPkg/IndustryStandard/Xen: Apply EDK2 coding style to XEN_VCPU_TIME_INFO Date: Wed, 29 Jan 2020 12:12:33 +0000 Message-ID: <20200129121235.1814563-4-anthony.perard@citrix.com> In-Reply-To: <20200129121235.1814563-1-anthony.perard@citrix.com> References: <20200129121235.1814563-1-anthony.perard@citrix.com> MIME-Version: 1.0 Precedence: Bulk List-Unsubscribe: Sender: devel@edk2.groups.io List-Id: Mailing-List: list devel@edk2.groups.io; contact devel+owner@edk2.groups.io Reply-To: devel@edk2.groups.io,anthony.perard@citrix.com X-Gm-Message-State: 4YYDptgBcmNZZliwCdWsbGfMx1787277AA= Content-Transfer-Encoding: quoted-printable DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=groups.io; q=dns/txt; s=20140610; t=1580299959; bh=1Rb9O3PAjn3BqEz3DozDuWzxZF8OgGAuo723550BJQw=; h=CC:Content-Type:Date:From:Reply-To:Subject:To; b=OcBh7mD2+vQNbkgPNUxhhabvH6UzXY9MuSLs/6ehyIwge+KXyGjmkNtS3+6sciz9qY5 FbREUlCRans9p3yQSwaOGy7D/UiI5LRHeP4w2jl/t4SbLED6YDopp4/MjphBD3h3FWUcN SX1RHba9stvhJXaH10UcsCz4QUEZqx31SCU= X-ZohoMail-DKIM: pass (identity @groups.io) Content-Type: text/plain; charset="utf-8" We are going to use new fields from the Xen headers. Apply the EDK2 coding style so that the code that is going to use it doesn't look out of place. Ref: https://bugzilla.tianocore.org/show_bug.cgi?id=3D2490 Signed-off-by: Anthony PERARD Reviewed-by: Laszlo Ersek --- OvmfPkg/Include/IndustryStandard/Xen/xen.h | 17 +++++++++-------- 1 file changed, 9 insertions(+), 8 deletions(-) diff --git a/OvmfPkg/Include/IndustryStandard/Xen/xen.h b/OvmfPkg/Include/I= ndustryStandard/Xen/xen.h index e55d93263285..ac9155089902 100644 --- a/OvmfPkg/Include/IndustryStandard/Xen/xen.h +++ b/OvmfPkg/Include/IndustryStandard/Xen/xen.h @@ -183,10 +183,10 @@ struct vcpu_time_info { * The correct way to interact with the version number is similar to * Linux's seqlock: see the implementations of read_seqbegin/read_seqr= etry. */ - UINT32 version; + UINT32 Version; UINT32 pad0; - UINT64 tsc_timestamp; /* TSC at last update of time vals. */ - UINT64 system_time; /* Time, in nanosecs, since boot. */ + UINT64 TSCTimestamp; /* TSC at last update of time vals. */ + UINT64 SystemTime; /* Time, in nanosecs, since boot. */ /* * Current system time: * system_time + @@ -194,11 +194,11 @@ struct vcpu_time_info { * CPU frequency (Hz): * ((10^9 << 32) / tsc_to_system_mul) >> tsc_shift */ - UINT32 tsc_to_system_mul; - INT8 tsc_shift; + UINT32 TSCToSystemMultiplier; + INT8 TSCShift; INT8 pad1[3]; }; /* 32 bytes */ -typedef struct vcpu_time_info vcpu_time_info_t; +typedef struct vcpu_time_info XEN_VCPU_TIME_INFO; =20 struct vcpu_info { /* @@ -234,7 +234,7 @@ struct vcpu_info { #endif /* XEN_HAVE_PV_UPCALL_MASK */ xen_ulong_t evtchn_pending_sel; struct arch_vcpu_info arch; - struct vcpu_time_info time; + struct vcpu_time_info Time; }; /* 64 bytes (x86) */ #ifndef __XEN__ typedef struct vcpu_info vcpu_info_t; @@ -250,7 +250,7 @@ typedef struct vcpu_info vcpu_info_t; * of this structure remaining constant. */ struct shared_info { - struct vcpu_info vcpu_info[XEN_LEGACY_MAX_VCPUS]; + struct vcpu_info VcpuInfo[XEN_LEGACY_MAX_VCPUS]; =20 /* * A domain can create "event channels" on which it can send and recei= ve @@ -299,6 +299,7 @@ struct shared_info { }; #ifndef __XEN__ typedef struct shared_info shared_info_t; +typedef struct shared_info XEN_SHARED_INFO; #endif =20 /* Turn a plain number into a C UINTN constant. */ --=20 Anthony PERARD -=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#53521): https://edk2.groups.io/g/devel/message/53521 Mute This Topic: https://groups.io/mt/70239980/1787277 Group Owner: devel+owner@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [importer@patchew.org] -=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-