]> git.proxmox.com Git - mirror_edk2.git/commitdiff
UefiCpuPkg/Include: Add Core Solo/Duo MSR include file
authorMichael Kinney <michael.d.kinney@intel.com>
Tue, 8 Mar 2016 22:05:17 +0000 (14:05 -0800)
committerMichael Kinney <michael.d.kinney@intel.com>
Sun, 13 Mar 2016 18:59:44 +0000 (11:59 -0700)
Add Core Solo/Duo 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-17.

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/CoreMsr.h [new file with mode: 0644]

diff --git a/UefiCpuPkg/Include/Register/Msr/CoreMsr.h b/UefiCpuPkg/Include/Register/Msr/CoreMsr.h
new file mode 100644 (file)
index 0000000..11956fb
--- /dev/null
@@ -0,0 +1,1074 @@
+/** @file\r
+  MSR Definitions for Intel Core Solo and Intel Core Duo Processors.\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-17.\r
+\r
+**/\r
+\r
+#ifndef __CORE_MSR_H__\r
+#define __CORE_MSR_H__\r
+\r
+#include <Register/ArchitecturalMsr.h>\r
+\r
+/**\r
+  Unique. See Section 35.20, "MSRs in Pentium Processors," and see Table 35-2.\r
+\r
+  @param  ECX  MSR_CORE_P5_MC_ADDR (0x00000000)\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_CORE_P5_MC_ADDR);\r
+  AsmWriteMsr64 (MSR_CORE_P5_MC_ADDR, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_CORE_P5_MC_ADDR                      0x00000000\r
+\r
+\r
+/**\r
+  Unique. See Section 35.20, "MSRs in Pentium Processors," and see Table 35-2.\r
+\r
+  @param  ECX  MSR_CORE_P5_MC_TYPE (0x00000001)\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_CORE_P5_MC_TYPE);\r
+  AsmWriteMsr64 (MSR_CORE_P5_MC_TYPE, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_CORE_P5_MC_TYPE                      0x00000001\r
+\r
+\r
+/**\r
+  Shared. Processor Hard Power-On Configuration (R/W) Enables and disables\r
+  processor features; (R) indicates current processor configuration.\r
+\r
+  @param  ECX  MSR_CORE_EBL_CR_POWERON (0x0000002A)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+               Described by the type MSR_CORE_EBL_CR_POWERON_REGISTER.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+               Described by the type MSR_CORE_EBL_CR_POWERON_REGISTER.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  MSR_CORE_EBL_CR_POWERON_REGISTER  Msr;\r
+\r
+  Msr.Uint64 = AsmReadMsr64 (MSR_CORE_EBL_CR_POWERON);\r
+  AsmWriteMsr64 (MSR_CORE_EBL_CR_POWERON, Msr.Uint64);\r
+  @endcode\r
+**/\r
+#define MSR_CORE_EBL_CR_POWERON                  0x0000002A\r
+\r
+/**\r
+  MSR information returned for MSR index #MSR_CORE_EBL_CR_POWERON\r
+**/\r
+typedef union {\r
+  ///\r
+  /// Individual bit fields\r
+  ///\r
+  struct {\r
+    UINT32  Reserved1:1;\r
+    ///\r
+    /// [Bit 1] Data Error Checking Enable (R/W) 1 = Enabled; 0 = Disabled\r
+    /// Note: Not all processor implements R/W.\r
+    ///\r
+    UINT32  DataErrorCheckingEnable:1;\r
+    ///\r
+    /// [Bit 2] Response Error Checking Enable (R/W) 1 = Enabled; 0 = Disabled\r
+    /// Note: Not all processor implements R/W.\r
+    ///\r
+    UINT32  ResponseErrorCheckingEnable:1;\r
+    ///\r
+    /// [Bit 3] MCERR# Drive Enable (R/W)  1 = Enabled; 0 = Disabled Note: Not\r
+    /// all processor implements R/W.\r
+    ///\r
+    UINT32  MCERR_DriveEnable:1;\r
+    ///\r
+    /// [Bit 4] Address Parity Enable (R/W) 1 = Enabled; 0 = Disabled Note:\r
+    /// Not all processor implements R/W.\r
+    ///\r
+    UINT32  AddressParityEnable:1;\r
+    UINT32  Reserved2:2;\r
+    ///\r
+    /// [Bit 7] BINIT# Driver Enable (R/W) 1 = Enabled; 0 = Disabled Note: Not\r
+    /// all processor implements R/W.\r
+    ///\r
+    UINT32  BINIT_DriverEnable:1;\r
+    ///\r
+    /// [Bit 8] Output Tri-state Enabled (R/O) 1 = Enabled; 0 = Disabled.\r
+    ///\r
+    UINT32  OutputTriStateEnable:1;\r
+    ///\r
+    /// [Bit 9] Execute BIST (R/O) 1 = Enabled; 0 = Disabled.\r
+    ///\r
+    UINT32  ExecuteBIST:1;\r
+    ///\r
+    /// [Bit 10] MCERR# Observation Enabled (R/O) 1 = Enabled; 0 = Disabled.\r
+    ///\r
+    UINT32  MCERR_ObservationEnabled:1;\r
+    UINT32  Reserved3:1;\r
+    ///\r
+    /// [Bit 12] BINIT# Observation Enabled (R/O) 1 = Enabled; 0 = Disabled.\r
+    ///\r
+    UINT32  BINIT_ObservationEnabled:1;\r
+    UINT32  Reserved4:1;\r
+    ///\r
+    /// [Bit 14] 1 MByte Power on Reset Vector (R/O) 1 = 1 MByte; 0 = 4 GBytes.\r
+    ///\r
+    UINT32  ResetVector:1;\r
+    UINT32  Reserved5:1;\r
+    ///\r
+    /// [Bits 17:16] APIC Cluster ID (R/O).\r
+    ///\r
+    UINT32  APICClusterID:2;\r
+    ///\r
+    /// [Bit 18] System Bus Frequency (R/O) 1. = 100 MHz 2. = Reserved.\r
+    ///\r
+    UINT32  SystemBusFrequency:1;\r
+    UINT32  Reserved6:1;\r
+    ///\r
+    /// [Bits 21:20] Symmetric Arbitration ID (R/O).\r
+    ///\r
+    UINT32  SymmetricArbitrationID:2;\r
+    ///\r
+    /// [Bits 26:22] Clock Frequency Ratio (R/O).\r
+    ///\r
+    UINT32  ClockFrequencyRatio:5;\r
+    UINT32  Reserved7:5;\r
+    UINT32  Reserved8: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_CORE_EBL_CR_POWERON_REGISTER;\r
+\r
+\r
+/**\r
+  Unique. Last Branch Record n (R/W) One of 8 last branch record registers on\r
+  the last branch record stack: bits 31-0 hold the 'from' address and bits\r
+  63-32 hold the 'to' address. See also: -  Last Branch Record Stack TOS at\r
+  1C9H -  Section 17.12, "Last Branch, Interrupt, and Exception Recording\r
+  (Pentium M Processors).".\r
+\r
+  @param  ECX  MSR_CORE_LASTBRANCH_n\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_CORE_LASTBRANCH_0);\r
+  AsmWriteMsr64 (MSR_CORE_LASTBRANCH_0, Msr);\r
+  @endcode\r
+  @{\r
+**/\r
+#define MSR_CORE_LASTBRANCH_0                    0x00000040\r
+#define MSR_CORE_LASTBRANCH_1                    0x00000041\r
+#define MSR_CORE_LASTBRANCH_2                    0x00000042\r
+#define MSR_CORE_LASTBRANCH_3                    0x00000043\r
+#define MSR_CORE_LASTBRANCH_4                    0x00000044\r
+#define MSR_CORE_LASTBRANCH_5                    0x00000045\r
+#define MSR_CORE_LASTBRANCH_6                    0x00000046\r
+#define MSR_CORE_LASTBRANCH_7                    0x00000047\r
+/// @}\r
+\r
+\r
+/**\r
+  Shared. Scalable Bus Speed (RO) This field indicates the scalable bus\r
+  clock speed:.\r
+\r
+  @param  ECX  MSR_CORE_FSB_FREQ (0x000000CD)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+               Described by the type MSR_CORE_FSB_FREQ_REGISTER.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+               Described by the type MSR_CORE_FSB_FREQ_REGISTER.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  MSR_CORE_FSB_FREQ_REGISTER  Msr;\r
+\r
+  Msr.Uint64 = AsmReadMsr64 (MSR_CORE_FSB_FREQ);\r
+  @endcode\r
+**/\r
+#define MSR_CORE_FSB_FREQ                        0x000000CD\r
+\r
+/**\r
+  MSR information returned for MSR index #MSR_CORE_FSB_FREQ\r
+**/\r
+typedef union {\r
+  ///\r
+  /// Individual bit fields\r
+  ///\r
+  struct {\r
+    ///\r
+    /// [Bits 2:0] - Scalable Bus Speed\r
+    ///   101B: 100 MHz (FSB 400)\r
+    ///   001B: 133 MHz (FSB 533)\r
+    ///   011B: 167 MHz (FSB 667)\r
+    ///\r
+    /// 133.33 MHz should be utilized if performing calculation with System Bus\r
+    /// Speed when encoding is 101B. 166.67 MHz should be utilized if\r
+    /// performing calculation with System Bus Speed when encoding is 001B.\r
+    ///\r
+    UINT32  ScalableBusSpeed:3;\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_CORE_FSB_FREQ_REGISTER;\r
+\r
+\r
+/**\r
+  Shared.\r
+\r
+  @param  ECX  MSR_CORE_BBL_CR_CTL3 (0x0000011E)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+               Described by the type MSR_CORE_BBL_CR_CTL3_REGISTER.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+               Described by the type MSR_CORE_BBL_CR_CTL3_REGISTER.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  MSR_CORE_BBL_CR_CTL3_REGISTER  Msr;\r
+\r
+  Msr.Uint64 = AsmReadMsr64 (MSR_CORE_BBL_CR_CTL3);\r
+  AsmWriteMsr64 (MSR_CORE_BBL_CR_CTL3, Msr.Uint64);\r
+  @endcode\r
+**/\r
+#define MSR_CORE_BBL_CR_CTL3                     0x0000011E\r
+\r
+/**\r
+  MSR information returned for MSR index #MSR_CORE_BBL_CR_CTL3\r
+**/\r
+typedef union {\r
+  ///\r
+  /// Individual bit fields\r
+  ///\r
+  struct {\r
+    ///\r
+    /// [Bit 0] L2 Hardware Enabled (RO) 1 = If the L2 is hardware-enabled 0 =\r
+    /// Indicates if the L2 is hardware-disabled.\r
+    ///\r
+    UINT32  L2HardwareEnabled:1;\r
+    UINT32  Reserved1:7;\r
+    ///\r
+    /// [Bit 8] L2 Enabled (R/W)  1 = L2 cache has been initialized 0 =\r
+    /// Disabled (default) Until this bit is set the processor will not\r
+    /// respond to the WBINVD instruction or the assertion of the FLUSH# input.\r
+    ///\r
+    UINT32  L2Enabled:1;\r
+    UINT32  Reserved2:14;\r
+    ///\r
+    /// [Bit 23] L2 Not Present (RO)  1. = L2 Present 2. = L2 Not Present.\r
+    ///\r
+    UINT32  L2NotPresent:1;\r
+    UINT32  Reserved3:8;\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_CORE_BBL_CR_CTL3_REGISTER;\r
+\r
+\r
+/**\r
+  Unique.\r
+\r
+  @param  ECX  MSR_CORE_THERM2_CTL (0x0000019D)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+               Described by the type MSR_CORE_THERM2_CTL_REGISTER.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+               Described by the type MSR_CORE_THERM2_CTL_REGISTER.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  MSR_CORE_THERM2_CTL_REGISTER  Msr;\r
+\r
+  Msr.Uint64 = AsmReadMsr64 (MSR_CORE_THERM2_CTL);\r
+  AsmWriteMsr64 (MSR_CORE_THERM2_CTL, Msr.Uint64);\r
+  @endcode\r
+**/\r
+#define MSR_CORE_THERM2_CTL                      0x0000019D\r
+\r
+/**\r
+  MSR information returned for MSR index #MSR_CORE_THERM2_CTL\r
+**/\r
+typedef union {\r
+  ///\r
+  /// Individual bit fields\r
+  ///\r
+  struct {\r
+    UINT32  Reserved1:16;\r
+    ///\r
+    /// [Bit 16] TM_SELECT (R/W)  Mode of automatic thermal monitor: 1. =\r
+    /// Thermal Monitor 1 (thermally-initiated on-die modulation of the\r
+    /// stop-clock duty cycle) 2. = Thermal Monitor 2 (thermally-initiated\r
+    /// frequency transitions) If bit 3 of the IA32_MISC_ENABLE register is\r
+    /// cleared, TM_SELECT has no effect. Neither TM1 nor TM2 will be enabled.\r
+    ///\r
+    UINT32  TM_SELECT:1;\r
+    UINT32  Reserved2:15;\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_CORE_THERM2_CTL_REGISTER;\r
+\r
+\r
+/**\r
+  Enable Miscellaneous Processor Features (R/W) Allows a variety of processor\r
+  functions to be enabled and disabled.\r
+\r
+  @param  ECX  MSR_CORE_IA32_MISC_ENABLE (0x000001A0)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+               Described by the type MSR_CORE_IA32_MISC_ENABLE_REGISTER.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+               Described by the type MSR_CORE_IA32_MISC_ENABLE_REGISTER.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  MSR_CORE_IA32_MISC_ENABLE_REGISTER  Msr;\r
+\r
+  Msr.Uint64 = AsmReadMsr64 (MSR_CORE_IA32_MISC_ENABLE);\r
+  AsmWriteMsr64 (MSR_CORE_IA32_MISC_ENABLE, Msr.Uint64);\r
+  @endcode\r
+**/\r
+#define MSR_CORE_IA32_MISC_ENABLE                0x000001A0\r
+\r
+/**\r
+  MSR information returned for MSR index #MSR_CORE_IA32_MISC_ENABLE\r
+**/\r
+typedef union {\r
+  ///\r
+  /// Individual bit fields\r
+  ///\r
+  struct {\r
+    UINT32  Reserved1:3;\r
+    ///\r
+    /// [Bit 3] Unique. Automatic Thermal Control Circuit Enable (R/W) See\r
+    /// Table 35-2.\r
+    ///\r
+    UINT32  AutomaticThermalControlCircuit:1;\r
+    UINT32  Reserved2:3;\r
+    ///\r
+    /// [Bit 7] Shared. Performance Monitoring Available (R) See Table 35-2.\r
+    ///\r
+    UINT32  PerformanceMonitoring:1;\r
+    UINT32  Reserved3:2;\r
+    ///\r
+    /// [Bit 10] Shared. FERR# Multiplexing Enable (R/W) 1 = FERR# asserted by\r
+    /// the processor to indicate a pending break event within the processor 0\r
+    /// = Indicates compatible FERR# signaling behavior This bit must be set\r
+    /// to 1 to support XAPIC interrupt model usage.\r
+    ///\r
+    UINT32  FERR:1;\r
+    ///\r
+    /// [Bit 11] Shared. Branch Trace Storage Unavailable (RO) See Table 35-2.\r
+    ///\r
+    UINT32  BTS:1;\r
+    UINT32  Reserved4:1;\r
+    ///\r
+    /// [Bit 13] Shared. TM2 Enable (R/W) When this bit is set (1) and the\r
+    /// thermal sensor indicates that the die temperature is at the\r
+    /// pre-determined threshold, the Thermal Monitor 2 mechanism is engaged.\r
+    /// TM2 will reduce the bus to core ratio and voltage according to the\r
+    /// value last written to MSR_THERM2_CTL bits 15:0.\r
+    ///   When this bit is clear (0, default), the processor does not change\r
+    ///   the VID signals or the bus to core ratio when the processor enters a\r
+    ///   thermal managed state. If the TM2 feature flag (ECX[8]) is not set\r
+    ///   to 1 after executing CPUID with EAX = 1, then this feature is not\r
+    ///   supported and BIOS must not alter the contents of this bit location.\r
+    ///   The processor is operating out of spec if both this bit and the TM1\r
+    ///   bit are set to disabled states.\r
+    ///\r
+    UINT32  TM2:1;\r
+    UINT32  Reserved5:2;\r
+    ///\r
+    /// [Bit 16] Shared. Enhanced Intel SpeedStep Technology Enable (R/W) 1 =\r
+    /// Enhanced Intel SpeedStep Technology enabled.\r
+    ///\r
+    UINT32  EIST:1;\r
+    UINT32  Reserved6:1;\r
+    ///\r
+    /// [Bit 18] Shared. ENABLE MONITOR FSM (R/W) See Table 35-2.\r
+    ///\r
+    UINT32  MONITOR:1;\r
+    UINT32  Reserved7:1;\r
+    UINT32  Reserved8:2;\r
+    ///\r
+    /// [Bit 22] Shared. Limit CPUID Maxval (R/W) See Table 35-2. Setting this\r
+    /// bit may cause behavior in software that depends on the availability of\r
+    /// CPUID leaves greater than 3.\r
+    ///\r
+    UINT32  LimitCpuidMaxval:1;\r
+    UINT32  Reserved9:9;\r
+    UINT32  Reserved10:2;\r
+    ///\r
+    /// [Bit 34] Shared. XD Bit Disable (R/W) See Table 35-2.\r
+    ///\r
+    UINT32  XD:1;\r
+    UINT32  Reserved11:29;\r
+  } Bits;\r
+  ///\r
+  /// All bit fields as a 64-bit value\r
+  ///\r
+  UINT64  Uint64;\r
+} MSR_CORE_IA32_MISC_ENABLE_REGISTER;\r
+\r
+\r
+/**\r
+  Unique. 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 40H).\r
+\r
+  @param  ECX  MSR_CORE_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_CORE_LASTBRANCH_TOS);\r
+  AsmWriteMsr64 (MSR_CORE_LASTBRANCH_TOS, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_CORE_LASTBRANCH_TOS                  0x000001C9\r
+\r
+\r
+/**\r
+  Unique. 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_CORE_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_CORE_LER_FROM_LIP);\r
+  @endcode\r
+**/\r
+#define MSR_CORE_LER_FROM_LIP                    0x000001DD\r
+\r
+\r
+/**\r
+  Unique. 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_CORE_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_CORE_LER_TO_LIP);\r
+  @endcode\r
+**/\r
+#define MSR_CORE_LER_TO_LIP                      0x000001DE\r
+\r
+\r
+/**\r
+  Unique.\r
+\r
+  @param  ECX  MSR_CORE_ROB_CR_BKUPTMPDR6 (0x000001E0)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+               Described by the type MSR_CORE_ROB_CR_BKUPTMPDR6_REGISTER.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+               Described by the type MSR_CORE_ROB_CR_BKUPTMPDR6_REGISTER.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  MSR_CORE_ROB_CR_BKUPTMPDR6_REGISTER  Msr;\r
+\r
+  Msr.Uint64 = AsmReadMsr64 (MSR_CORE_ROB_CR_BKUPTMPDR6);\r
+  AsmWriteMsr64 (MSR_CORE_ROB_CR_BKUPTMPDR6, Msr.Uint64);\r
+  @endcode\r
+**/\r
+#define MSR_CORE_ROB_CR_BKUPTMPDR6               0x000001E0\r
+\r
+/**\r
+  MSR information returned for MSR index #MSR_CORE_ROB_CR_BKUPTMPDR6\r
+**/\r
+typedef union {\r
+  ///\r
+  /// Individual bit fields\r
+  ///\r
+  struct {\r
+    UINT32  Reserved1:2;\r
+    ///\r
+    /// [Bit 2] Fast Strings Enable bit. (Default, enabled).\r
+    ///\r
+    UINT32  FastStrings:1;\r
+    UINT32  Reserved2:29;\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_CORE_ROB_CR_BKUPTMPDR6_REGISTER;\r
+\r
+\r
+/**\r
+  Unique.\r
+\r
+  @param  ECX  MSR_CORE_MTRRPHYSBASEn\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_CORE_MTRRPHYSBASE0);\r
+  AsmWriteMsr64 (MSR_CORE_MTRRPHYSBASE0, Msr);\r
+  @endcode\r
+  @{\r
+**/\r
+#define MSR_CORE_MTRRPHYSBASE0                   0x00000200\r
+#define MSR_CORE_MTRRPHYSBASE1                   0x00000202\r
+#define MSR_CORE_MTRRPHYSBASE2                   0x00000204\r
+#define MSR_CORE_MTRRPHYSBASE3                   0x00000206\r
+#define MSR_CORE_MTRRPHYSBASE4                   0x00000208\r
+#define MSR_CORE_MTRRPHYSBASE5                   0x0000020A\r
+#define MSR_CORE_MTRRPHYSMASK6                   0x0000020D\r
+#define MSR_CORE_MTRRPHYSMASK7                   0x0000020F\r
+/// @}\r
+\r
+\r
+/**\r
+  Unique.\r
+\r
+  @param  ECX  MSR_CORE_MTRRPHYSMASKn (0x00000201)\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_CORE_MTRRPHYSMASK0);\r
+  AsmWriteMsr64 (MSR_CORE_MTRRPHYSMASK0, Msr);\r
+  @endcode\r
+  @{\r
+**/\r
+#define MSR_CORE_MTRRPHYSMASK0                   0x00000201\r
+#define MSR_CORE_MTRRPHYSMASK1                   0x00000203\r
+#define MSR_CORE_MTRRPHYSMASK2                   0x00000205\r
+#define MSR_CORE_MTRRPHYSMASK3                   0x00000207\r
+#define MSR_CORE_MTRRPHYSMASK4                   0x00000209\r
+#define MSR_CORE_MTRRPHYSMASK5                   0x0000020B\r
+#define MSR_CORE_MTRRPHYSBASE6                   0x0000020C\r
+#define MSR_CORE_MTRRPHYSBASE7                   0x0000020E\r
+/// @}\r
+\r
+\r
+/**\r
+  Unique.\r
+\r
+  @param  ECX  MSR_CORE_MTRRFIX64K_00000 (0x00000250)\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_CORE_MTRRFIX64K_00000);\r
+  AsmWriteMsr64 (MSR_CORE_MTRRFIX64K_00000, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_CORE_MTRRFIX64K_00000                0x00000250\r
+\r
+\r
+/**\r
+  Unique.\r
+\r
+  @param  ECX  MSR_CORE_MTRRFIX16K_80000 (0x00000258)\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_CORE_MTRRFIX16K_80000);\r
+  AsmWriteMsr64 (MSR_CORE_MTRRFIX16K_80000, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_CORE_MTRRFIX16K_80000                0x00000258\r
+\r
+\r
+/**\r
+  Unique.\r
+\r
+  @param  ECX  MSR_CORE_MTRRFIX16K_A0000 (0x00000259)\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_CORE_MTRRFIX16K_A0000);\r
+  AsmWriteMsr64 (MSR_CORE_MTRRFIX16K_A0000, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_CORE_MTRRFIX16K_A0000                0x00000259\r
+\r
+\r
+/**\r
+  Unique.\r
+\r
+  @param  ECX  MSR_CORE_MTRRFIX4K_C0000 (0x00000268)\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_CORE_MTRRFIX4K_C0000);\r
+  AsmWriteMsr64 (MSR_CORE_MTRRFIX4K_C0000, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_CORE_MTRRFIX4K_C0000                 0x00000268\r
+\r
+\r
+/**\r
+  Unique.\r
+\r
+  @param  ECX  MSR_CORE_MTRRFIX4K_C8000 (0x00000269)\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_CORE_MTRRFIX4K_C8000);\r
+  AsmWriteMsr64 (MSR_CORE_MTRRFIX4K_C8000, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_CORE_MTRRFIX4K_C8000                 0x00000269\r
+\r
+\r
+/**\r
+  Unique.\r
+\r
+  @param  ECX  MSR_CORE_MTRRFIX4K_D0000 (0x0000026A)\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_CORE_MTRRFIX4K_D0000);\r
+  AsmWriteMsr64 (MSR_CORE_MTRRFIX4K_D0000, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_CORE_MTRRFIX4K_D0000                 0x0000026A\r
+\r
+\r
+/**\r
+  Unique.\r
+\r
+  @param  ECX  MSR_CORE_MTRRFIX4K_D8000 (0x0000026B)\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_CORE_MTRRFIX4K_D8000);\r
+  AsmWriteMsr64 (MSR_CORE_MTRRFIX4K_D8000, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_CORE_MTRRFIX4K_D8000                 0x0000026B\r
+\r
+\r
+/**\r
+  Unique.\r
+\r
+  @param  ECX  MSR_CORE_MTRRFIX4K_E0000 (0x0000026C)\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_CORE_MTRRFIX4K_E0000);\r
+  AsmWriteMsr64 (MSR_CORE_MTRRFIX4K_E0000, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_CORE_MTRRFIX4K_E0000                 0x0000026C\r
+\r
+\r
+/**\r
+  Unique.\r
+\r
+  @param  ECX  MSR_CORE_MTRRFIX4K_E8000 (0x0000026D)\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_CORE_MTRRFIX4K_E8000);\r
+  AsmWriteMsr64 (MSR_CORE_MTRRFIX4K_E8000, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_CORE_MTRRFIX4K_E8000                 0x0000026D\r
+\r
+\r
+/**\r
+  Unique.\r
+\r
+  @param  ECX  MSR_CORE_MTRRFIX4K_F0000 (0x0000026E)\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_CORE_MTRRFIX4K_F0000);\r
+  AsmWriteMsr64 (MSR_CORE_MTRRFIX4K_F0000, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_CORE_MTRRFIX4K_F0000                 0x0000026E\r
+\r
+\r
+/**\r
+  Unique.\r
+\r
+  @param  ECX  MSR_CORE_MTRRFIX4K_F8000 (0x0000026F)\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_CORE_MTRRFIX4K_F8000);\r
+  AsmWriteMsr64 (MSR_CORE_MTRRFIX4K_F8000, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_CORE_MTRRFIX4K_F8000                 0x0000026F\r
+\r
+\r
+/**\r
+  Unique. See Section 15.3.2.1, "IA32_MCi_CTL MSRs.".\r
+\r
+  @param  ECX  MSR_CORE_MC4_CTL (0x0000040C)\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_CORE_MC4_CTL);\r
+  AsmWriteMsr64 (MSR_CORE_MC4_CTL, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_CORE_MC4_CTL                         0x0000040C\r
+\r
+\r
+/**\r
+  Unique. See Section 15.3.2.2, "IA32_MCi_STATUS MSRS.".\r
+\r
+  @param  ECX  MSR_CORE_MC4_STATUS (0x0000040D)\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_CORE_MC4_STATUS);\r
+  AsmWriteMsr64 (MSR_CORE_MC4_STATUS, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_CORE_MC4_STATUS                      0x0000040D\r
+\r
+\r
+/**\r
+  Unique. See Section 15.3.2.3, "IA32_MCi_ADDR MSRs." The MSR_MC4_ADDR\r
+  register is either not implemented or contains no address if the ADDRV flag\r
+  in the MSR_MC4_STATUS register is clear. When not implemented in the\r
+  processor, all reads and writes to this MSR will cause a general-protection\r
+  exception.\r
+\r
+  @param  ECX  MSR_CORE_MC4_ADDR (0x0000040E)\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_CORE_MC4_ADDR);\r
+  AsmWriteMsr64 (MSR_CORE_MC4_ADDR, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_CORE_MC4_ADDR                        0x0000040E\r
+\r
+\r
+/**\r
+  See Section 15.3.2.1, "IA32_MCi_CTL MSRs.".\r
+\r
+  @param  ECX  MSR_CORE_MC3_CTL (0x00000410)\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_CORE_MC3_CTL);\r
+  AsmWriteMsr64 (MSR_CORE_MC3_CTL, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_CORE_MC3_CTL                         0x00000410\r
+\r
+\r
+/**\r
+  See Section 15.3.2.2, "IA32_MCi_STATUS MSRS.".\r
+\r
+  @param  ECX  MSR_CORE_MC3_STATUS (0x00000411)\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_CORE_MC3_STATUS);\r
+  AsmWriteMsr64 (MSR_CORE_MC3_STATUS, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_CORE_MC3_STATUS                      0x00000411\r
+\r
+\r
+/**\r
+  Unique. See Section 15.3.2.3, "IA32_MCi_ADDR MSRs." The MSR_MC3_ADDR\r
+  register is either not implemented or contains no address if the ADDRV flag\r
+  in the MSR_MC3_STATUS register is clear. When not implemented in the\r
+  processor, all reads and writes to this MSR will cause a general-protection\r
+  exception.\r
+\r
+  @param  ECX  MSR_CORE_MC3_ADDR (0x00000412)\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_CORE_MC3_ADDR);\r
+  AsmWriteMsr64 (MSR_CORE_MC3_ADDR, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_CORE_MC3_ADDR                        0x00000412\r
+\r
+\r
+/**\r
+  Unique.\r
+\r
+  @param  ECX  MSR_CORE_MC3_MISC (0x00000413)\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_CORE_MC3_MISC);\r
+  AsmWriteMsr64 (MSR_CORE_MC3_MISC, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_CORE_MC3_MISC                        0x00000413\r
+\r
+\r
+/**\r
+  Unique.\r
+\r
+  @param  ECX  MSR_CORE_MC5_CTL (0x00000414)\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_CORE_MC5_CTL);\r
+  AsmWriteMsr64 (MSR_CORE_MC5_CTL, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_CORE_MC5_CTL                         0x00000414\r
+\r
+\r
+/**\r
+  Unique.\r
+\r
+  @param  ECX  MSR_CORE_MC5_STATUS (0x00000415)\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_CORE_MC5_STATUS);\r
+  AsmWriteMsr64 (MSR_CORE_MC5_STATUS, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_CORE_MC5_STATUS                      0x00000415\r
+\r
+\r
+/**\r
+  Unique.\r
+\r
+  @param  ECX  MSR_CORE_MC5_ADDR (0x00000416)\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_CORE_MC5_ADDR);\r
+  AsmWriteMsr64 (MSR_CORE_MC5_ADDR, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_CORE_MC5_ADDR                        0x00000416\r
+\r
+\r
+/**\r
+  Unique.\r
+\r
+  @param  ECX  MSR_CORE_MC5_MISC (0x00000417)\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_CORE_MC5_MISC);\r
+  AsmWriteMsr64 (MSR_CORE_MC5_MISC, Msr);\r
+  @endcode\r
+**/\r
+#define MSR_CORE_MC5_MISC                        0x00000417\r
+\r
+\r
+/**\r
+  Unique. See Table 35-2.\r
+\r
+  @param  ECX  MSR_CORE_IA32_EFER (0xC0000080)\r
+  @param  EAX  Lower 32-bits of MSR value.\r
+               Described by the type MSR_CORE_IA32_EFER_REGISTER.\r
+  @param  EDX  Upper 32-bits of MSR value.\r
+               Described by the type MSR_CORE_IA32_EFER_REGISTER.\r
+\r
+  <b>Example usage</b>\r
+  @code\r
+  MSR_CORE_IA32_EFER_REGISTER  Msr;\r
+\r
+  Msr.Uint64 = AsmReadMsr64 (MSR_CORE_IA32_EFER);\r
+  AsmWriteMsr64 (MSR_CORE_IA32_EFER, Msr.Uint64);\r
+  @endcode\r
+**/\r
+#define MSR_CORE_IA32_EFER                       0xC0000080\r
+\r
+/**\r
+  MSR information returned for MSR index #MSR_CORE_IA32_EFER\r
+**/\r
+typedef union {\r
+  ///\r
+  /// Individual bit fields\r
+  ///\r
+  struct {\r
+    UINT32  Reserved1:11;\r
+    ///\r
+    /// [Bit 11] Execute Disable Bit Enable.\r
+    ///\r
+    UINT32  NXE:1;\r
+    UINT32  Reserved2:20;\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_CORE_IA32_EFER_REGISTER;\r
+\r
+#endif\r