]> git.proxmox.com Git - mirror_edk2.git/commitdiff
UefiCpuPkg/Include: Add Sandy Bridge MSR include file
authorMichael Kinney <michael.d.kinney@intel.com>
Tue, 8 Mar 2016 22:00:03 +0000 (14:00 -0800)
committerMichael Kinney <michael.d.kinney@intel.com>
Sun, 13 Mar 2016 18:58:01 +0000 (11:58 -0700)
Add Sandy Bridge MSRs from:
Intel(R) 64 and IA-32 Architectures Software Developer's
Manual, Volume 3, December 2015, Chapter 35
Model-Specific-Registers (MSR), Section 35-8.

Cc: Jeff Fan <jeff.fan@intel.com>
Cc: Jiewen Yao <jiewen.yao@intel.com>
Contributed-under: TianoCore Contribution Agreement 1.0
Signed-off-by: Michael Kinney <michael.d.kinney@intel.com>
Reviewed-by: Jeff Fan <jeff.fan@intel.com>
UefiCpuPkg/Include/Register/Msr/SandyBridgeMsr.h [new file with mode: 0644]

diff --git a/UefiCpuPkg/Include/Register/Msr/SandyBridgeMsr.h b/UefiCpuPkg/Include/Register/Msr/SandyBridgeMsr.h
new file mode 100644 (file)
index 0000000..c41e45b
--- /dev/null
@@ -0,0 +1,4703 @@
+/** @file\r
+  MSR Definitions for Intel processors based on the Sandy Bridge microarchitecture.\r
+\r
+  Provides defines for Machine Specific Registers(MSR) indexes. Data structures\r
+  are provided for MSRs that contain one or more bit fields.  If the MSR value\r
+  returned is a single 32-bit or 64-bit value, then a data structure is not\r
+  provided for that MSR.\r
+\r
+  Copyright (c) 2016, Intel Corporation. All rights reserved.<BR>\r
+  This program and the accompanying materials\r
+  are licensed and made available under the terms and conditions of the BSD License\r
+  which accompanies this distribution.  The full text of the license may be found at\r
+  http://opensource.org/licenses/bsd-license.php\r
+\r
+  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r
+  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
+\r
+  @par Specification Reference:\r
+  Intel(R) 64 and IA-32 Architectures Software Developer's Manual, Volume 3,\r
+  December 2015, Chapter 35 Model-Specific-Registers (MSR), Section 35-8.\r
+\r
+**/\r
+\r
+#ifndef __SANDY_BRIDGE_MSR_H__\r
+#define __SANDY_BRIDGE_MSR_H__\r
+\r
+#include <Register/ArchitecturalMsr.h>\r
+\r
+/**\r
+  Thread. SMI Counter (R/O).\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_SMI_COUNT (0x00000034)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_SMI_COUNT_REGISTER.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_SMI_COUNT_REGISTER.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  MSR_SANDY_BRIDGE_SMI_COUNT_REGISTER  Msr;\r
+\r
+  Msr.Uint64 = AsmReadMsr64 (MSR_SANDY_BRIDGE_SMI_COUNT);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_SMI_COUNT               0x00000034\r
+\r
+/**\r
+  MSR information returned for MSR index #MSR_SANDY_BRIDGE_SMI_COUNT\r
+**/\r
+typedef union {\r
+  ///\r
+  /// Individual bit fields\r
+  ///\r
+  struct {\r
+    ///\r
+    /// [Bits 31:0] SMI Count (R/O) Count SMIs.\r
+    ///\r
+    UINT32  SMICount:32;\r
+    UINT32  Reserved:32;\r
+  } Bits;\r
+  ///\r
+  /// All bit fields as a 32-bit value\r
+  ///\r
+  UINT32  Uint32;\r
+  ///\r
+  /// All bit fields as a 64-bit value\r
+  ///\r
+  UINT64  Uint64;\r
+} MSR_SANDY_BRIDGE_SMI_COUNT_REGISTER;\r
+\r
+\r
+/**\r
+  Package. See http://biosbits.org.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_PLATFORM_INFO (0x000000CE)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_PLATFORM_INFO_REGISTER.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_PLATFORM_INFO_REGISTER.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  MSR_SANDY_BRIDGE_PLATFORM_INFO_REGISTER  Msr;\r
+\r
+  Msr.Uint64 = AsmReadMsr64 (MSR_SANDY_BRIDGE_PLATFORM_INFO);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_PLATFORM_INFO, Msr.Uint64);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_PLATFORM_INFO           0x000000CE\r
+\r
+/**\r
+  MSR information returned for MSR index #MSR_SANDY_BRIDGE_PLATFORM_INFO\r
+**/\r
+typedef union {\r
+  ///\r
+  /// Individual bit fields\r
+  ///\r
+  struct {\r
+    UINT32  Reserved1:8;\r
+    ///\r
+    /// [Bits 15:8] Package. Maximum Non-Turbo Ratio (R/O)  The is the ratio\r
+    /// of the frequency that invariant TSC runs at. Frequency = ratio * 100\r
+    /// MHz.\r
+    ///\r
+    UINT32  MaximumNonTurboRatio:8;\r
+    UINT32  Reserved2:12;\r
+    ///\r
+    /// [Bit 28] Package. Programmable Ratio Limit for Turbo Mode (R/O)  When\r
+    /// set to 1, indicates that Programmable Ratio Limits for Turbo mode is\r
+    /// enabled, and when set to 0, indicates Programmable Ratio Limits for\r
+    /// Turbo mode is disabled.\r
+    ///\r
+    UINT32  RatioLimit:1;\r
+    ///\r
+    /// [Bit 29] Package. Programmable TDP Limit for Turbo Mode (R/O)  When\r
+    /// set to 1, indicates that TDP Limits for Turbo mode are programmable,\r
+    /// and when set to 0, indicates TDP Limit for Turbo mode is not\r
+    /// programmable.\r
+    ///\r
+    UINT32  TDPLimit:1;\r
+    UINT32  Reserved3:2;\r
+    UINT32  Reserved4:8;\r
+    ///\r
+    /// [Bits 47:40] Package. Maximum Efficiency Ratio (R/O)  The is the\r
+    /// minimum ratio (maximum efficiency) that the processor can operates, in\r
+    /// units of 100MHz.\r
+    ///\r
+    UINT32  MaximumEfficiencyRatio:8;\r
+    UINT32  Reserved5:16;\r
+  } Bits;\r
+  ///\r
+  /// All bit fields as a 64-bit value\r
+  ///\r
+  UINT64  Uint64;\r
+} MSR_SANDY_BRIDGE_PLATFORM_INFO_REGISTER;\r
+\r
+\r
+/**\r
+  Core. C-State Configuration Control (R/W)  Note: C-state values are\r
+  processor specific C-state code names, unrelated to MWAIT extension C-state\r
+  parameters or ACPI CStates. See http://biosbits.org.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_PKG_CST_CONFIG_CONTROL (0x000000E2)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_PKG_CST_CONFIG_CONTROL_REGISTER.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_PKG_CST_CONFIG_CONTROL_REGISTER.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  MSR_SANDY_BRIDGE_PKG_CST_CONFIG_CONTROL_REGISTER  Msr;\r
+\r
+  Msr.Uint64 = AsmReadMsr64 (MSR_SANDY_BRIDGE_PKG_CST_CONFIG_CONTROL);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_PKG_CST_CONFIG_CONTROL, Msr.Uint64);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_PKG_CST_CONFIG_CONTROL  0x000000E2\r
+\r
+/**\r
+  MSR information returned for MSR index\r
+  #MSR_SANDY_BRIDGE_PKG_CST_CONFIG_CONTROL\r
+**/\r
+typedef union {\r
+  ///\r
+  /// Individual bit fields\r
+  ///\r
+  struct {\r
+    ///\r
+    /// [Bits 2:0] Package C-State Limit (R/W)  Specifies the lowest\r
+    /// processor-specific C-state code name (consuming the least power). for\r
+    /// the package. The default is set as factory-configured package C-state\r
+    /// limit. The following C-state code name encodings are supported: 000b:\r
+    /// C0/C1 (no package C-sate support) 001b: C2 010b: C6 no retention 011b:\r
+    /// C6 retention 100b: C7 101b: C7s 111: No package C-state limit. Note:\r
+    /// This field cannot be used to limit package C-state to C3.\r
+    ///\r
+    UINT32  Limit:3;\r
+    UINT32  Reserved1:7;\r
+    ///\r
+    /// [Bit 10] I/O MWAIT Redirection Enable (R/W)  When set, will map\r
+    /// IO_read instructions sent to IO register specified by\r
+    /// MSR_PMG_IO_CAPTURE_BASE to MWAIT instructions.\r
+    ///\r
+    UINT32  IO_MWAIT:1;\r
+    UINT32  Reserved2:4;\r
+    ///\r
+    /// [Bit 15] CFG Lock (R/WO)  When set, lock bits 15:0 of this register\r
+    /// until next reset.\r
+    ///\r
+    UINT32  CFGLock:1;\r
+    UINT32  Reserved3:9;\r
+    ///\r
+    /// [Bit 25] C3 state auto demotion enable (R/W)  When set, the processor\r
+    /// will conditionally demote C6/C7 requests to C3 based on uncore\r
+    /// auto-demote information.\r
+    ///\r
+    UINT32  C3AutoDemotion:1;\r
+    ///\r
+    /// [Bit 26] C1 state auto demotion enable (R/W)  When set, the processor\r
+    /// will conditionally demote C3/C6/C7 requests to C1 based on uncore\r
+    /// auto-demote information.\r
+    ///\r
+    UINT32  C1AutoDemotion:1;\r
+    ///\r
+    /// [Bit 27] Enable C3 undemotion (R/W)  When set, enables undemotion from\r
+    /// demoted C3.\r
+    ///\r
+    UINT32  C3Undemotion:1;\r
+    ///\r
+    /// [Bit 28] Enable C1 undemotion (R/W)  When set, enables undemotion from\r
+    /// demoted C1.\r
+    ///\r
+    UINT32  C1Undemotion:1;\r
+    UINT32  Reserved4:3;\r
+    UINT32  Reserved5:32;\r
+  } Bits;\r
+  ///\r
+  /// All bit fields as a 32-bit value\r
+  ///\r
+  UINT32  Uint32;\r
+  ///\r
+  /// All bit fields as a 64-bit value\r
+  ///\r
+  UINT64  Uint64;\r
+} MSR_SANDY_BRIDGE_PKG_CST_CONFIG_CONTROL_REGISTER;\r
+\r
+\r
+/**\r
+  Core. Power Management IO Redirection in C-state (R/W) See\r
+  http://biosbits.org.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_PMG_IO_CAPTURE_BASE (0x000000E4)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_PMG_IO_CAPTURE_BASE_REGISTER.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_PMG_IO_CAPTURE_BASE_REGISTER.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  MSR_SANDY_BRIDGE_PMG_IO_CAPTURE_BASE_REGISTER  Msr;\r
+\r
+  Msr.Uint64 = AsmReadMsr64 (MSR_SANDY_BRIDGE_PMG_IO_CAPTURE_BASE);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_PMG_IO_CAPTURE_BASE, Msr.Uint64);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_PMG_IO_CAPTURE_BASE     0x000000E4\r
+\r
+/**\r
+  MSR information returned for MSR index #MSR_SANDY_BRIDGE_PMG_IO_CAPTURE_BASE\r
+**/\r
+typedef union {\r
+  ///\r
+  /// Individual bit fields\r
+  ///\r
+  struct {\r
+    ///\r
+    /// [Bits 15:0] LVL_2 Base Address (R/W)  Specifies the base address\r
+    /// visible to software for IO redirection. If IO MWAIT Redirection is\r
+    /// enabled, reads to this address will be consumed by the power\r
+    /// management logic and decoded to MWAIT instructions. When IO port\r
+    /// address redirection is enabled, this is the IO port address reported\r
+    /// to the OS/software.\r
+    ///\r
+    UINT32  Lvl2Base:16;\r
+    ///\r
+    /// [Bits 18:16] C-state Range (R/W)  Specifies the encoding value of the\r
+    /// maximum C-State code name to be included when IO read to MWAIT\r
+    /// redirection is enabled by MSR_PKG_CST_CONFIG_CONTROL[bit10]: 000b - C3\r
+    /// is the max C-State to include 001b - C6 is the max C-State to include\r
+    /// 010b - C7 is the max C-State to include.\r
+    ///\r
+    UINT32  CStateRange:3;\r
+    UINT32  Reserved1:13;\r
+    UINT32  Reserved2:32;\r
+  } Bits;\r
+  ///\r
+  /// All bit fields as a 32-bit value\r
+  ///\r
+  UINT32  Uint32;\r
+  ///\r
+  /// All bit fields as a 64-bit value\r
+  ///\r
+  UINT64  Uint64;\r
+} MSR_SANDY_BRIDGE_PMG_IO_CAPTURE_BASE_REGISTER;\r
+\r
+\r
+/**\r
+  Core. AES Configuration (RW-L) Privileged post-BIOS agent must provide a #GP\r
+  handler to handle unsuccessful read of this MSR.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_FEATURE_CONFIG (0x0000013C)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_FEATURE_CONFIG_REGISTER.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_FEATURE_CONFIG_REGISTER.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  MSR_SANDY_BRIDGE_FEATURE_CONFIG_REGISTER  Msr;\r
+\r
+  Msr.Uint64 = AsmReadMsr64 (MSR_SANDY_BRIDGE_FEATURE_CONFIG);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_FEATURE_CONFIG, Msr.Uint64);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_FEATURE_CONFIG          0x0000013C\r
+\r
+/**\r
+  MSR information returned for MSR index #MSR_SANDY_BRIDGE_FEATURE_CONFIG\r
+**/\r
+typedef union {\r
+  ///\r
+  /// Individual bit fields\r
+  ///\r
+  struct {\r
+    ///\r
+    /// [Bits 1:0] AES Configuration (RW-L)  Upon a successful read of this\r
+    /// MSR, the configuration of AES instruction set availability is as\r
+    /// follows: 11b: AES instructions are not available until next RESET.\r
+    /// otherwise, AES instructions are available. Note, AES instruction set\r
+    /// is not available if read is unsuccessful. If the configuration is not\r
+    /// 01b, AES instruction can be mis-configured if a privileged agent\r
+    /// unintentionally writes 11b.\r
+    ///\r
+    UINT32  AESConfiguration:2;\r
+    UINT32  Reserved1:30;\r
+    UINT32  Reserved2:32;\r
+  } Bits;\r
+  ///\r
+  /// All bit fields as a 32-bit value\r
+  ///\r
+  UINT32  Uint32;\r
+  ///\r
+  /// All bit fields as a 64-bit value\r
+  ///\r
+  UINT64  Uint64;\r
+} MSR_SANDY_BRIDGE_FEATURE_CONFIG_REGISTER;\r
+\r
+\r
+/**\r
+  Core. See Table 35-2; If CPUID.0AH:EAX[15:8] = 8.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_IA32_PERFEVTSELn\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_IA32_PERFEVTSEL4);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_IA32_PERFEVTSEL4, Msr);\r
+  @endcode\r
+  @{\r
+**/\r
+#define MSR_SANDY_BRIDGE_IA32_PERFEVTSEL4        0x0000018A\r
+#define MSR_SANDY_BRIDGE_IA32_PERFEVTSEL5        0x0000018B\r
+#define MSR_SANDY_BRIDGE_IA32_PERFEVTSEL6        0x0000018C\r
+#define MSR_SANDY_BRIDGE_IA32_PERFEVTSEL7        0x0000018D\r
+/// @}\r
+\r
+\r
+/**\r
+  Package.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_PERF_STATUS (0x00000198)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_PERF_STATUS_REGISTER.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_PERF_STATUS_REGISTER.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  MSR_SANDY_BRIDGE_PERF_STATUS_REGISTER  Msr;\r
+\r
+  Msr.Uint64 = AsmReadMsr64 (MSR_SANDY_BRIDGE_PERF_STATUS);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_PERF_STATUS, Msr.Uint64);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_PERF_STATUS             0x00000198\r
+\r
+/**\r
+  MSR information returned for MSR index #MSR_SANDY_BRIDGE_PERF_STATUS\r
+**/\r
+typedef union {\r
+  ///\r
+  /// Individual bit fields\r
+  ///\r
+  struct {\r
+    UINT32  Reserved1:32;\r
+    ///\r
+    /// [Bits 47:32] Core Voltage (R/O) P-state core voltage can be computed\r
+    /// by MSR_PERF_STATUS[37:32] * (float) 1/(2^13).\r
+    ///\r
+    UINT32  CoreVoltage:16;\r
+    UINT32  Reserved2:16;\r
+  } Bits;\r
+  ///\r
+  /// All bit fields as a 64-bit value\r
+  ///\r
+  UINT64  Uint64;\r
+} MSR_SANDY_BRIDGE_PERF_STATUS_REGISTER;\r
+\r
+\r
+/**\r
+  Thread. Clock Modulation (R/W)  See Table 35-2 IA32_CLOCK_MODULATION MSR was\r
+  originally named IA32_THERM_CONTROL MSR.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_IA32_CLOCK_MODULATION (0x0000019A)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_IA32_CLOCK_MODULATION_REGISTER.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_IA32_CLOCK_MODULATION_REGISTER.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  MSR_SANDY_BRIDGE_IA32_CLOCK_MODULATION_REGISTER  Msr;\r
+\r
+  Msr.Uint64 = AsmReadMsr64 (MSR_SANDY_BRIDGE_IA32_CLOCK_MODULATION);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_IA32_CLOCK_MODULATION, Msr.Uint64);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_IA32_CLOCK_MODULATION   0x0000019A\r
+\r
+/**\r
+  MSR information returned for MSR index\r
+  #MSR_SANDY_BRIDGE_IA32_CLOCK_MODULATION\r
+**/\r
+typedef union {\r
+  ///\r
+  /// Individual bit fields\r
+  ///\r
+  struct {\r
+    ///\r
+    /// [Bits 3:0] On demand Clock Modulation Duty Cycle (R/W) In 6.25%\r
+    /// increment.\r
+    ///\r
+    UINT32  OnDemandClockModulationDutyCycle:4;\r
+    ///\r
+    /// [Bit 4] On demand Clock Modulation Enable (R/W).\r
+    ///\r
+    UINT32  OnDemandClockModulationEnable:1;\r
+    UINT32  Reserved1:27;\r
+    UINT32  Reserved2:32;\r
+  } Bits;\r
+  ///\r
+  /// All bit fields as a 32-bit value\r
+  ///\r
+  UINT32  Uint32;\r
+  ///\r
+  /// All bit fields as a 64-bit value\r
+  ///\r
+  UINT64  Uint64;\r
+} MSR_SANDY_BRIDGE_IA32_CLOCK_MODULATION_REGISTER;\r
+\r
+\r
+/**\r
+  Enable Misc. Processor Features (R/W)  Allows a variety of processor\r
+  functions to be enabled and disabled.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_IA32_MISC_ENABLE (0x000001A0)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_IA32_MISC_ENABLE_REGISTER.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_IA32_MISC_ENABLE_REGISTER.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  MSR_SANDY_BRIDGE_IA32_MISC_ENABLE_REGISTER  Msr;\r
+\r
+  Msr.Uint64 = AsmReadMsr64 (MSR_SANDY_BRIDGE_IA32_MISC_ENABLE);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_IA32_MISC_ENABLE, Msr.Uint64);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_IA32_MISC_ENABLE        0x000001A0\r
+\r
+/**\r
+  MSR information returned for MSR index #MSR_SANDY_BRIDGE_IA32_MISC_ENABLE\r
+**/\r
+typedef union {\r
+  ///\r
+  /// Individual bit fields\r
+  ///\r
+  struct {\r
+    ///\r
+    /// [Bit 0] Thread. Fast-Strings Enable  See Table 35-2.\r
+    ///\r
+    UINT32  FastStrings:1;\r
+    UINT32  Reserved1:6;\r
+    ///\r
+    /// [Bit 7] Thread. Performance Monitoring Available (R) See Table 35-2.\r
+    ///\r
+    UINT32  PerformanceMonitoring:1;\r
+    UINT32  Reserved2:3;\r
+    ///\r
+    /// [Bit 11] Thread. Branch Trace Storage Unavailable (RO) See Table 35-2.\r
+    ///\r
+    UINT32  BTS:1;\r
+    ///\r
+    /// [Bit 12] Thread. Precise Event Based Sampling Unavailable (RO) See\r
+    /// Table 35-2.\r
+    ///\r
+    UINT32  PEBS:1;\r
+    UINT32  Reserved3:3;\r
+    ///\r
+    /// [Bit 16] Package. Enhanced Intel SpeedStep Technology Enable (R/W) See\r
+    /// Table 35-2.\r
+    ///\r
+    UINT32  EIST:1;\r
+    UINT32  Reserved4:1;\r
+    ///\r
+    /// [Bit 18] Thread. ENABLE MONITOR FSM. (R/W) See Table 35-2.\r
+    ///\r
+    UINT32  MONITOR:1;\r
+    UINT32  Reserved5:3;\r
+    ///\r
+    /// [Bit 22] Thread. Limit CPUID Maxval (R/W) See Table 35-2.\r
+    ///\r
+    UINT32  LimitCpuidMaxval:1;\r
+    ///\r
+    /// [Bit 23] Thread. xTPR Message Disable (R/W) See Table 35-2.\r
+    ///\r
+    UINT32  xTPR_Message_Disable:1;\r
+    UINT32  Reserved6:8;\r
+    UINT32  Reserved7:2;\r
+    ///\r
+    /// [Bit 34] Thread. XD Bit Disable (R/W) See Table 35-2.\r
+    ///\r
+    UINT32  XD:1;\r
+    UINT32  Reserved8:3;\r
+    ///\r
+    /// [Bit 38] Package. Turbo Mode Disable (R/W) When set to 1 on processors\r
+    /// that support Intel Turbo Boost Technology, the turbo mode feature is\r
+    /// disabled and the IDA_Enable feature flag will be clear (CPUID.06H:\r
+    /// EAX[1]=0). When set to a 0 on processors that support IDA, CPUID.06H:\r
+    /// EAX[1] reports the processor's support of turbo mode is enabled. Note:\r
+    /// the power-on default value is used by BIOS to detect hardware support\r
+    /// of turbo mode. If power-on default value is 1, turbo mode is available\r
+    /// in the processor. If power-on default value is 0, turbo mode is not\r
+    /// available.\r
+    ///\r
+    UINT32  TurboModeDisable:1;\r
+    UINT32  Reserved9:25;\r
+  } Bits;\r
+  ///\r
+  /// All bit fields as a 64-bit value\r
+  ///\r
+  UINT64  Uint64;\r
+} MSR_SANDY_BRIDGE_IA32_MISC_ENABLE_REGISTER;\r
+\r
+\r
+/**\r
+  Unique.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_TEMPERATURE_TARGET (0x000001A2)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_TEMPERATURE_TARGET_REGISTER.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_TEMPERATURE_TARGET_REGISTER.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  MSR_SANDY_BRIDGE_TEMPERATURE_TARGET_REGISTER  Msr;\r
+\r
+  Msr.Uint64 = AsmReadMsr64 (MSR_SANDY_BRIDGE_TEMPERATURE_TARGET);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_TEMPERATURE_TARGET, Msr.Uint64);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_TEMPERATURE_TARGET      0x000001A2\r
+\r
+/**\r
+  MSR information returned for MSR index #MSR_SANDY_BRIDGE_TEMPERATURE_TARGET\r
+**/\r
+typedef union {\r
+  ///\r
+  /// Individual bit fields\r
+  ///\r
+  struct {\r
+    UINT32  Reserved1:16;\r
+    ///\r
+    /// [Bits 23:16] Temperature Target (R)  The minimum temperature at which\r
+    /// PROCHOT# will be asserted. The value is degree C.\r
+    ///\r
+    UINT32  TemperatureTarget:8;\r
+    UINT32  Reserved2:8;\r
+    UINT32  Reserved3:32;\r
+  } Bits;\r
+  ///\r
+  /// All bit fields as a 32-bit value\r
+  ///\r
+  UINT32  Uint32;\r
+  ///\r
+  /// All bit fields as a 64-bit value\r
+  ///\r
+  UINT64  Uint64;\r
+} MSR_SANDY_BRIDGE_TEMPERATURE_TARGET_REGISTER;\r
+\r
+\r
+/**\r
+  Miscellaneous Feature Control (R/W).\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_MISC_FEATURE_CONTROL (0x000001A4)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_MISC_FEATURE_CONTROL_REGISTER.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_MISC_FEATURE_CONTROL_REGISTER.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  MSR_SANDY_BRIDGE_MISC_FEATURE_CONTROL_REGISTER  Msr;\r
+\r
+  Msr.Uint64 = AsmReadMsr64 (MSR_SANDY_BRIDGE_MISC_FEATURE_CONTROL);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_MISC_FEATURE_CONTROL, Msr.Uint64);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_MISC_FEATURE_CONTROL    0x000001A4\r
+\r
+/**\r
+  MSR information returned for MSR index #MSR_SANDY_BRIDGE_MISC_FEATURE_CONTROL\r
+**/\r
+typedef union {\r
+  ///\r
+  /// Individual bit fields\r
+  ///\r
+  struct {\r
+    ///\r
+    /// [Bit 0] Core. L2 Hardware Prefetcher Disable (R/W)  If 1, disables the\r
+    /// L2 hardware prefetcher, which fetches additional lines of code or data\r
+    /// into the L2 cache.\r
+    ///\r
+    UINT32  L2HardwarePrefetcherDisable:1;\r
+    ///\r
+    /// [Bit 1] Core. L2 Adjacent Cache Line Prefetcher Disable (R/W)  If 1,\r
+    /// disables the adjacent cache line prefetcher, which fetches the cache\r
+    /// line that comprises a cache line pair (128 bytes).\r
+    ///\r
+    UINT32  L2AdjacentCacheLinePrefetcherDisable:1;\r
+    ///\r
+    /// [Bit 2] Core. DCU Hardware Prefetcher Disable (R/W)  If 1, disables\r
+    /// the L1 data cache prefetcher, which fetches the next cache line into\r
+    /// L1 data cache.\r
+    ///\r
+    UINT32  DCUHardwarePrefetcherDisable:1;\r
+    ///\r
+    /// [Bit 3] Core. DCU IP Prefetcher Disable (R/W)  If 1, disables the L1\r
+    /// data cache IP prefetcher, which uses sequential load history (based on\r
+    /// instruction Pointer of previous loads) to determine whether to\r
+    /// prefetch additional lines.\r
+    ///\r
+    UINT32  DCUIPPrefetcherDisable:1;\r
+    UINT32  Reserved1:28;\r
+    UINT32  Reserved2:32;\r
+  } Bits;\r
+  ///\r
+  /// All bit fields as a 32-bit value\r
+  ///\r
+  UINT32  Uint32;\r
+  ///\r
+  /// All bit fields as a 64-bit value\r
+  ///\r
+  UINT64  Uint64;\r
+} MSR_SANDY_BRIDGE_MISC_FEATURE_CONTROL_REGISTER;\r
+\r
+\r
+/**\r
+  Thread. Offcore Response Event Select Register (R/W).\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_OFFCORE_RSP_0 (0x000001A6)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_OFFCORE_RSP_0);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_OFFCORE_RSP_0, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_OFFCORE_RSP_0           0x000001A6\r
+\r
+\r
+/**\r
+  Thread. Offcore Response Event Select Register (R/W).\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_OFFCORE_RSP_1 (0x000001A7)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_OFFCORE_RSP_1);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_OFFCORE_RSP_1, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_OFFCORE_RSP_1           0x000001A7\r
+\r
+\r
+/**\r
+  See http://biosbits.org.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_MISC_PWR_MGMT (0x000001AA)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_MISC_PWR_MGMT);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_MISC_PWR_MGMT, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_MISC_PWR_MGMT           0x000001AA\r
+\r
+\r
+/**\r
+  Thread. Last Branch Record Filtering Select Register (R/W)  See Section\r
+  17.6.2, "Filtering of Last Branch Records.".\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_LBR_SELECT (0x000001C8)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_LBR_SELECT_REGISTER.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_LBR_SELECT_REGISTER.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  MSR_SANDY_BRIDGE_LBR_SELECT_REGISTER  Msr;\r
+\r
+  Msr.Uint64 = AsmReadMsr64 (MSR_SANDY_BRIDGE_LBR_SELECT);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_LBR_SELECT, Msr.Uint64);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_LBR_SELECT              0x000001C8\r
+\r
+/**\r
+  MSR information returned for MSR index #MSR_SANDY_BRIDGE_LBR_SELECT\r
+**/\r
+typedef union {\r
+  ///\r
+  /// Individual bit fields\r
+  ///\r
+  struct {\r
+    ///\r
+    /// [Bit 0] CPL_EQ_0.\r
+    ///\r
+    UINT32  CPL_EQ_0:1;\r
+    ///\r
+    /// [Bit 1] CPL_NEQ_0.\r
+    ///\r
+    UINT32  CPL_NEQ_0:1;\r
+    ///\r
+    /// [Bit 2] JCC.\r
+    ///\r
+    UINT32  JCC:1;\r
+    ///\r
+    /// [Bit 3] NEAR_REL_CALL.\r
+    ///\r
+    UINT32  NEAR_REL_CALL:1;\r
+    ///\r
+    /// [Bit 4] NEAR_IND_CALL.\r
+    ///\r
+    UINT32  NEAR_IND_CALL:1;\r
+    ///\r
+    /// [Bit 5] NEAR_RET.\r
+    ///\r
+    UINT32  NEAR_RET:1;\r
+    ///\r
+    /// [Bit 6] NEAR_IND_JMP.\r
+    ///\r
+    UINT32  NEAR_IND_JMP:1;\r
+    ///\r
+    /// [Bit 7] NEAR_REL_JMP.\r
+    ///\r
+    UINT32  NEAR_REL_JMP:1;\r
+    ///\r
+    /// [Bit 8] FAR_BRANCH.\r
+    ///\r
+    UINT32  FAR_BRANCH:1;\r
+    UINT32  Reserved1:23;\r
+    UINT32  Reserved2:32;\r
+  } Bits;\r
+  ///\r
+  /// All bit fields as a 32-bit value\r
+  ///\r
+  UINT32  Uint32;\r
+  ///\r
+  /// All bit fields as a 64-bit value\r
+  ///\r
+  UINT64  Uint64;\r
+} MSR_SANDY_BRIDGE_LBR_SELECT_REGISTER;\r
+\r
+\r
+/**\r
+  Thread. Last Branch Record Stack TOS (R/W)  Contains an index (bits 0-3)\r
+  that points to the MSR containing the most recent branch record. See\r
+  MSR_LASTBRANCH_0_FROM_IP (at 680H).\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_LASTBRANCH_TOS (0x000001C9)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_LASTBRANCH_TOS);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_LASTBRANCH_TOS, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_LASTBRANCH_TOS          0x000001C9\r
+\r
+\r
+/**\r
+  Thread. Last Exception Record From Linear IP (R)  Contains a pointer to the\r
+  last branch instruction that the processor executed prior to the last\r
+  exception that was generated or the last interrupt that was handled.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_LER_FROM_LIP (0x000001DD)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_LER_FROM_LIP);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_LER_FROM_LIP            0x000001DD\r
+\r
+\r
+/**\r
+  Thread. Last Exception Record To Linear IP (R)  This area contains a pointer\r
+  to the target of the last branch instruction that the processor executed\r
+  prior to the last exception that was generated or the last interrupt that\r
+  was handled.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_LER_TO_LIP (0x000001DE)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_LER_TO_LIP);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_LER_TO_LIP              0x000001DE\r
+\r
+\r
+/**\r
+  Core. See http://biosbits.org.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_POWER_CTL (0x000001FC)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_POWER_CTL);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_POWER_CTL, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_POWER_CTL               0x000001FC\r
+\r
+\r
+/**\r
+  Package. Always 0 (CMCI not supported).\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_MC4_CTL2 (0x00000284)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_MC4_CTL2);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_MC4_CTL2, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_MC4_CTL2                0x00000284\r
+\r
+\r
+/**\r
+  See Table 35-2. See Section 18.4.2, "Global Counter Control Facilities.".\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_IA32_PERF_GLOBAL_STAUS (0x0000038E)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_IA32_PERF_GLOBAL_STAUS_REGISTER.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_IA32_PERF_GLOBAL_STAUS_REGISTER.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  MSR_SANDY_BRIDGE_IA32_PERF_GLOBAL_STAUS_REGISTER  Msr;\r
+\r
+  Msr.Uint64 = AsmReadMsr64 (MSR_SANDY_BRIDGE_IA32_PERF_GLOBAL_STAUS);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_IA32_PERF_GLOBAL_STAUS, Msr.Uint64);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_IA32_PERF_GLOBAL_STAUS  0x0000038E\r
+\r
+/**\r
+  MSR information returned for MSR index\r
+  #MSR_SANDY_BRIDGE_IA32_PERF_GLOBAL_STAUS\r
+**/\r
+typedef union {\r
+  ///\r
+  /// Individual bit fields\r
+  ///\r
+  struct {\r
+    ///\r
+    /// [Bit 0] Thread. Ovf_PMC0.\r
+    ///\r
+    UINT32  Ovf_PMC0:1;\r
+    ///\r
+    /// [Bit 1] Thread. Ovf_PMC1.\r
+    ///\r
+    UINT32  Ovf_PMC1:1;\r
+    ///\r
+    /// [Bit 2] Thread. Ovf_PMC2.\r
+    ///\r
+    UINT32  Ovf_PMC2:1;\r
+    ///\r
+    /// [Bit 3] Thread. Ovf_PMC3.\r
+    ///\r
+    UINT32  Ovf_PMC3:1;\r
+    ///\r
+    /// [Bit 4] Core. Ovf_PMC4 (if CPUID.0AH:EAX[15:8] > 4).\r
+    ///\r
+    UINT32  Ovf_PMC4:1;\r
+    ///\r
+    /// [Bit 5] Core. Ovf_PMC5 (if CPUID.0AH:EAX[15:8] > 5).\r
+    ///\r
+    UINT32  Ovf_PMC5:1;\r
+    ///\r
+    /// [Bit 6] Core. Ovf_PMC6 (if CPUID.0AH:EAX[15:8] > 6).\r
+    ///\r
+    UINT32  Ovf_PMC6:1;\r
+    ///\r
+    /// [Bit 7] Core. Ovf_PMC7 (if CPUID.0AH:EAX[15:8] > 7).\r
+    ///\r
+    UINT32  Ovf_PMC7:1;\r
+    UINT32  Reserved1:24;\r
+    ///\r
+    /// [Bit 32] Thread. Ovf_FixedCtr0.\r
+    ///\r
+    UINT32  Ovf_FixedCtr0:1;\r
+    ///\r
+    /// [Bit 33] Thread. Ovf_FixedCtr1.\r
+    ///\r
+    UINT32  Ovf_FixedCtr1:1;\r
+    ///\r
+    /// [Bit 34] Thread. Ovf_FixedCtr2.\r
+    ///\r
+    UINT32  Ovf_FixedCtr2:1;\r
+    UINT32  Reserved2:26;\r
+    ///\r
+    /// [Bit 61] Thread. Ovf_Uncore.\r
+    ///\r
+    UINT32  Ovf_Uncore:1;\r
+    ///\r
+    /// [Bit 62] Thread. Ovf_BufDSSAVE.\r
+    ///\r
+    UINT32  Ovf_BufDSSAVE:1;\r
+    ///\r
+    /// [Bit 63] Thread. CondChgd.\r
+    ///\r
+    UINT32  CondChgd:1;\r
+  } Bits;\r
+  ///\r
+  /// All bit fields as a 64-bit value\r
+  ///\r
+  UINT64  Uint64;\r
+} MSR_SANDY_BRIDGE_IA32_PERF_GLOBAL_STAUS_REGISTER;\r
+\r
+\r
+/**\r
+  Thread. See Table 35-2. See Section 18.4.2, "Global Counter Control\r
+  Facilities.".\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_IA32_PERF_GLOBAL_CTRL (0x0000038F)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_IA32_PERF_GLOBAL_CTRL_REGISTER.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_IA32_PERF_GLOBAL_CTRL_REGISTER.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  MSR_SANDY_BRIDGE_IA32_PERF_GLOBAL_CTRL_REGISTER  Msr;\r
+\r
+  Msr.Uint64 = AsmReadMsr64 (MSR_SANDY_BRIDGE_IA32_PERF_GLOBAL_CTRL);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_IA32_PERF_GLOBAL_CTRL, Msr.Uint64);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_IA32_PERF_GLOBAL_CTRL   0x0000038F\r
+\r
+/**\r
+  MSR information returned for MSR index\r
+  #MSR_SANDY_BRIDGE_IA32_PERF_GLOBAL_CTRL\r
+**/\r
+typedef union {\r
+  ///\r
+  /// Individual bit fields\r
+  ///\r
+  struct {\r
+    ///\r
+    /// [Bit 0] Thread. Set 1 to enable PMC0 to count.\r
+    ///\r
+    UINT32  PCM0_EN:1;\r
+    ///\r
+    /// [Bit 1] Thread. Set 1 to enable PMC1 to count.\r
+    ///\r
+    UINT32  PCM1_EN:1;\r
+    ///\r
+    /// [Bit 2] Thread. Set 1 to enable PMC2 to count.\r
+    ///\r
+    UINT32  PCM2_EN:1;\r
+    ///\r
+    /// [Bit 3] Thread. Set 1 to enable PMC3 to count.\r
+    ///\r
+    UINT32  PCM3_EN:1;\r
+    ///\r
+    /// [Bit 4] Core. Set 1 to enable PMC4 to count (if CPUID.0AH:EAX[15:8] >\r
+    /// 4).\r
+    ///\r
+    UINT32  PCM4_EN:1;\r
+    ///\r
+    /// [Bit 5] Core. Set 1 to enable PMC5 to count (if CPUID.0AH:EAX[15:8] >\r
+    /// 5).\r
+    ///\r
+    UINT32  PCM5_EN:1;\r
+    ///\r
+    /// [Bit 6] Core. Set 1 to enable PMC6 to count (if CPUID.0AH:EAX[15:8] >\r
+    /// 6).\r
+    ///\r
+    UINT32  PCM6_EN:1;\r
+    ///\r
+    /// [Bit 7] Core. Set 1 to enable PMC7 to count (if CPUID.0AH:EAX[15:8] >\r
+    /// 7).\r
+    ///\r
+    UINT32  PCM7_EN:1;\r
+    UINT32  Reserved1:24;\r
+    ///\r
+    /// [Bit 32] Thread. Set 1 to enable FixedCtr0 to count.\r
+    ///\r
+    UINT32  FIXED_CTR0:1;\r
+    ///\r
+    /// [Bit 33] Thread. Set 1 to enable FixedCtr1 to count.\r
+    ///\r
+    UINT32  FIXED_CTR1:1;\r
+    ///\r
+    /// [Bit 34] Thread. Set 1 to enable FixedCtr2 to count.\r
+    ///\r
+    UINT32  FIXED_CTR2:1;\r
+    UINT32  Reserved2:29;\r
+  } Bits;\r
+  ///\r
+  /// All bit fields as a 64-bit value\r
+  ///\r
+  UINT64  Uint64;\r
+} MSR_SANDY_BRIDGE_IA32_PERF_GLOBAL_CTRL_REGISTER;\r
+\r
+\r
+/**\r
+  See Table 35-2. See Section 18.4.2, "Global Counter Control Facilities.".\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_IA32_PERF_GLOBAL_OVF_CTRL (0x00000390)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_IA32_PERF_GLOBAL_OVF_CTRL_REGISTER.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_IA32_PERF_GLOBAL_OVF_CTRL_REGISTER.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  MSR_SANDY_BRIDGE_IA32_PERF_GLOBAL_OVF_CTRL_REGISTER  Msr;\r
+\r
+  Msr.Uint64 = AsmReadMsr64 (MSR_SANDY_BRIDGE_IA32_PERF_GLOBAL_OVF_CTRL);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_IA32_PERF_GLOBAL_OVF_CTRL, Msr.Uint64);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_IA32_PERF_GLOBAL_OVF_CTRL 0x00000390\r
+\r
+/**\r
+  MSR information returned for MSR index\r
+  #MSR_SANDY_BRIDGE_IA32_PERF_GLOBAL_OVF_CTRL\r
+**/\r
+typedef union {\r
+  ///\r
+  /// Individual bit fields\r
+  ///\r
+  struct {\r
+    ///\r
+    /// [Bit 0] Thread. Set 1 to clear Ovf_PMC0.\r
+    ///\r
+    UINT32  Ovf_PMC0:1;\r
+    ///\r
+    /// [Bit 1] Thread. Set 1 to clear Ovf_PMC1.\r
+    ///\r
+    UINT32  Ovf_PMC1:1;\r
+    ///\r
+    /// [Bit 2] Thread. Set 1 to clear Ovf_PMC2.\r
+    ///\r
+    UINT32  Ovf_PMC2:1;\r
+    ///\r
+    /// [Bit 3] Thread. Set 1 to clear Ovf_PMC3.\r
+    ///\r
+    UINT32  Ovf_PMC3:1;\r
+    ///\r
+    /// [Bit 4] Core. Set 1 to clear Ovf_PMC4 (if CPUID.0AH:EAX[15:8] > 4).\r
+    ///\r
+    UINT32  Ovf_PMC4:1;\r
+    ///\r
+    /// [Bit 5] Core. Set 1 to clear Ovf_PMC5 (if CPUID.0AH:EAX[15:8] > 5).\r
+    ///\r
+    UINT32  Ovf_PMC5:1;\r
+    ///\r
+    /// [Bit 6] Core. Set 1 to clear Ovf_PMC6 (if CPUID.0AH:EAX[15:8] > 6).\r
+    ///\r
+    UINT32  Ovf_PMC6:1;\r
+    ///\r
+    /// [Bit 7] Core. Set 1 to clear Ovf_PMC7 (if CPUID.0AH:EAX[15:8] > 7).\r
+    ///\r
+    UINT32  Ovf_PMC7:1;\r
+    UINT32  Reserved1:24;\r
+    ///\r
+    /// [Bit 32] Thread. Set 1 to clear Ovf_FixedCtr0.\r
+    ///\r
+    UINT32  Ovf_FixedCtr0:1;\r
+    ///\r
+    /// [Bit 33] Thread. Set 1 to clear Ovf_FixedCtr1.\r
+    ///\r
+    UINT32  Ovf_FixedCtr1:1;\r
+    ///\r
+    /// [Bit 34] Thread. Set 1 to clear Ovf_FixedCtr2.\r
+    ///\r
+    UINT32  Ovf_FixedCtr2:1;\r
+    UINT32  Reserved2:26;\r
+    ///\r
+    /// [Bit 61] Thread. Set 1 to clear Ovf_Uncore.\r
+    ///\r
+    UINT32  Ovf_Uncore:1;\r
+    ///\r
+    /// [Bit 62] Thread. Set 1 to clear Ovf_BufDSSAVE.\r
+    ///\r
+    UINT32  Ovf_BufDSSAVE:1;\r
+    ///\r
+    /// [Bit 63] Thread. Set 1 to clear CondChgd.\r
+    ///\r
+    UINT32  CondChgd:1;\r
+  } Bits;\r
+  ///\r
+  /// All bit fields as a 64-bit value\r
+  ///\r
+  UINT64  Uint64;\r
+} MSR_SANDY_BRIDGE_IA32_PERF_GLOBAL_OVF_CTRL_REGISTER;\r
+\r
+\r
+/**\r
+  Thread. See Section 18.7.1.1, "Precise Event Based Sampling (PEBS).".\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_PEBS_ENABLE (0x000003F1)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_PEBS_ENABLE_REGISTER.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_PEBS_ENABLE_REGISTER.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  MSR_SANDY_BRIDGE_PEBS_ENABLE_REGISTER  Msr;\r
+\r
+  Msr.Uint64 = AsmReadMsr64 (MSR_SANDY_BRIDGE_PEBS_ENABLE);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_PEBS_ENABLE, Msr.Uint64);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_PEBS_ENABLE             0x000003F1\r
+\r
+/**\r
+  MSR information returned for MSR index #MSR_SANDY_BRIDGE_PEBS_ENABLE\r
+**/\r
+typedef union {\r
+  ///\r
+  /// Individual bit fields\r
+  ///\r
+  struct {\r
+    ///\r
+    /// [Bit 0] Enable PEBS on IA32_PMC0. (R/W).\r
+    ///\r
+    UINT32  PEBS_EN_PMC0:1;\r
+    ///\r
+    /// [Bit 1] Enable PEBS on IA32_PMC1. (R/W).\r
+    ///\r
+    UINT32  PEBS_EN_PMC1:1;\r
+    ///\r
+    /// [Bit 2] Enable PEBS on IA32_PMC2. (R/W).\r
+    ///\r
+    UINT32  PEBS_EN_PMC2:1;\r
+    ///\r
+    /// [Bit 3] Enable PEBS on IA32_PMC3. (R/W).\r
+    ///\r
+    UINT32  PEBS_EN_PMC3:1;\r
+    UINT32  Reserved1:28;\r
+    ///\r
+    /// [Bit 32] Enable Load Latency on IA32_PMC0. (R/W).\r
+    ///\r
+    UINT32  LL_EN_PMC0:1;\r
+    ///\r
+    /// [Bit 33] Enable Load Latency on IA32_PMC1. (R/W).\r
+    ///\r
+    UINT32  LL_EN_PMC1:1;\r
+    ///\r
+    /// [Bit 34] Enable Load Latency on IA32_PMC2. (R/W).\r
+    ///\r
+    UINT32  LL_EN_PMC2:1;\r
+    ///\r
+    /// [Bit 35] Enable Load Latency on IA32_PMC3. (R/W).\r
+    ///\r
+    UINT32  LL_EN_PMC3:1;\r
+    UINT32  Reserved2:27;\r
+    ///\r
+    /// [Bit 63] Enable Precise Store. (R/W).\r
+    ///\r
+    UINT32  PS_EN:1;\r
+  } Bits;\r
+  ///\r
+  /// All bit fields as a 64-bit value\r
+  ///\r
+  UINT64  Uint64;\r
+} MSR_SANDY_BRIDGE_PEBS_ENABLE_REGISTER;\r
+\r
+\r
+/**\r
+  Thread. see See Section 18.7.1.2, "Load Latency Performance Monitoring\r
+  Facility.".\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_PEBS_LD_LAT (0x000003F6)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_PEBS_LD_LAT_REGISTER.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_PEBS_LD_LAT_REGISTER.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  MSR_SANDY_BRIDGE_PEBS_LD_LAT_REGISTER  Msr;\r
+\r
+  Msr.Uint64 = AsmReadMsr64 (MSR_SANDY_BRIDGE_PEBS_LD_LAT);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_PEBS_LD_LAT, Msr.Uint64);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_PEBS_LD_LAT             0x000003F6\r
+\r
+/**\r
+  MSR information returned for MSR index #MSR_SANDY_BRIDGE_PEBS_LD_LAT\r
+**/\r
+typedef union {\r
+  ///\r
+  /// Individual bit fields\r
+  ///\r
+  struct {\r
+    ///\r
+    /// [Bits 15:0] Minimum threshold latency value of tagged load operation\r
+    /// that will be counted. (R/W).\r
+    ///\r
+    UINT32  MinimumThreshold:16;\r
+    UINT32  Reserved1:16;\r
+    UINT32  Reserved2:32;\r
+  } Bits;\r
+  ///\r
+  /// All bit fields as a 32-bit value\r
+  ///\r
+  UINT32  Uint32;\r
+  ///\r
+  /// All bit fields as a 64-bit value\r
+  ///\r
+  UINT64  Uint64;\r
+} MSR_SANDY_BRIDGE_PEBS_LD_LAT_REGISTER;\r
+\r
+\r
+/**\r
+  Package. Note: C-state values are processor specific C-state code names,\r
+  unrelated to MWAIT extension C-state parameters or ACPI CStates. Package C3\r
+  Residency Counter. (R/O) Value since last reset that this package is in\r
+  processor-specific C3 states. Count at the same frequency as the TSC.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_PKG_C3_RESIDENCY (0x000003F8)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_PKG_C3_RESIDENCY);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_PKG_C3_RESIDENCY, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_PKG_C3_RESIDENCY        0x000003F8\r
+\r
+\r
+/**\r
+  Package. Note: C-state values are processor specific C-state code names,\r
+  unrelated to MWAIT extension C-state parameters or ACPI CStates. Package C6\r
+  Residency Counter. (R/O) Value since last reset that this package is in\r
+  processor-specific C6 states. Count at the same frequency as the TSC.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_PKG_C6_RESIDENCY (0x000003F9)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_PKG_C6_RESIDENCY);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_PKG_C6_RESIDENCY, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_PKG_C6_RESIDENCY        0x000003F9\r
+\r
+\r
+/**\r
+  Package. Note: C-state values are processor specific C-state code names,\r
+  unrelated to MWAIT extension C-state parameters or ACPI CStates. Package C7\r
+  Residency Counter. (R/O) Value since last reset that this package is in\r
+  processor-specific C7 states. Count at the same frequency as the TSC.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_PKG_C7_RESIDENCY (0x000003FA)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_PKG_C7_RESIDENCY);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_PKG_C7_RESIDENCY, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_PKG_C7_RESIDENCY        0x000003FA\r
+\r
+\r
+/**\r
+  Core. Note: C-state values are processor specific C-state code names,\r
+  unrelated to MWAIT extension C-state parameters or ACPI CStates. CORE C3\r
+  Residency Counter. (R/O) Value since last reset that this core is in\r
+  processor-specific C3 states. Count at the same frequency as the TSC.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_CORE_C3_RESIDENCY (0x000003FC)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_CORE_C3_RESIDENCY);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_CORE_C3_RESIDENCY, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_CORE_C3_RESIDENCY       0x000003FC\r
+\r
+\r
+/**\r
+  Core. Note: C-state values are processor specific C-state code names,\r
+  unrelated to MWAIT extension C-state parameters or ACPI CStates. CORE C6\r
+  Residency Counter. (R/O) Value since last reset that this core is in\r
+  processor-specific C6 states. Count at the same frequency as the TSC.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_CORE_C6_RESIDENCY (0x000003FD)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_CORE_C6_RESIDENCY);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_CORE_C6_RESIDENCY, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_CORE_C6_RESIDENCY       0x000003FD\r
+\r
+\r
+/**\r
+  Core. Note: C-state values are processor specific C-state code names,\r
+  unrelated to MWAIT extension C-state parameters or ACPI CStates. CORE C7\r
+  Residency Counter. (R/O) Value since last reset that this core is in\r
+  processor-specific C7 states. Count at the same frequency as the TSC.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_CORE_C7_RESIDENCY (0x000003FE)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_CORE_C7_RESIDENCY);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_CORE_C7_RESIDENCY, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_CORE_C7_RESIDENCY       0x000003FE\r
+\r
+\r
+/**\r
+  Core. See Section 15.3.2.1, "IA32_MCi_CTL MSRs.".\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_MC4_CTL (0x00000410)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_MC4_CTL_REGISTER.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_MC4_CTL_REGISTER.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  MSR_SANDY_BRIDGE_MC4_CTL_REGISTER  Msr;\r
+\r
+  Msr.Uint64 = AsmReadMsr64 (MSR_SANDY_BRIDGE_MC4_CTL);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_MC4_CTL, Msr.Uint64);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_MC4_CTL                 0x00000410\r
+\r
+/**\r
+  MSR information returned for MSR index #MSR_SANDY_BRIDGE_MC4_CTL\r
+**/\r
+typedef union {\r
+  ///\r
+  /// Individual bit fields\r
+  ///\r
+  struct {\r
+    ///\r
+    /// [Bit 0] PCU Hardware Error (R/W)  When set, enables signaling of PCU\r
+    /// hardware detected errors.\r
+    ///\r
+    UINT32  PCUHardwareError:1;\r
+    ///\r
+    /// [Bit 1] PCU Controller Error (R/W)  When set, enables signaling of PCU\r
+    /// controller detected errors.\r
+    ///\r
+    UINT32  PCUControllerError:1;\r
+    ///\r
+    /// [Bit 2] PCU Firmware Error (R/W)  When set, enables signaling of PCU\r
+    /// firmware detected errors.\r
+    ///\r
+    UINT32  PCUFirmwareError:1;\r
+    UINT32  Reserved1:29;\r
+    UINT32  Reserved2:32;\r
+  } Bits;\r
+  ///\r
+  /// All bit fields as a 32-bit value\r
+  ///\r
+  UINT32  Uint32;\r
+  ///\r
+  /// All bit fields as a 64-bit value\r
+  ///\r
+  UINT64  Uint64;\r
+} MSR_SANDY_BRIDGE_MC4_CTL_REGISTER;\r
+\r
+\r
+/**\r
+  Thread. Capability Reporting Register of EPT and VPID (R/O)  See Table 35-2.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_IA32_VMX_EPT_VPID_ENUM (0x0000048C)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_IA32_VMX_EPT_VPID_ENUM);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_IA32_VMX_EPT_VPID_ENUM  0x0000048C\r
+\r
+\r
+/**\r
+  Package. Unit Multipliers used in RAPL Interfaces (R/O) See Section 14.9.1,\r
+  "RAPL Interfaces.".\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_RAPL_POWER_UNIT (0x00000606)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_RAPL_POWER_UNIT);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_RAPL_POWER_UNIT         0x00000606\r
+\r
+\r
+/**\r
+  Package. Package C3 Interrupt Response Limit (R/W)  Note: C-state values are\r
+  processor specific C-state code names, unrelated to MWAIT extension C-state\r
+  parameters or ACPI CStates.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_PKGC3_IRTL (0x0000060A)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_PKGC3_IRTL_REGISTER.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_PKGC3_IRTL_REGISTER.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  MSR_SANDY_BRIDGE_PKGC3_IRTL_REGISTER  Msr;\r
+\r
+  Msr.Uint64 = AsmReadMsr64 (MSR_SANDY_BRIDGE_PKGC3_IRTL);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_PKGC3_IRTL, Msr.Uint64);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_PKGC3_IRTL              0x0000060A\r
+\r
+/**\r
+  MSR information returned for MSR index #MSR_SANDY_BRIDGE_PKGC3_IRTL\r
+**/\r
+typedef union {\r
+  ///\r
+  /// Individual bit fields\r
+  ///\r
+  struct {\r
+    ///\r
+    /// [Bits 9:0] Interrupt response time limit (R/W)  Specifies the limit\r
+    /// that should be used to decide if the package should be put into a\r
+    /// package C3 state.\r
+    ///\r
+    UINT32  TimeLimit:10;\r
+    ///\r
+    /// [Bits 12:10] Time Unit (R/W)  Specifies the encoding value of time\r
+    /// unit of the interrupt response time limit. The following time unit\r
+    /// encodings are supported: 000b: 1 ns 001b: 32 ns 010b: 1024 ns 011b:\r
+    /// 32768 ns 100b: 1048576 ns 101b: 33554432 ns.\r
+    ///\r
+    UINT32  TimeUnit:3;\r
+    UINT32  Reserved1:2;\r
+    ///\r
+    /// [Bit 15] Valid (R/W)  Indicates whether the values in bits 12:0 are\r
+    /// valid and can be used by the processor for package C-sate management.\r
+    ///\r
+    UINT32  Valid:1;\r
+    UINT32  Reserved2:16;\r
+    UINT32  Reserved3:32;\r
+  } Bits;\r
+  ///\r
+  /// All bit fields as a 32-bit value\r
+  ///\r
+  UINT32  Uint32;\r
+  ///\r
+  /// All bit fields as a 64-bit value\r
+  ///\r
+  UINT64  Uint64;\r
+} MSR_SANDY_BRIDGE_PKGC3_IRTL_REGISTER;\r
+\r
+\r
+/**\r
+  Package. Package C6 Interrupt Response Limit (R/W)  This MSR defines the\r
+  budget allocated for the package to exit from C6 to a C0 state, where\r
+  interrupt request can be delivered to the core and serviced. Additional\r
+  core-exit latency amy be applicable depending on the actual C-state the core\r
+  is in. Note: C-state values are processor specific C-state code names,\r
+  unrelated to MWAIT extension C-state parameters or ACPI CStates.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_PKGC6_IRTL (0x0000060B)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_PKGC6_IRTL_REGISTER.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_PKGC6_IRTL_REGISTER.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  MSR_SANDY_BRIDGE_PKGC6_IRTL_REGISTER  Msr;\r
+\r
+  Msr.Uint64 = AsmReadMsr64 (MSR_SANDY_BRIDGE_PKGC6_IRTL);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_PKGC6_IRTL, Msr.Uint64);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_PKGC6_IRTL              0x0000060B\r
+\r
+/**\r
+  MSR information returned for MSR index #MSR_SANDY_BRIDGE_PKGC6_IRTL\r
+**/\r
+typedef union {\r
+  ///\r
+  /// Individual bit fields\r
+  ///\r
+  struct {\r
+    ///\r
+    /// [Bits 9:0] Interrupt response time limit (R/W)  Specifies the limit\r
+    /// that should be used to decide if the package should be put into a\r
+    /// package C6 state.\r
+    ///\r
+    UINT32  TimeLimit:10;\r
+    ///\r
+    /// [Bits 12:10] Time Unit (R/W)  Specifies the encoding value of time\r
+    /// unit of the interrupt response time limit. The following time unit\r
+    /// encodings are supported: 000b: 1 ns 001b: 32 ns 010b: 1024 ns 011b:\r
+    /// 32768 ns 100b: 1048576 ns 101b: 33554432 ns.\r
+    ///\r
+    UINT32  TimeUnit:3;\r
+    UINT32  Reserved1:2;\r
+    ///\r
+    /// [Bit 15] Valid (R/W)  Indicates whether the values in bits 12:0 are\r
+    /// valid and can be used by the processor for package C-sate management.\r
+    ///\r
+    UINT32  Valid:1;\r
+    UINT32  Reserved2:16;\r
+    UINT32  Reserved3:32;\r
+  } Bits;\r
+  ///\r
+  /// All bit fields as a 32-bit value\r
+  ///\r
+  UINT32  Uint32;\r
+  ///\r
+  /// All bit fields as a 64-bit value\r
+  ///\r
+  UINT64  Uint64;\r
+} MSR_SANDY_BRIDGE_PKGC6_IRTL_REGISTER;\r
+\r
+\r
+/**\r
+  Package. Note: C-state values are processor specific C-state code names,\r
+  unrelated to MWAIT extension C-state parameters or ACPI CStates. Package C2\r
+  Residency Counter. (R/O) Value since last reset that this package is in\r
+  processor-specific C2 states. Count at the same frequency as the TSC.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_PKG_C2_RESIDENCY (0x0000060D)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_PKG_C2_RESIDENCY);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_PKG_C2_RESIDENCY, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_PKG_C2_RESIDENCY        0x0000060D\r
+\r
+\r
+/**\r
+  Package. PKG RAPL Power Limit Control (R/W) See Section 14.9.3, "Package\r
+  RAPL Domain.".\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_PKG_POWER_LIMIT (0x00000610)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_PKG_POWER_LIMIT);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_PKG_POWER_LIMIT, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_PKG_POWER_LIMIT         0x00000610\r
+\r
+\r
+/**\r
+  Package. PKG Energy Status (R/O) See Section 14.9.3, "Package RAPL Domain.".\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_PKG_ENERGY_STATUS (0x00000611)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_PKG_ENERGY_STATUS);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_PKG_ENERGY_STATUS       0x00000611\r
+\r
+\r
+/**\r
+  Package. PKG RAPL Parameters (R/W) See Section 14.9.3, "Package RAPL\r
+  Domain.".\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_PKG_POWER_INFO (0x00000614)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_PKG_POWER_INFO);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_PKG_POWER_INFO, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_PKG_POWER_INFO          0x00000614\r
+\r
+\r
+/**\r
+  Package. PP0 RAPL Power Limit Control (R/W)  See Section 14.9.4, "PP0/PP1\r
+  RAPL Domains.".\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_PP0_POWER_LIMIT (0x00000638)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_PP0_POWER_LIMIT);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_PP0_POWER_LIMIT, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_PP0_POWER_LIMIT         0x00000638\r
+\r
+\r
+/**\r
+  Package. PP0 Energy Status (R/O)  See Section 14.9.4, "PP0/PP1 RAPL\r
+  Domains.".\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_PP0_ENERGY_STATUS (0x00000639)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_PP0_ENERGY_STATUS);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_PP0_ENERGY_STATUS       0x00000639\r
+\r
+\r
+/**\r
+  Thread. Last Branch Record n From IP (R/W) One of sixteen pairs of last\r
+  branch record registers on the last branch record stack. This part of the\r
+  stack contains pointers to the source instruction. See also: -  Last Branch\r
+  Record Stack TOS at 1C9H -  Section 17.6.1, "LBR Stack.".\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_LASTBRANCH_n_FROM_IP\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_LASTBRANCH_0_FROM_IP);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_LASTBRANCH_0_FROM_IP, Msr);\r
+  @endcode\r
+  @{\r
+**/\r
+#define MSR_SANDY_BRIDGE_LASTBRANCH_0_FROM_IP    0x00000680\r
+#define MSR_SANDY_BRIDGE_LASTBRANCH_1_FROM_IP    0x00000681\r
+#define MSR_SANDY_BRIDGE_LASTBRANCH_2_FROM_IP    0x00000682\r
+#define MSR_SANDY_BRIDGE_LASTBRANCH_3_FROM_IP    0x00000683\r
+#define MSR_SANDY_BRIDGE_LASTBRANCH_4_FROM_IP    0x00000684\r
+#define MSR_SANDY_BRIDGE_LASTBRANCH_5_FROM_IP    0x00000685\r
+#define MSR_SANDY_BRIDGE_LASTBRANCH_6_FROM_IP    0x00000686\r
+#define MSR_SANDY_BRIDGE_LASTBRANCH_7_FROM_IP    0x00000687\r
+#define MSR_SANDY_BRIDGE_LASTBRANCH_8_FROM_IP    0x00000688\r
+#define MSR_SANDY_BRIDGE_LASTBRANCH_9_FROM_IP    0x00000689\r
+#define MSR_SANDY_BRIDGE_LASTBRANCH_10_FROM_IP   0x0000068A\r
+#define MSR_SANDY_BRIDGE_LASTBRANCH_11_FROM_IP   0x0000068B\r
+#define MSR_SANDY_BRIDGE_LASTBRANCH_12_FROM_IP   0x0000068C\r
+#define MSR_SANDY_BRIDGE_LASTBRANCH_13_FROM_IP   0x0000068D\r
+#define MSR_SANDY_BRIDGE_LASTBRANCH_14_FROM_IP   0x0000068E\r
+#define MSR_SANDY_BRIDGE_LASTBRANCH_15_FROM_IP   0x0000068F\r
+/// @}\r
+\r
+\r
+/**\r
+  Thread. Last Branch Record n To IP (R/W) One of sixteen pairs of last branch\r
+  record registers on the last branch record stack. This part of the stack\r
+  contains pointers to the destination instruction.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_LASTBRANCH_n_TO_IP\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_LASTBRANCH_0_TO_IP);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_LASTBRANCH_0_TO_IP, Msr);\r
+  @endcode\r
+  @{\r
+**/\r
+#define MSR_SANDY_BRIDGE_LASTBRANCH_0_TO_IP      0x000006C0\r
+#define MSR_SANDY_BRIDGE_LASTBRANCH_1_TO_IP      0x000006C1\r
+#define MSR_SANDY_BRIDGE_LASTBRANCH_2_TO_IP      0x000006C2\r
+#define MSR_SANDY_BRIDGE_LASTBRANCH_3_TO_IP      0x000006C3\r
+#define MSR_SANDY_BRIDGE_LASTBRANCH_4_TO_IP      0x000006C4\r
+#define MSR_SANDY_BRIDGE_LASTBRANCH_5_TO_IP      0x000006C5\r
+#define MSR_SANDY_BRIDGE_LASTBRANCH_6_TO_IP      0x000006C6\r
+#define MSR_SANDY_BRIDGE_LASTBRANCH_7_TO_IP      0x000006C7\r
+#define MSR_SANDY_BRIDGE_LASTBRANCH_8_TO_IP      0x000006C8\r
+#define MSR_SANDY_BRIDGE_LASTBRANCH_9_TO_IP      0x000006C9\r
+#define MSR_SANDY_BRIDGE_LASTBRANCH_10_TO_IP     0x000006CA\r
+#define MSR_SANDY_BRIDGE_LASTBRANCH_11_TO_IP     0x000006CB\r
+#define MSR_SANDY_BRIDGE_LASTBRANCH_12_TO_IP     0x000006CC\r
+#define MSR_SANDY_BRIDGE_LASTBRANCH_13_TO_IP     0x000006CD\r
+#define MSR_SANDY_BRIDGE_LASTBRANCH_14_TO_IP     0x000006CE\r
+#define MSR_SANDY_BRIDGE_LASTBRANCH_15_TO_IP     0x000006CF\r
+/// @}\r
+\r
+\r
+/**\r
+  Package. Maximum Ratio Limit of Turbo Mode RO if MSR_PLATFORM_INFO.[28] = 0,\r
+  RW if MSR_PLATFORM_INFO.[28] = 1.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_TURBO_RATIO_LIMIT (0x000001AD)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_TURBO_RATIO_LIMIT_REGISTER.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_TURBO_RATIO_LIMIT_REGISTER.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  MSR_SANDY_BRIDGE_TURBO_RATIO_LIMIT_REGISTER  Msr;\r
+\r
+  Msr.Uint64 = AsmReadMsr64 (MSR_SANDY_BRIDGE_TURBO_RATIO_LIMIT);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_TURBO_RATIO_LIMIT       0x000001AD\r
+\r
+/**\r
+  MSR information returned for MSR index #MSR_SANDY_BRIDGE_TURBO_RATIO_LIMIT\r
+**/\r
+typedef union {\r
+  ///\r
+  /// Individual bit fields\r
+  ///\r
+  struct {\r
+    ///\r
+    /// [Bits 7:0] Package. Maximum Ratio Limit for 1C Maximum turbo ratio\r
+    /// limit of 1 core active.\r
+    ///\r
+    UINT32  Maximum1C:8;\r
+    ///\r
+    /// [Bits 15:8] Package. Maximum Ratio Limit for 2C Maximum turbo ratio\r
+    /// limit of 2 core active.\r
+    ///\r
+    UINT32  Maximum2C:8;\r
+    ///\r
+    /// [Bits 23:16] Package. Maximum Ratio Limit for 3C Maximum turbo ratio\r
+    /// limit of 3 core active.\r
+    ///\r
+    UINT32  Maximum3C:8;\r
+    ///\r
+    /// [Bits 31:24] Package. Maximum Ratio Limit for 4C Maximum turbo ratio\r
+    /// limit of 4 core active.\r
+    ///\r
+    UINT32  Maximum4C:8;\r
+    ///\r
+    /// [Bits 39:32] Package. Maximum Ratio Limit for 5C Maximum turbo ratio\r
+    /// limit of 5 core active.\r
+    ///\r
+    UINT32  Maximum5C:8;\r
+    ///\r
+    /// [Bits 47:40] Package. Maximum Ratio Limit for 6C Maximum turbo ratio\r
+    /// limit of 6 core active.\r
+    ///\r
+    UINT32  Maximum6C:8;\r
+    ///\r
+    /// [Bits 55:48] Package. Maximum Ratio Limit for 7C Maximum turbo ratio\r
+    /// limit of 7 core active.\r
+    ///\r
+    UINT32  Maximum7C:8;\r
+    ///\r
+    /// [Bits 63:56] Package. Maximum Ratio Limit for 8C Maximum turbo ratio\r
+    /// limit of 8 core active.\r
+    ///\r
+    UINT32  Maximum8C:8;\r
+  } Bits;\r
+  ///\r
+  /// All bit fields as a 64-bit value\r
+  ///\r
+  UINT64  Uint64;\r
+} MSR_SANDY_BRIDGE_TURBO_RATIO_LIMIT_REGISTER;\r
+\r
+\r
+/**\r
+  Package. Uncore PMU global control.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_UNC_PERF_GLOBAL_CTRL (0x00000391)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_UNC_PERF_GLOBAL_CTRL_REGISTER.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_UNC_PERF_GLOBAL_CTRL_REGISTER.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  MSR_SANDY_BRIDGE_UNC_PERF_GLOBAL_CTRL_REGISTER  Msr;\r
+\r
+  Msr.Uint64 = AsmReadMsr64 (MSR_SANDY_BRIDGE_UNC_PERF_GLOBAL_CTRL);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_UNC_PERF_GLOBAL_CTRL, Msr.Uint64);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_UNC_PERF_GLOBAL_CTRL    0x00000391\r
+\r
+/**\r
+  MSR information returned for MSR index #MSR_SANDY_BRIDGE_UNC_PERF_GLOBAL_CTRL\r
+**/\r
+typedef union {\r
+  ///\r
+  /// Individual bit fields\r
+  ///\r
+  struct {\r
+    ///\r
+    /// [Bit 0] Core 0 select.\r
+    ///\r
+    UINT32  PMI_Sel_Core0:1;\r
+    ///\r
+    /// [Bit 1] Core 1 select.\r
+    ///\r
+    UINT32  PMI_Sel_Core1:1;\r
+    ///\r
+    /// [Bit 2] Core 2 select.\r
+    ///\r
+    UINT32  PMI_Sel_Core2:1;\r
+    ///\r
+    /// [Bit 3] Core 3 select.\r
+    ///\r
+    UINT32  PMI_Sel_Core3:1;\r
+    UINT32  Reserved1:15;\r
+    UINT32  Reserved2:10;\r
+    ///\r
+    /// [Bit 29] Enable all uncore counters.\r
+    ///\r
+    UINT32  EN:1;\r
+    ///\r
+    /// [Bit 30] Enable wake on PMI.\r
+    ///\r
+    UINT32  WakePMI:1;\r
+    ///\r
+    /// [Bit 31] Enable Freezing counter when overflow.\r
+    ///\r
+    UINT32  FREEZE:1;\r
+    UINT32  Reserved3:32;\r
+  } Bits;\r
+  ///\r
+  /// All bit fields as a 32-bit value\r
+  ///\r
+  UINT32  Uint32;\r
+  ///\r
+  /// All bit fields as a 64-bit value\r
+  ///\r
+  UINT64  Uint64;\r
+} MSR_SANDY_BRIDGE_UNC_PERF_GLOBAL_CTRL_REGISTER;\r
+\r
+\r
+/**\r
+  Package. Uncore PMU main status.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_UNC_PERF_GLOBAL_STATUS (0x00000392)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_UNC_PERF_GLOBAL_STATUS_REGISTER.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_UNC_PERF_GLOBAL_STATUS_REGISTER.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  MSR_SANDY_BRIDGE_UNC_PERF_GLOBAL_STATUS_REGISTER  Msr;\r
+\r
+  Msr.Uint64 = AsmReadMsr64 (MSR_SANDY_BRIDGE_UNC_PERF_GLOBAL_STATUS);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_UNC_PERF_GLOBAL_STATUS, Msr.Uint64);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_UNC_PERF_GLOBAL_STATUS  0x00000392\r
+\r
+/**\r
+  MSR information returned for MSR index\r
+  #MSR_SANDY_BRIDGE_UNC_PERF_GLOBAL_STATUS\r
+**/\r
+typedef union {\r
+  ///\r
+  /// Individual bit fields\r
+  ///\r
+  struct {\r
+    ///\r
+    /// [Bit 0] Fixed counter overflowed.\r
+    ///\r
+    UINT32  Fixed:1;\r
+    ///\r
+    /// [Bit 1] An ARB counter overflowed.\r
+    ///\r
+    UINT32  ARB:1;\r
+    UINT32  Reserved1:1;\r
+    ///\r
+    /// [Bit 3] A CBox counter overflowed (on any slice).\r
+    ///\r
+    UINT32  CBox:1;\r
+    UINT32  Reserved2:28;\r
+    UINT32  Reserved3:32;\r
+  } Bits;\r
+  ///\r
+  /// All bit fields as a 32-bit value\r
+  ///\r
+  UINT32  Uint32;\r
+  ///\r
+  /// All bit fields as a 64-bit value\r
+  ///\r
+  UINT64  Uint64;\r
+} MSR_SANDY_BRIDGE_UNC_PERF_GLOBAL_STATUS_REGISTER;\r
+\r
+\r
+/**\r
+  Package. Uncore fixed counter control (R/W).\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_UNC_PERF_FIXED_CTRL (0x00000394)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_UNC_PERF_FIXED_CTRL_REGISTER.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_UNC_PERF_FIXED_CTRL_REGISTER.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  MSR_SANDY_BRIDGE_UNC_PERF_FIXED_CTRL_REGISTER  Msr;\r
+\r
+  Msr.Uint64 = AsmReadMsr64 (MSR_SANDY_BRIDGE_UNC_PERF_FIXED_CTRL);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_UNC_PERF_FIXED_CTRL, Msr.Uint64);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_UNC_PERF_FIXED_CTRL     0x00000394\r
+\r
+/**\r
+  MSR information returned for MSR index #MSR_SANDY_BRIDGE_UNC_PERF_FIXED_CTRL\r
+**/\r
+typedef union {\r
+  ///\r
+  /// Individual bit fields\r
+  ///\r
+  struct {\r
+    UINT32  Reserved1:20;\r
+    ///\r
+    /// [Bit 20] Enable overflow propagation.\r
+    ///\r
+    UINT32  EnableOverflow:1;\r
+    UINT32  Reserved2:1;\r
+    ///\r
+    /// [Bit 22] Enable counting.\r
+    ///\r
+    UINT32  EnableCounting:1;\r
+    UINT32  Reserved3:9;\r
+    UINT32  Reserved4:32;\r
+  } Bits;\r
+  ///\r
+  /// All bit fields as a 32-bit value\r
+  ///\r
+  UINT32  Uint32;\r
+  ///\r
+  /// All bit fields as a 64-bit value\r
+  ///\r
+  UINT64  Uint64;\r
+} MSR_SANDY_BRIDGE_UNC_PERF_FIXED_CTRL_REGISTER;\r
+\r
+\r
+/**\r
+  Package. Uncore fixed counter.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_UNC_PERF_FIXED_CTR (0x00000395)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_UNC_PERF_FIXED_CTR_REGISTER.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_UNC_PERF_FIXED_CTR_REGISTER.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  MSR_SANDY_BRIDGE_UNC_PERF_FIXED_CTR_REGISTER  Msr;\r
+\r
+  Msr.Uint64 = AsmReadMsr64 (MSR_SANDY_BRIDGE_UNC_PERF_FIXED_CTR);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_UNC_PERF_FIXED_CTR, Msr.Uint64);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_UNC_PERF_FIXED_CTR      0x00000395\r
+\r
+/**\r
+  MSR information returned for MSR index #MSR_SANDY_BRIDGE_UNC_PERF_FIXED_CTR\r
+**/\r
+typedef union {\r
+  ///\r
+  /// Individual bit fields\r
+  ///\r
+  struct {\r
+    ///\r
+    /// [Bits 31:0] Current count.\r
+    ///\r
+    UINT32  CurrentCount:32;\r
+    ///\r
+    /// [Bits 47:32] Current count.\r
+    ///\r
+    UINT32  CurrentCountHi:16;\r
+    UINT32  Reserved:16;\r
+  } Bits;\r
+  ///\r
+  /// All bit fields as a 64-bit value\r
+  ///\r
+  UINT64  Uint64;\r
+} MSR_SANDY_BRIDGE_UNC_PERF_FIXED_CTR_REGISTER;\r
+\r
+\r
+/**\r
+  Package. Uncore C-Box configuration information (R/O).\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_UNC_CBO_CONFIG (0x00000396)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_UNC_CBO_CONFIG_REGISTER.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_UNC_CBO_CONFIG_REGISTER.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  MSR_SANDY_BRIDGE_UNC_CBO_CONFIG_REGISTER  Msr;\r
+\r
+  Msr.Uint64 = AsmReadMsr64 (MSR_SANDY_BRIDGE_UNC_CBO_CONFIG);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_UNC_CBO_CONFIG          0x00000396\r
+\r
+/**\r
+  MSR information returned for MSR index #MSR_SANDY_BRIDGE_UNC_CBO_CONFIG\r
+**/\r
+typedef union {\r
+  ///\r
+  /// Individual bit fields\r
+  ///\r
+  struct {\r
+    ///\r
+    /// [Bits 3:0] Encoded number of C-Box, derive value by "-1".\r
+    ///\r
+    UINT32  CBox:4;\r
+    UINT32  Reserved1:28;\r
+    UINT32  Reserved2:32;\r
+  } Bits;\r
+  ///\r
+  /// All bit fields as a 32-bit value\r
+  ///\r
+  UINT32  Uint32;\r
+  ///\r
+  /// All bit fields as a 64-bit value\r
+  ///\r
+  UINT64  Uint64;\r
+} MSR_SANDY_BRIDGE_UNC_CBO_CONFIG_REGISTER;\r
+\r
+\r
+/**\r
+  Package. Uncore Arb unit, performance counter 0.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_UNC_ARB_PERFCTR0 (0x000003B0)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_UNC_ARB_PERFCTR0);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_UNC_ARB_PERFCTR0, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_UNC_ARB_PERFCTR0        0x000003B0\r
+\r
+\r
+/**\r
+  Package. Uncore Arb unit, performance counter 1.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_UNC_ARB_PERFCTR1 (0x000003B1)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_UNC_ARB_PERFCTR1);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_UNC_ARB_PERFCTR1, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_UNC_ARB_PERFCTR1        0x000003B1\r
+\r
+\r
+/**\r
+  Package. Uncore Arb unit, counter 0 event select MSR.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_UNC_ARB_PERFEVTSEL0 (0x000003B2)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_UNC_ARB_PERFEVTSEL0);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_UNC_ARB_PERFEVTSEL0, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_UNC_ARB_PERFEVTSEL0     0x000003B2\r
+\r
+\r
+/**\r
+  Package. Uncore Arb unit, counter 1 event select MSR.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_UNC_ARB_PERFEVTSEL1 (0x000003B3)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_UNC_ARB_PERFEVTSEL1);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_UNC_ARB_PERFEVTSEL1, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_UNC_ARB_PERFEVTSEL1     0x000003B3\r
+\r
+\r
+/**\r
+  Package. Package C7 Interrupt Response Limit (R/W)  This MSR defines the\r
+  budget allocated for the package to exit from C7 to a C0 state, where\r
+  interrupt request can be delivered to the core and serviced. Additional\r
+  core-exit latency amy be applicable depending on the actual C-state the core\r
+  is in. Note: C-state values are processor specific C-state code names,\r
+  unrelated to MWAIT extension C-state parameters or ACPI CStates.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_PKGC7_IRTL (0x0000060C)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_PKGC7_IRTL_REGISTER.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_PKGC7_IRTL_REGISTER.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  MSR_SANDY_BRIDGE_PKGC7_IRTL_REGISTER  Msr;\r
+\r
+  Msr.Uint64 = AsmReadMsr64 (MSR_SANDY_BRIDGE_PKGC7_IRTL);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_PKGC7_IRTL, Msr.Uint64);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_PKGC7_IRTL              0x0000060C\r
+\r
+/**\r
+  MSR information returned for MSR index #MSR_SANDY_BRIDGE_PKGC7_IRTL\r
+**/\r
+typedef union {\r
+  ///\r
+  /// Individual bit fields\r
+  ///\r
+  struct {\r
+    ///\r
+    /// [Bits 9:0] Interrupt response time limit (R/W)  Specifies the limit\r
+    /// that should be used to decide if the package should be put into a\r
+    /// package C7 state.\r
+    ///\r
+    UINT32  TimeLimit:10;\r
+    ///\r
+    /// [Bits 12:10] Time Unit (R/W)  Specifies the encoding value of time\r
+    /// unit of the interrupt response time limit. The following time unit\r
+    /// encodings are supported: 000b: 1 ns 001b: 32 ns 010b: 1024 ns 011b:\r
+    /// 32768 ns 100b: 1048576 ns 101b: 33554432 ns.\r
+    ///\r
+    UINT32  TimeUnit:3;\r
+    UINT32  Reserved1:2;\r
+    ///\r
+    /// [Bit 15] Valid (R/W)  Indicates whether the values in bits 12:0 are\r
+    /// valid and can be used by the processor for package C-sate management.\r
+    ///\r
+    UINT32  Valid:1;\r
+    UINT32  Reserved2:16;\r
+    UINT32  Reserved3:32;\r
+  } Bits;\r
+  ///\r
+  /// All bit fields as a 32-bit value\r
+  ///\r
+  UINT32  Uint32;\r
+  ///\r
+  /// All bit fields as a 64-bit value\r
+  ///\r
+  UINT64  Uint64;\r
+} MSR_SANDY_BRIDGE_PKGC7_IRTL_REGISTER;\r
+\r
+\r
+/**\r
+  Package. PP0 Balance Policy (R/W) See Section 14.9.4, "PP0/PP1 RAPL\r
+  Domains.".\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_PP0_POLICY (0x0000063A)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_PP0_POLICY);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_PP0_POLICY, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_PP0_POLICY              0x0000063A\r
+\r
+\r
+/**\r
+  Package. PP1 RAPL Power Limit Control (R/W) See Section 14.9.4, "PP0/PP1\r
+  RAPL Domains.".\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_PP1_POWER_LIMIT (0x00000640)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_PP1_POWER_LIMIT);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_PP1_POWER_LIMIT, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_PP1_POWER_LIMIT         0x00000640\r
+\r
+\r
+/**\r
+  Package. PP1 Energy Status (R/O)  See Section 14.9.4, "PP0/PP1 RAPL\r
+  Domains.".\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_PP1_ENERGY_STATUS (0x00000641)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_PP1_ENERGY_STATUS);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_PP1_ENERGY_STATUS       0x00000641\r
+\r
+\r
+/**\r
+  Package. PP1 Balance Policy (R/W) See Section 14.9.4, "PP0/PP1 RAPL\r
+  Domains.".\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_PP1_POLICY (0x00000642)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_PP1_POLICY);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_PP1_POLICY, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_PP1_POLICY              0x00000642\r
+\r
+\r
+/**\r
+  Package. Uncore C-Box 0, counter 0 event select MSR.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_UNC_CBO_0_PERFEVTSEL0 (0x00000700)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_UNC_CBO_0_PERFEVTSEL0);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_UNC_CBO_0_PERFEVTSEL0, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_UNC_CBO_0_PERFEVTSEL0   0x00000700\r
+\r
+\r
+/**\r
+  Package. Uncore C-Box 0, counter 1 event select MSR.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_UNC_CBO_0_PERFEVTSEL1 (0x00000701)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_UNC_CBO_0_PERFEVTSEL1);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_UNC_CBO_0_PERFEVTSEL1, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_UNC_CBO_0_PERFEVTSEL1   0x00000701\r
+\r
+\r
+/**\r
+  Package. Uncore C-Box 0, performance counter 0.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_UNC_CBO_0_PERFCTR0 (0x00000706)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_UNC_CBO_0_PERFCTR0);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_UNC_CBO_0_PERFCTR0, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_UNC_CBO_0_PERFCTR0      0x00000706\r
+\r
+\r
+/**\r
+  Package. Uncore C-Box 0, performance counter 1.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_UNC_CBO_0_PERFCTR1 (0x00000707)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_UNC_CBO_0_PERFCTR1);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_UNC_CBO_0_PERFCTR1, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_UNC_CBO_0_PERFCTR1      0x00000707\r
+\r
+\r
+/**\r
+  Package. Uncore C-Box 1, counter 0 event select MSR.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_UNC_CBO_1_PERFEVTSEL0 (0x00000710)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_UNC_CBO_1_PERFEVTSEL0);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_UNC_CBO_1_PERFEVTSEL0, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_UNC_CBO_1_PERFEVTSEL0   0x00000710\r
+\r
+\r
+/**\r
+  Package. Uncore C-Box 1, counter 1 event select MSR.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_UNC_CBO_1_PERFEVTSEL1 (0x00000711)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_UNC_CBO_1_PERFEVTSEL1);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_UNC_CBO_1_PERFEVTSEL1, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_UNC_CBO_1_PERFEVTSEL1   0x00000711\r
+\r
+\r
+/**\r
+  Package. Uncore C-Box 1, performance counter 0.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_UNC_CBO_1_PERFCTR0 (0x00000716)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_UNC_CBO_1_PERFCTR0);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_UNC_CBO_1_PERFCTR0, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_UNC_CBO_1_PERFCTR0      0x00000716\r
+\r
+\r
+/**\r
+  Package. Uncore C-Box 1, performance counter 1.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_UNC_CBO_1_PERFCTR1 (0x00000717)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_UNC_CBO_1_PERFCTR1);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_UNC_CBO_1_PERFCTR1, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_UNC_CBO_1_PERFCTR1      0x00000717\r
+\r
+\r
+/**\r
+  Package. Uncore C-Box 2, counter 0 event select MSR.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_UNC_CBO_2_PERFEVTSEL0 (0x00000720)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_UNC_CBO_2_PERFEVTSEL0);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_UNC_CBO_2_PERFEVTSEL0, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_UNC_CBO_2_PERFEVTSEL0   0x00000720\r
+\r
+\r
+/**\r
+  Package. Uncore C-Box 2, counter 1 event select MSR.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_UNC_CBO_2_PERFEVTSEL1 (0x00000721)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_UNC_CBO_2_PERFEVTSEL1);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_UNC_CBO_2_PERFEVTSEL1, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_UNC_CBO_2_PERFEVTSEL1   0x00000721\r
+\r
+\r
+/**\r
+  Package. Uncore C-Box 2, performance counter 0.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_UNC_CBO_2_PERFCTR0 (0x00000726)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_UNC_CBO_2_PERFCTR0);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_UNC_CBO_2_PERFCTR0, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_UNC_CBO_2_PERFCTR0      0x00000726\r
+\r
+\r
+/**\r
+  Package. Uncore C-Box 2, performance counter 1.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_UNC_CBO_2_PERFCTR1 (0x00000727)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_UNC_CBO_2_PERFCTR1);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_UNC_CBO_2_PERFCTR1, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_UNC_CBO_2_PERFCTR1      0x00000727\r
+\r
+\r
+/**\r
+  Package. Uncore C-Box 3, counter 0 event select MSR.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_UNC_CBO_3_PERFEVTSEL0 (0x00000730)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_UNC_CBO_3_PERFEVTSEL0);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_UNC_CBO_3_PERFEVTSEL0, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_UNC_CBO_3_PERFEVTSEL0   0x00000730\r
+\r
+\r
+/**\r
+  Package. Uncore C-Box 3, counter 1 event select MSR.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_UNC_CBO_3_PERFEVTSEL1 (0x00000731)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_UNC_CBO_3_PERFEVTSEL1);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_UNC_CBO_3_PERFEVTSEL1, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_UNC_CBO_3_PERFEVTSEL1   0x00000731\r
+\r
+\r
+/**\r
+  Package. Uncore C-Box 3, performance counter 0.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_UNC_CBO_3_PERFCTR0 (0x00000736)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_UNC_CBO_3_PERFCTR0);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_UNC_CBO_3_PERFCTR0, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_UNC_CBO_3_PERFCTR0      0x00000736\r
+\r
+\r
+/**\r
+  Package. Uncore C-Box 3, performance counter 1.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_UNC_CBO_3_PERFCTR1 (0x00000737)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_UNC_CBO_3_PERFCTR1);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_UNC_CBO_3_PERFCTR1, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_UNC_CBO_3_PERFCTR1      0x00000737\r
+\r
+\r
+/**\r
+  Package. MC Bank Error Configuration (R/W).\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_ERROR_CONTROL (0x0000017F)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_ERROR_CONTROL_REGISTER.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_ERROR_CONTROL_REGISTER.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  MSR_SANDY_BRIDGE_ERROR_CONTROL_REGISTER  Msr;\r
+\r
+  Msr.Uint64 = AsmReadMsr64 (MSR_SANDY_BRIDGE_ERROR_CONTROL);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_ERROR_CONTROL, Msr.Uint64);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_ERROR_CONTROL           0x0000017F\r
+\r
+/**\r
+  MSR information returned for MSR index #MSR_SANDY_BRIDGE_ERROR_CONTROL\r
+**/\r
+typedef union {\r
+  ///\r
+  /// Individual bit fields\r
+  ///\r
+  struct {\r
+    UINT32  Reserved1:1;\r
+    ///\r
+    /// [Bit 1] MemError Log Enable (R/W)  When set, enables IMC status bank\r
+    /// to log additional info in bits 36:32.\r
+    ///\r
+    UINT32  MemErrorLogEnable:1;\r
+    UINT32  Reserved2:30;\r
+    UINT32  Reserved3:32;\r
+  } Bits;\r
+  ///\r
+  /// All bit fields as a 32-bit value\r
+  ///\r
+  UINT32  Uint32;\r
+  ///\r
+  /// All bit fields as a 64-bit value\r
+  ///\r
+  UINT64  Uint64;\r
+} MSR_SANDY_BRIDGE_ERROR_CONTROL_REGISTER;\r
+\r
+\r
+/**\r
+  Package.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_PEBS_NUM_ALT (0x0000039C)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_PEBS_NUM_ALT_REGISTER.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+               Described by the type MSR_SANDY_BRIDGE_PEBS_NUM_ALT_REGISTER.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  MSR_SANDY_BRIDGE_PEBS_NUM_ALT_REGISTER  Msr;\r
+\r
+  Msr.Uint64 = AsmReadMsr64 (MSR_SANDY_BRIDGE_PEBS_NUM_ALT);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_PEBS_NUM_ALT, Msr.Uint64);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_PEBS_NUM_ALT            0x0000039C\r
+\r
+/**\r
+  MSR information returned for MSR index #MSR_SANDY_BRIDGE_PEBS_NUM_ALT\r
+**/\r
+typedef union {\r
+  ///\r
+  /// Individual bit fields\r
+  ///\r
+  struct {\r
+    ///\r
+    /// [Bit 0] ENABLE_PEBS_NUM_ALT (RW) Write 1 to enable alternate PEBS\r
+    /// counting logic for specific events requiring additional configuration,\r
+    /// see Table 19-9.\r
+    ///\r
+    UINT32  ENABLE_PEBS_NUM_ALT:1;\r
+    UINT32  Reserved1:31;\r
+    UINT32  Reserved2:32;\r
+  } Bits;\r
+  ///\r
+  /// All bit fields as a 32-bit value\r
+  ///\r
+  UINT32  Uint32;\r
+  ///\r
+  /// All bit fields as a 64-bit value\r
+  ///\r
+  UINT64  Uint64;\r
+} MSR_SANDY_BRIDGE_PEBS_NUM_ALT_REGISTER;\r
+\r
+\r
+/**\r
+  Package. See Section 15.3.2.1, "IA32_MCi_CTL MSRs.".\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_MCi_CTL\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_MC5_CTL);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_MC5_CTL, Msr);\r
+  @endcode\r
+  @{\r
+**/\r
+#define MSR_SANDY_BRIDGE_MC5_CTL                 0x00000414\r
+#define MSR_SANDY_BRIDGE_MC6_CTL                 0x00000418\r
+#define MSR_SANDY_BRIDGE_MC7_CTL                 0x0000041C\r
+#define MSR_SANDY_BRIDGE_MC8_CTL                 0x00000420\r
+#define MSR_SANDY_BRIDGE_MC9_CTL                 0x00000424\r
+#define MSR_SANDY_BRIDGE_MC10_CTL                0x00000428\r
+#define MSR_SANDY_BRIDGE_MC11_CTL                0x0000042C\r
+#define MSR_SANDY_BRIDGE_MC12_CTL                0x00000430\r
+#define MSR_SANDY_BRIDGE_MC13_CTL                0x00000434\r
+#define MSR_SANDY_BRIDGE_MC14_CTL                0x00000438\r
+#define MSR_SANDY_BRIDGE_MC15_CTL                0x0000043C\r
+#define MSR_SANDY_BRIDGE_MC16_CTL                0x00000440\r
+#define MSR_SANDY_BRIDGE_MC17_CTL                0x00000444\r
+#define MSR_SANDY_BRIDGE_MC18_CTL                0x00000448\r
+#define MSR_SANDY_BRIDGE_MC19_CTL                0x0000044C\r
+/// @}\r
+\r
+\r
+/**\r
+  Package. See Section 15.3.2.2, "IA32_MCi_STATUS MSRS," and Chapter 16.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_MCi_STATUS\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_MC5_STATUS);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_MC5_STATUS, Msr);\r
+  @endcode\r
+  @{\r
+**/\r
+#define MSR_SANDY_BRIDGE_MC5_STATUS              0x00000415\r
+#define MSR_SANDY_BRIDGE_MC6_STATUS              0x00000419\r
+#define MSR_SANDY_BRIDGE_MC7_STATUS              0x0000041D\r
+#define MSR_SANDY_BRIDGE_MC8_STATUS              0x00000421\r
+#define MSR_SANDY_BRIDGE_MC9_STATUS              0x00000425\r
+#define MSR_SANDY_BRIDGE_MC10_STATUS             0x00000429\r
+#define MSR_SANDY_BRIDGE_MC11_STATUS             0x0000042D\r
+#define MSR_SANDY_BRIDGE_MC12_STATUS             0x00000431\r
+#define MSR_SANDY_BRIDGE_MC13_STATUS             0x00000435\r
+#define MSR_SANDY_BRIDGE_MC14_STATUS             0x00000439\r
+#define MSR_SANDY_BRIDGE_MC15_STATUS             0x0000043D\r
+#define MSR_SANDY_BRIDGE_MC16_STATUS             0x00000441\r
+#define MSR_SANDY_BRIDGE_MC17_STATUS             0x00000445\r
+#define MSR_SANDY_BRIDGE_MC18_STATUS             0x00000449\r
+#define MSR_SANDY_BRIDGE_MC19_STATUS             0x0000044D\r
+/// @}\r
+\r
+\r
+/**\r
+  Package. See Section 15.3.2.3, "IA32_MCi_ADDR MSRs.".\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_MCi_ADDR\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_MC5_ADDR);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_MC5_ADDR, Msr);\r
+  @endcode\r
+  @{\r
+**/\r
+#define MSR_SANDY_BRIDGE_MC5_ADDR                0x00000416\r
+#define MSR_SANDY_BRIDGE_MC6_ADDR                0x0000041A\r
+#define MSR_SANDY_BRIDGE_MC7_ADDR                0x0000041E\r
+#define MSR_SANDY_BRIDGE_MC8_ADDR                0x00000422\r
+#define MSR_SANDY_BRIDGE_MC9_ADDR                0x00000426\r
+#define MSR_SANDY_BRIDGE_MC10_ADDR               0x0000042A\r
+#define MSR_SANDY_BRIDGE_MC11_ADDR               0x0000042E\r
+#define MSR_SANDY_BRIDGE_MC12_ADDR               0x00000432\r
+#define MSR_SANDY_BRIDGE_MC13_ADDR               0x00000436\r
+#define MSR_SANDY_BRIDGE_MC14_ADDR               0x0000043A\r
+#define MSR_SANDY_BRIDGE_MC15_ADDR               0x0000043E\r
+#define MSR_SANDY_BRIDGE_MC16_ADDR               0x00000442\r
+#define MSR_SANDY_BRIDGE_MC17_ADDR               0x00000446\r
+#define MSR_SANDY_BRIDGE_MC18_ADDR               0x0000044A\r
+#define MSR_SANDY_BRIDGE_MC19_ADDR               0x0000044E\r
+/// @}\r
+\r
+\r
+/**\r
+  Package. See Section 15.3.2.4, "IA32_MCi_MISC MSRs.".\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_MCi_MISC\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_MC5_MISC);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_MC5_MISC, Msr);\r
+  @endcode\r
+  @{\r
+**/\r
+#define MSR_SANDY_BRIDGE_MC5_MISC                0x00000417\r
+#define MSR_SANDY_BRIDGE_MC6_MISC                0x0000041B\r
+#define MSR_SANDY_BRIDGE_MC7_MISC                0x0000041F\r
+#define MSR_SANDY_BRIDGE_MC8_MISC                0x00000423\r
+#define MSR_SANDY_BRIDGE_MC9_MISC                0x00000427\r
+#define MSR_SANDY_BRIDGE_MC10_MISC               0x0000042B\r
+#define MSR_SANDY_BRIDGE_MC11_MISC               0x0000042F\r
+#define MSR_SANDY_BRIDGE_MC12_MISC               0x00000433\r
+#define MSR_SANDY_BRIDGE_MC13_MISC               0x00000437\r
+#define MSR_SANDY_BRIDGE_MC14_MISC               0x0000043B\r
+#define MSR_SANDY_BRIDGE_MC15_MISC               0x0000043F\r
+#define MSR_SANDY_BRIDGE_MC16_MISC               0x00000443\r
+#define MSR_SANDY_BRIDGE_MC17_MISC               0x00000447\r
+#define MSR_SANDY_BRIDGE_MC18_MISC               0x0000044B\r
+#define MSR_SANDY_BRIDGE_MC19_MISC               0x0000044F\r
+/// @}\r
+\r
+\r
+/**\r
+  Package. Package RAPL Perf Status (R/O).\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_PKG_PERF_STATUS (0x00000613)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_PKG_PERF_STATUS);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_PKG_PERF_STATUS         0x00000613\r
+\r
+\r
+/**\r
+  Package. DRAM RAPL Power Limit Control (R/W)  See Section 14.9.5, "DRAM RAPL\r
+  Domain.".\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_DRAM_POWER_LIMIT (0x00000618)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_DRAM_POWER_LIMIT);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_DRAM_POWER_LIMIT, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_DRAM_POWER_LIMIT        0x00000618\r
+\r
+\r
+/**\r
+  Package. DRAM Energy Status (R/O)  See Section 14.9.5, "DRAM RAPL Domain.".\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_DRAM_ENERGY_STATUS (0x00000619)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_DRAM_ENERGY_STATUS);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_DRAM_ENERGY_STATUS      0x00000619\r
+\r
+\r
+/**\r
+  Package. DRAM Performance Throttling Status (R/O) See Section 14.9.5, "DRAM\r
+  RAPL Domain.".\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_DRAM_PERF_STATUS (0x0000061B)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_DRAM_PERF_STATUS);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_DRAM_PERF_STATUS        0x0000061B\r
+\r
+\r
+/**\r
+  Package. DRAM RAPL Parameters (R/W) See Section 14.9.5, "DRAM RAPL Domain.".\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_DRAM_POWER_INFO (0x0000061C)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_DRAM_POWER_INFO);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_DRAM_POWER_INFO, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_DRAM_POWER_INFO         0x0000061C\r
+\r
+\r
+/**\r
+  Package. Uncore U-box UCLK fixed counter control.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_U_PMON_UCLK_FIXED_CTL (0x00000C08)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_U_PMON_UCLK_FIXED_CTL);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_U_PMON_UCLK_FIXED_CTL, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_U_PMON_UCLK_FIXED_CTL   0x00000C08\r
+\r
+\r
+/**\r
+  Package. Uncore U-box UCLK fixed counter.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_U_PMON_UCLK_FIXED_CTR (0x00000C09)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_U_PMON_UCLK_FIXED_CTR);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_U_PMON_UCLK_FIXED_CTR, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_U_PMON_UCLK_FIXED_CTR   0x00000C09\r
+\r
+\r
+/**\r
+  Package. Uncore U-box perfmon event select for U-box counter 0.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_U_PMON_EVNTSEL0 (0x00000C10)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_U_PMON_EVNTSEL0);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_U_PMON_EVNTSEL0, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_U_PMON_EVNTSEL0         0x00000C10\r
+\r
+\r
+/**\r
+  Package. Uncore U-box perfmon event select for U-box counter 1.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_U_PMON_EVNTSEL1 (0x00000C11)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_U_PMON_EVNTSEL1);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_U_PMON_EVNTSEL1, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_U_PMON_EVNTSEL1         0x00000C11\r
+\r
+\r
+/**\r
+  Package. Uncore U-box perfmon counter 0.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_U_PMON_CTR0 (0x00000C16)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_U_PMON_CTR0);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_U_PMON_CTR0, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_U_PMON_CTR0             0x00000C16\r
+\r
+\r
+/**\r
+  Package. Uncore U-box perfmon counter 1.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_U_PMON_CTR1 (0x00000C17)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_U_PMON_CTR1);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_U_PMON_CTR1, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_U_PMON_CTR1             0x00000C17\r
+\r
+\r
+/**\r
+  Package. Uncore PCU perfmon for PCU-box-wide control.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_PCU_PMON_BOX_CTL (0x00000C24)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_PCU_PMON_BOX_CTL);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_PCU_PMON_BOX_CTL, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_PCU_PMON_BOX_CTL        0x00000C24\r
+\r
+\r
+/**\r
+  Package. Uncore PCU perfmon event select for PCU counter 0.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_PCU_PMON_EVNTSEL0 (0x00000C30)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_PCU_PMON_EVNTSEL0);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_PCU_PMON_EVNTSEL0, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_PCU_PMON_EVNTSEL0       0x00000C30\r
+\r
+\r
+/**\r
+  Package. Uncore PCU perfmon event select for PCU counter 1.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_PCU_PMON_EVNTSEL1 (0x00000C31)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_PCU_PMON_EVNTSEL1);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_PCU_PMON_EVNTSEL1, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_PCU_PMON_EVNTSEL1       0x00000C31\r
+\r
+\r
+/**\r
+  Package. Uncore PCU perfmon event select for PCU counter 2.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_PCU_PMON_EVNTSEL2 (0x00000C32)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_PCU_PMON_EVNTSEL2);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_PCU_PMON_EVNTSEL2, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_PCU_PMON_EVNTSEL2       0x00000C32\r
+\r
+\r
+/**\r
+  Package. Uncore PCU perfmon event select for PCU counter 3.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_PCU_PMON_EVNTSEL3 (0x00000C33)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_PCU_PMON_EVNTSEL3);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_PCU_PMON_EVNTSEL3, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_PCU_PMON_EVNTSEL3       0x00000C33\r
+\r
+\r
+/**\r
+  Package. Uncore PCU perfmon box-wide filter.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_PCU_PMON_BOX_FILTER (0x00000C34)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_PCU_PMON_BOX_FILTER);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_PCU_PMON_BOX_FILTER, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_PCU_PMON_BOX_FILTER     0x00000C34\r
+\r
+\r
+/**\r
+  Package. Uncore PCU perfmon counter 0.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_PCU_PMON_CTR0 (0x00000C36)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_PCU_PMON_CTR0);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_PCU_PMON_CTR0, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_PCU_PMON_CTR0           0x00000C36\r
+\r
+\r
+/**\r
+  Package. Uncore PCU perfmon counter 1.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_PCU_PMON_CTR1 (0x00000C37)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_PCU_PMON_CTR1);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_PCU_PMON_CTR1, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_PCU_PMON_CTR1           0x00000C37\r
+\r
+\r
+/**\r
+  Package. Uncore PCU perfmon counter 2.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_PCU_PMON_CTR2 (0x00000C38)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_PCU_PMON_CTR2);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_PCU_PMON_CTR2, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_PCU_PMON_CTR2           0x00000C38\r
+\r
+\r
+/**\r
+  Package. Uncore PCU perfmon counter 3.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_PCU_PMON_CTR3 (0x00000C39)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_PCU_PMON_CTR3);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_PCU_PMON_CTR3, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_PCU_PMON_CTR3           0x00000C39\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 0 perfmon local box wide control.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C0_PMON_BOX_CTL (0x00000D04)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C0_PMON_BOX_CTL);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C0_PMON_BOX_CTL, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C0_PMON_BOX_CTL         0x00000D04\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 0 perfmon event select for C-box 0 counter 0.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C0_PMON_EVNTSEL0 (0x00000D10)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C0_PMON_EVNTSEL0);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C0_PMON_EVNTSEL0, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C0_PMON_EVNTSEL0        0x00000D10\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 0 perfmon event select for C-box 0 counter 1.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C0_PMON_EVNTSEL1 (0x00000D11)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C0_PMON_EVNTSEL1);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C0_PMON_EVNTSEL1, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C0_PMON_EVNTSEL1        0x00000D11\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 0 perfmon event select for C-box 0 counter 2.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C0_PMON_EVNTSEL2 (0x00000D12)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C0_PMON_EVNTSEL2);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C0_PMON_EVNTSEL2, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C0_PMON_EVNTSEL2        0x00000D12\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 0 perfmon event select for C-box 0 counter 3.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C0_PMON_EVNTSEL3 (0x00000D13)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C0_PMON_EVNTSEL3);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C0_PMON_EVNTSEL3, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C0_PMON_EVNTSEL3        0x00000D13\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 0 perfmon box wide filter.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C0_PMON_BOX_FILTER (0x00000D14)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C0_PMON_BOX_FILTER);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C0_PMON_BOX_FILTER, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C0_PMON_BOX_FILTER      0x00000D14\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 0 perfmon counter 0.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C0_PMON_CTR0 (0x00000D16)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C0_PMON_CTR0);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C0_PMON_CTR0, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C0_PMON_CTR0            0x00000D16\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 0 perfmon counter 1.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C0_PMON_CTR1 (0x00000D17)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C0_PMON_CTR1);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C0_PMON_CTR1, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C0_PMON_CTR1            0x00000D17\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 0 perfmon counter 2.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C0_PMON_CTR2 (0x00000D18)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C0_PMON_CTR2);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C0_PMON_CTR2, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C0_PMON_CTR2            0x00000D18\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 0 perfmon counter 3.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C0_PMON_CTR3 (0x00000D19)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C0_PMON_CTR3);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C0_PMON_CTR3, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C0_PMON_CTR3            0x00000D19\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 1 perfmon local box wide control.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C1_PMON_BOX_CTL (0x00000D24)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C1_PMON_BOX_CTL);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C1_PMON_BOX_CTL, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C1_PMON_BOX_CTL         0x00000D24\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 1 perfmon event select for C-box 1 counter 0.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C1_PMON_EVNTSEL0 (0x00000D30)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C1_PMON_EVNTSEL0);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C1_PMON_EVNTSEL0, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C1_PMON_EVNTSEL0        0x00000D30\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 1 perfmon event select for C-box 1 counter 1.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C1_PMON_EVNTSEL1 (0x00000D31)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C1_PMON_EVNTSEL1);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C1_PMON_EVNTSEL1, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C1_PMON_EVNTSEL1        0x00000D31\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 1 perfmon event select for C-box 1 counter 2.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C1_PMON_EVNTSEL2 (0x00000D32)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C1_PMON_EVNTSEL2);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C1_PMON_EVNTSEL2, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C1_PMON_EVNTSEL2        0x00000D32\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 1 perfmon event select for C-box 1 counter 3.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C1_PMON_EVNTSEL3 (0x00000D33)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C1_PMON_EVNTSEL3);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C1_PMON_EVNTSEL3, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C1_PMON_EVNTSEL3        0x00000D33\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 1 perfmon box wide filter.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C1_PMON_BOX_FILTER (0x00000D34)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C1_PMON_BOX_FILTER);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C1_PMON_BOX_FILTER, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C1_PMON_BOX_FILTER      0x00000D34\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 1 perfmon counter 0.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C1_PMON_CTR0 (0x00000D36)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C1_PMON_CTR0);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C1_PMON_CTR0, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C1_PMON_CTR0            0x00000D36\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 1 perfmon counter 1.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C1_PMON_CTR1 (0x00000D37)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C1_PMON_CTR1);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C1_PMON_CTR1, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C1_PMON_CTR1            0x00000D37\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 1 perfmon counter 2.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C1_PMON_CTR2 (0x00000D38)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C1_PMON_CTR2);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C1_PMON_CTR2, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C1_PMON_CTR2            0x00000D38\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 1 perfmon counter 3.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C1_PMON_CTR3 (0x00000D39)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C1_PMON_CTR3);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C1_PMON_CTR3, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C1_PMON_CTR3            0x00000D39\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 2 perfmon local box wide control.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C2_PMON_BOX_CTL (0x00000D44)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C2_PMON_BOX_CTL);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C2_PMON_BOX_CTL, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C2_PMON_BOX_CTL         0x00000D44\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 2 perfmon event select for C-box 2 counter 0.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C2_PMON_EVNTSEL0 (0x00000D50)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C2_PMON_EVNTSEL0);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C2_PMON_EVNTSEL0, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C2_PMON_EVNTSEL0        0x00000D50\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 2 perfmon event select for C-box 2 counter 1.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C2_PMON_EVNTSEL1 (0x00000D51)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C2_PMON_EVNTSEL1);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C2_PMON_EVNTSEL1, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C2_PMON_EVNTSEL1        0x00000D51\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 2 perfmon event select for C-box 2 counter 2.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C2_PMON_EVNTSEL2 (0x00000D52)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C2_PMON_EVNTSEL2);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C2_PMON_EVNTSEL2, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C2_PMON_EVNTSEL2        0x00000D52\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 2 perfmon event select for C-box 2 counter 3.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C2_PMON_EVNTSEL3 (0x00000D53)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C2_PMON_EVNTSEL3);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C2_PMON_EVNTSEL3, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C2_PMON_EVNTSEL3        0x00000D53\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 2 perfmon box wide filter.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C2_PMON_BOX_FILTER (0x00000D54)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C2_PMON_BOX_FILTER);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C2_PMON_BOX_FILTER, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C2_PMON_BOX_FILTER      0x00000D54\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 2 perfmon counter 0.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C2_PMON_CTR0 (0x00000D56)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C2_PMON_CTR0);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C2_PMON_CTR0, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C2_PMON_CTR0            0x00000D56\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 2 perfmon counter 1.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C2_PMON_CTR1 (0x00000D57)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C2_PMON_CTR1);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C2_PMON_CTR1, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C2_PMON_CTR1            0x00000D57\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 2 perfmon counter 2.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C2_PMON_CTR2 (0x00000D58)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C2_PMON_CTR2);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C2_PMON_CTR2, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C2_PMON_CTR2            0x00000D58\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 2 perfmon counter 3.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C2_PMON_CTR3 (0x00000D59)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C2_PMON_CTR3);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C2_PMON_CTR3, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C2_PMON_CTR3            0x00000D59\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 3 perfmon local box wide control.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C3_PMON_BOX_CTL (0x00000D64)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C3_PMON_BOX_CTL);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C3_PMON_BOX_CTL, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C3_PMON_BOX_CTL         0x00000D64\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 3 perfmon event select for C-box 3 counter 0.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C3_PMON_EVNTSEL0 (0x00000D70)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C3_PMON_EVNTSEL0);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C3_PMON_EVNTSEL0, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C3_PMON_EVNTSEL0        0x00000D70\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 3 perfmon event select for C-box 3 counter 1.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C3_PMON_EVNTSEL1 (0x00000D71)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C3_PMON_EVNTSEL1);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C3_PMON_EVNTSEL1, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C3_PMON_EVNTSEL1        0x00000D71\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 3 perfmon event select for C-box 3 counter 2.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C3_PMON_EVNTSEL2 (0x00000D72)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C3_PMON_EVNTSEL2);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C3_PMON_EVNTSEL2, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C3_PMON_EVNTSEL2        0x00000D72\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 3 perfmon event select for C-box 3 counter 3.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C3_PMON_EVNTSEL3 (0x00000D73)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C3_PMON_EVNTSEL3);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C3_PMON_EVNTSEL3, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C3_PMON_EVNTSEL3        0x00000D73\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 3 perfmon box wide filter.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C3_PMON_BOX_FILTER (0x00000D74)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C3_PMON_BOX_FILTER);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C3_PMON_BOX_FILTER, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C3_PMON_BOX_FILTER      0x00000D74\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 3 perfmon counter 0.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C3_PMON_CTR0 (0x00000D76)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C3_PMON_CTR0);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C3_PMON_CTR0, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C3_PMON_CTR0            0x00000D76\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 3 perfmon counter 1.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C3_PMON_CTR1 (0x00000D77)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C3_PMON_CTR1);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C3_PMON_CTR1, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C3_PMON_CTR1            0x00000D77\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 3 perfmon counter 2.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C3_PMON_CTR2 (0x00000D78)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C3_PMON_CTR2);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C3_PMON_CTR2, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C3_PMON_CTR2            0x00000D78\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 3 perfmon counter 3.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C3_PMON_CTR3 (0x00000D79)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C3_PMON_CTR3);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C3_PMON_CTR3, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C3_PMON_CTR3            0x00000D79\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 4 perfmon local box wide control.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C4_PMON_BOX_CTL (0x00000D84)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C4_PMON_BOX_CTL);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C4_PMON_BOX_CTL, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C4_PMON_BOX_CTL         0x00000D84\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 4 perfmon event select for C-box 4 counter 0.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C4_PMON_EVNTSEL0 (0x00000D90)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C4_PMON_EVNTSEL0);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C4_PMON_EVNTSEL0, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C4_PMON_EVNTSEL0        0x00000D90\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 4 perfmon event select for C-box 4 counter 1.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C4_PMON_EVNTSEL1 (0x00000D91)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C4_PMON_EVNTSEL1);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C4_PMON_EVNTSEL1, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C4_PMON_EVNTSEL1        0x00000D91\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 4 perfmon event select for C-box 4 counter 2.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C4_PMON_EVNTSEL2 (0x00000D92)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C4_PMON_EVNTSEL2);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C4_PMON_EVNTSEL2, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C4_PMON_EVNTSEL2        0x00000D92\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 4 perfmon event select for C-box 4 counter 3.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C4_PMON_EVNTSEL3 (0x00000D93)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C4_PMON_EVNTSEL3);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C4_PMON_EVNTSEL3, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C4_PMON_EVNTSEL3        0x00000D93\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 4 perfmon box wide filter.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C4_PMON_BOX_FILTER (0x00000D94)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C4_PMON_BOX_FILTER);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C4_PMON_BOX_FILTER, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C4_PMON_BOX_FILTER      0x00000D94\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 4 perfmon counter 0.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C4_PMON_CTR0 (0x00000D96)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C4_PMON_CTR0);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C4_PMON_CTR0, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C4_PMON_CTR0            0x00000D96\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 4 perfmon counter 1.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C4_PMON_CTR1 (0x00000D97)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C4_PMON_CTR1);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C4_PMON_CTR1, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C4_PMON_CTR1            0x00000D97\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 4 perfmon counter 2.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C4_PMON_CTR2 (0x00000D98)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C4_PMON_CTR2);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C4_PMON_CTR2, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C4_PMON_CTR2            0x00000D98\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 4 perfmon counter 3.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C4_PMON_CTR3 (0x00000D99)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C4_PMON_CTR3);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C4_PMON_CTR3, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C4_PMON_CTR3            0x00000D99\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 5 perfmon local box wide control.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C5_PMON_BOX_CTL (0x00000DA4)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C5_PMON_BOX_CTL);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C5_PMON_BOX_CTL, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C5_PMON_BOX_CTL         0x00000DA4\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 5 perfmon event select for C-box 5 counter 0.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C5_PMON_EVNTSEL0 (0x00000DB0)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C5_PMON_EVNTSEL0);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C5_PMON_EVNTSEL0, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C5_PMON_EVNTSEL0        0x00000DB0\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 5 perfmon event select for C-box 5 counter 1.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C5_PMON_EVNTSEL1 (0x00000DB1)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C5_PMON_EVNTSEL1);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C5_PMON_EVNTSEL1, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C5_PMON_EVNTSEL1        0x00000DB1\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 5 perfmon event select for C-box 5 counter 2.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C5_PMON_EVNTSEL2 (0x00000DB2)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C5_PMON_EVNTSEL2);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C5_PMON_EVNTSEL2, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C5_PMON_EVNTSEL2        0x00000DB2\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 5 perfmon event select for C-box 5 counter 3.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C5_PMON_EVNTSEL3 (0x00000DB3)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C5_PMON_EVNTSEL3);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C5_PMON_EVNTSEL3, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C5_PMON_EVNTSEL3        0x00000DB3\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 5 perfmon box wide filter.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C5_PMON_BOX_FILTER (0x00000DB4)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C5_PMON_BOX_FILTER);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C5_PMON_BOX_FILTER, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C5_PMON_BOX_FILTER      0x00000DB4\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 5 perfmon counter 0.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C5_PMON_CTR0 (0x00000DB6)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C5_PMON_CTR0);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C5_PMON_CTR0, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C5_PMON_CTR0            0x00000DB6\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 5 perfmon counter 1.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C5_PMON_CTR1 (0x00000DB7)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C5_PMON_CTR1);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C5_PMON_CTR1, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C5_PMON_CTR1            0x00000DB7\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 5 perfmon counter 2.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C5_PMON_CTR2 (0x00000DB8)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C5_PMON_CTR2);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C5_PMON_CTR2, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C5_PMON_CTR2            0x00000DB8\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 5 perfmon counter 3.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C5_PMON_CTR3 (0x00000DB9)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C5_PMON_CTR3);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C5_PMON_CTR3, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C5_PMON_CTR3            0x00000DB9\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 6 perfmon local box wide control.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C6_PMON_BOX_CTL (0x00000DC4)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C6_PMON_BOX_CTL);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C6_PMON_BOX_CTL, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C6_PMON_BOX_CTL         0x00000DC4\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 6 perfmon event select for C-box 6 counter 0.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C6_PMON_EVNTSEL0 (0x00000DD0)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C6_PMON_EVNTSEL0);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C6_PMON_EVNTSEL0, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C6_PMON_EVNTSEL0        0x00000DD0\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 6 perfmon event select for C-box 6 counter 1.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C6_PMON_EVNTSEL1 (0x00000DD1)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C6_PMON_EVNTSEL1);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C6_PMON_EVNTSEL1, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C6_PMON_EVNTSEL1        0x00000DD1\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 6 perfmon event select for C-box 6 counter 2.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C6_PMON_EVNTSEL2 (0x00000DD2)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C6_PMON_EVNTSEL2);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C6_PMON_EVNTSEL2, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C6_PMON_EVNTSEL2        0x00000DD2\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 6 perfmon event select for C-box 6 counter 3.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C6_PMON_EVNTSEL3 (0x00000DD3)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C6_PMON_EVNTSEL3);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C6_PMON_EVNTSEL3, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C6_PMON_EVNTSEL3        0x00000DD3\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 6 perfmon box wide filter.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C6_PMON_BOX_FILTER (0x00000DD4)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C6_PMON_BOX_FILTER);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C6_PMON_BOX_FILTER, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C6_PMON_BOX_FILTER      0x00000DD4\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 6 perfmon counter 0.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C6_PMON_CTR0 (0x00000DD6)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C6_PMON_CTR0);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C6_PMON_CTR0, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C6_PMON_CTR0            0x00000DD6\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 6 perfmon counter 1.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C6_PMON_CTR1 (0x00000DD7)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C6_PMON_CTR1);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C6_PMON_CTR1, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C6_PMON_CTR1            0x00000DD7\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 6 perfmon counter 2.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C6_PMON_CTR2 (0x00000DD8)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C6_PMON_CTR2);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C6_PMON_CTR2, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C6_PMON_CTR2            0x00000DD8\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 6 perfmon counter 3.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C6_PMON_CTR3 (0x00000DD9)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C6_PMON_CTR3);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C6_PMON_CTR3, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C6_PMON_CTR3            0x00000DD9\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 7 perfmon local box wide control.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C7_PMON_BOX_CTL (0x00000DE4)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C7_PMON_BOX_CTL);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C7_PMON_BOX_CTL, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C7_PMON_BOX_CTL         0x00000DE4\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 7 perfmon event select for C-box 7 counter 0.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C7_PMON_EVNTSEL0 (0x00000DF0)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C7_PMON_EVNTSEL0);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C7_PMON_EVNTSEL0, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C7_PMON_EVNTSEL0        0x00000DF0\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 7 perfmon event select for C-box 7 counter 1.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C7_PMON_EVNTSEL1 (0x00000DF1)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C7_PMON_EVNTSEL1);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C7_PMON_EVNTSEL1, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C7_PMON_EVNTSEL1        0x00000DF1\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 7 perfmon event select for C-box 7 counter 2.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C7_PMON_EVNTSEL2 (0x00000DF2)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C7_PMON_EVNTSEL2);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C7_PMON_EVNTSEL2, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C7_PMON_EVNTSEL2        0x00000DF2\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 7 perfmon event select for C-box 7 counter 3.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C7_PMON_EVNTSEL3 (0x00000DF3)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C7_PMON_EVNTSEL3);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C7_PMON_EVNTSEL3, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C7_PMON_EVNTSEL3        0x00000DF3\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 7 perfmon box wide filter.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C7_PMON_BOX_FILTER (0x00000DF4)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C7_PMON_BOX_FILTER);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C7_PMON_BOX_FILTER, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C7_PMON_BOX_FILTER      0x00000DF4\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 7 perfmon counter 0.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C7_PMON_CTR0 (0x00000DF6)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C7_PMON_CTR0);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C7_PMON_CTR0, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C7_PMON_CTR0            0x00000DF6\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 7 perfmon counter 1.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C7_PMON_CTR1 (0x00000DF7)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C7_PMON_CTR1);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C7_PMON_CTR1, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C7_PMON_CTR1            0x00000DF7\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 7 perfmon counter 2.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C7_PMON_CTR2 (0x00000DF8)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C7_PMON_CTR2);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C7_PMON_CTR2, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C7_PMON_CTR2            0x00000DF8\r
+\r
+\r
+/**\r
+  Package. Uncore C-box 7 perfmon counter 3.\r
+\r
+  @param  ECX  MSR_SANDY_BRIDGE_C7_PMON_CTR3 (0x00000DF9)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  UINT64  Msr;\r
+\r
+  Msr = AsmReadMsr64 (MSR_SANDY_BRIDGE_C7_PMON_CTR3);\r
+  AsmWriteMsr64 (MSR_SANDY_BRIDGE_C7_PMON_CTR3, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_SANDY_BRIDGE_C7_PMON_CTR3            0x00000DF9\r
+\r
+#endif\r