2 MSR Definitions for Intel Core Solo and Intel Core Duo Processors.
4 Provides defines for Machine Specific Registers(MSR) indexes. Data structures
5 are provided for MSRs that contain one or more bit fields. If the MSR value
6 returned is a single 32-bit or 64-bit value, then a data structure is not
9 Copyright (c) 2016, Intel Corporation. All rights reserved.<BR>
10 This program and the accompanying materials
11 are licensed and made available under the terms and conditions of the BSD License
12 which accompanies this distribution. The full text of the license may be found at
13 http://opensource.org/licenses/bsd-license.php
15 THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
16 WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
18 @par Specification Reference:
19 Intel(R) 64 and IA-32 Architectures Software Developer's Manual, Volume 3,
20 December 2015, Chapter 35 Model-Specific-Registers (MSR), Section 35-17.
24 #ifndef __CORE_MSR_H__
25 #define __CORE_MSR_H__
27 #include <Register/ArchitecturalMsr.h>
30 Unique. See Section 35.20, "MSRs in Pentium Processors," and see Table 35-2.
32 @param ECX MSR_CORE_P5_MC_ADDR (0x00000000)
33 @param EAX Lower 32-bits of MSR value.
34 @param EDX Upper 32-bits of MSR value.
40 Msr = AsmReadMsr64 (MSR_CORE_P5_MC_ADDR);
41 AsmWriteMsr64 (MSR_CORE_P5_MC_ADDR, Msr);
44 #define MSR_CORE_P5_MC_ADDR 0x00000000
48 Unique. See Section 35.20, "MSRs in Pentium Processors," and see Table 35-2.
50 @param ECX MSR_CORE_P5_MC_TYPE (0x00000001)
51 @param EAX Lower 32-bits of MSR value.
52 @param EDX Upper 32-bits of MSR value.
58 Msr = AsmReadMsr64 (MSR_CORE_P5_MC_TYPE);
59 AsmWriteMsr64 (MSR_CORE_P5_MC_TYPE, Msr);
62 #define MSR_CORE_P5_MC_TYPE 0x00000001
66 Shared. Processor Hard Power-On Configuration (R/W) Enables and disables
67 processor features; (R) indicates current processor configuration.
69 @param ECX MSR_CORE_EBL_CR_POWERON (0x0000002A)
70 @param EAX Lower 32-bits of MSR value.
71 Described by the type MSR_CORE_EBL_CR_POWERON_REGISTER.
72 @param EDX Upper 32-bits of MSR value.
73 Described by the type MSR_CORE_EBL_CR_POWERON_REGISTER.
77 MSR_CORE_EBL_CR_POWERON_REGISTER Msr;
79 Msr.Uint64 = AsmReadMsr64 (MSR_CORE_EBL_CR_POWERON);
80 AsmWriteMsr64 (MSR_CORE_EBL_CR_POWERON, Msr.Uint64);
83 #define MSR_CORE_EBL_CR_POWERON 0x0000002A
86 MSR information returned for MSR index #MSR_CORE_EBL_CR_POWERON
90 /// Individual bit fields
95 /// [Bit 1] Data Error Checking Enable (R/W) 1 = Enabled; 0 = Disabled
96 /// Note: Not all processor implements R/W.
98 UINT32 DataErrorCheckingEnable
:1;
100 /// [Bit 2] Response Error Checking Enable (R/W) 1 = Enabled; 0 = Disabled
101 /// Note: Not all processor implements R/W.
103 UINT32 ResponseErrorCheckingEnable
:1;
105 /// [Bit 3] MCERR# Drive Enable (R/W) 1 = Enabled; 0 = Disabled Note: Not
106 /// all processor implements R/W.
108 UINT32 MCERR_DriveEnable
:1;
110 /// [Bit 4] Address Parity Enable (R/W) 1 = Enabled; 0 = Disabled Note:
111 /// Not all processor implements R/W.
113 UINT32 AddressParityEnable
:1;
116 /// [Bit 7] BINIT# Driver Enable (R/W) 1 = Enabled; 0 = Disabled Note: Not
117 /// all processor implements R/W.
119 UINT32 BINIT_DriverEnable
:1;
121 /// [Bit 8] Output Tri-state Enabled (R/O) 1 = Enabled; 0 = Disabled.
123 UINT32 OutputTriStateEnable
:1;
125 /// [Bit 9] Execute BIST (R/O) 1 = Enabled; 0 = Disabled.
127 UINT32 ExecuteBIST
:1;
129 /// [Bit 10] MCERR# Observation Enabled (R/O) 1 = Enabled; 0 = Disabled.
131 UINT32 MCERR_ObservationEnabled
:1;
134 /// [Bit 12] BINIT# Observation Enabled (R/O) 1 = Enabled; 0 = Disabled.
136 UINT32 BINIT_ObservationEnabled
:1;
139 /// [Bit 14] 1 MByte Power on Reset Vector (R/O) 1 = 1 MByte; 0 = 4 GBytes.
141 UINT32 ResetVector
:1;
144 /// [Bits 17:16] APIC Cluster ID (R/O).
146 UINT32 APICClusterID
:2;
148 /// [Bit 18] System Bus Frequency (R/O) 1. = 100 MHz 2. = Reserved.
150 UINT32 SystemBusFrequency
:1;
153 /// [Bits 21:20] Symmetric Arbitration ID (R/O).
155 UINT32 SymmetricArbitrationID
:2;
157 /// [Bits 26:22] Clock Frequency Ratio (R/O).
159 UINT32 ClockFrequencyRatio
:5;
164 /// All bit fields as a 32-bit value
168 /// All bit fields as a 64-bit value
171 } MSR_CORE_EBL_CR_POWERON_REGISTER
;
175 Unique. Last Branch Record n (R/W) One of 8 last branch record registers on
176 the last branch record stack: bits 31-0 hold the 'from' address and bits
177 63-32 hold the 'to' address. See also: - Last Branch Record Stack TOS at
178 1C9H - Section 17.12, "Last Branch, Interrupt, and Exception Recording
179 (Pentium M Processors).".
181 @param ECX MSR_CORE_LASTBRANCH_n
182 @param EAX Lower 32-bits of MSR value.
183 @param EDX Upper 32-bits of MSR value.
189 Msr = AsmReadMsr64 (MSR_CORE_LASTBRANCH_0);
190 AsmWriteMsr64 (MSR_CORE_LASTBRANCH_0, Msr);
194 #define MSR_CORE_LASTBRANCH_0 0x00000040
195 #define MSR_CORE_LASTBRANCH_1 0x00000041
196 #define MSR_CORE_LASTBRANCH_2 0x00000042
197 #define MSR_CORE_LASTBRANCH_3 0x00000043
198 #define MSR_CORE_LASTBRANCH_4 0x00000044
199 #define MSR_CORE_LASTBRANCH_5 0x00000045
200 #define MSR_CORE_LASTBRANCH_6 0x00000046
201 #define MSR_CORE_LASTBRANCH_7 0x00000047
206 Shared. Scalable Bus Speed (RO) This field indicates the scalable bus
209 @param ECX MSR_CORE_FSB_FREQ (0x000000CD)
210 @param EAX Lower 32-bits of MSR value.
211 Described by the type MSR_CORE_FSB_FREQ_REGISTER.
212 @param EDX Upper 32-bits of MSR value.
213 Described by the type MSR_CORE_FSB_FREQ_REGISTER.
217 MSR_CORE_FSB_FREQ_REGISTER Msr;
219 Msr.Uint64 = AsmReadMsr64 (MSR_CORE_FSB_FREQ);
222 #define MSR_CORE_FSB_FREQ 0x000000CD
225 MSR information returned for MSR index #MSR_CORE_FSB_FREQ
229 /// Individual bit fields
233 /// [Bits 2:0] - Scalable Bus Speed
234 /// 101B: 100 MHz (FSB 400)
235 /// 001B: 133 MHz (FSB 533)
236 /// 011B: 167 MHz (FSB 667)
238 /// 133.33 MHz should be utilized if performing calculation with System Bus
239 /// Speed when encoding is 101B. 166.67 MHz should be utilized if
240 /// performing calculation with System Bus Speed when encoding is 001B.
242 UINT32 ScalableBusSpeed
:3;
247 /// All bit fields as a 32-bit value
251 /// All bit fields as a 64-bit value
254 } MSR_CORE_FSB_FREQ_REGISTER
;
260 @param ECX MSR_CORE_BBL_CR_CTL3 (0x0000011E)
261 @param EAX Lower 32-bits of MSR value.
262 Described by the type MSR_CORE_BBL_CR_CTL3_REGISTER.
263 @param EDX Upper 32-bits of MSR value.
264 Described by the type MSR_CORE_BBL_CR_CTL3_REGISTER.
268 MSR_CORE_BBL_CR_CTL3_REGISTER Msr;
270 Msr.Uint64 = AsmReadMsr64 (MSR_CORE_BBL_CR_CTL3);
271 AsmWriteMsr64 (MSR_CORE_BBL_CR_CTL3, Msr.Uint64);
274 #define MSR_CORE_BBL_CR_CTL3 0x0000011E
277 MSR information returned for MSR index #MSR_CORE_BBL_CR_CTL3
281 /// Individual bit fields
285 /// [Bit 0] L2 Hardware Enabled (RO) 1 = If the L2 is hardware-enabled 0 =
286 /// Indicates if the L2 is hardware-disabled.
288 UINT32 L2HardwareEnabled
:1;
291 /// [Bit 8] L2 Enabled (R/W) 1 = L2 cache has been initialized 0 =
292 /// Disabled (default) Until this bit is set the processor will not
293 /// respond to the WBINVD instruction or the assertion of the FLUSH# input.
298 /// [Bit 23] L2 Not Present (RO) 1. = L2 Present 2. = L2 Not Present.
300 UINT32 L2NotPresent
:1;
305 /// All bit fields as a 32-bit value
309 /// All bit fields as a 64-bit value
312 } MSR_CORE_BBL_CR_CTL3_REGISTER
;
318 @param ECX MSR_CORE_THERM2_CTL (0x0000019D)
319 @param EAX Lower 32-bits of MSR value.
320 Described by the type MSR_CORE_THERM2_CTL_REGISTER.
321 @param EDX Upper 32-bits of MSR value.
322 Described by the type MSR_CORE_THERM2_CTL_REGISTER.
326 MSR_CORE_THERM2_CTL_REGISTER Msr;
328 Msr.Uint64 = AsmReadMsr64 (MSR_CORE_THERM2_CTL);
329 AsmWriteMsr64 (MSR_CORE_THERM2_CTL, Msr.Uint64);
332 #define MSR_CORE_THERM2_CTL 0x0000019D
335 MSR information returned for MSR index #MSR_CORE_THERM2_CTL
339 /// Individual bit fields
344 /// [Bit 16] TM_SELECT (R/W) Mode of automatic thermal monitor: 1. =
345 /// Thermal Monitor 1 (thermally-initiated on-die modulation of the
346 /// stop-clock duty cycle) 2. = Thermal Monitor 2 (thermally-initiated
347 /// frequency transitions) If bit 3 of the IA32_MISC_ENABLE register is
348 /// cleared, TM_SELECT has no effect. Neither TM1 nor TM2 will be enabled.
355 /// All bit fields as a 32-bit value
359 /// All bit fields as a 64-bit value
362 } MSR_CORE_THERM2_CTL_REGISTER
;
366 Enable Miscellaneous Processor Features (R/W) Allows a variety of processor
367 functions to be enabled and disabled.
369 @param ECX MSR_CORE_IA32_MISC_ENABLE (0x000001A0)
370 @param EAX Lower 32-bits of MSR value.
371 Described by the type MSR_CORE_IA32_MISC_ENABLE_REGISTER.
372 @param EDX Upper 32-bits of MSR value.
373 Described by the type MSR_CORE_IA32_MISC_ENABLE_REGISTER.
377 MSR_CORE_IA32_MISC_ENABLE_REGISTER Msr;
379 Msr.Uint64 = AsmReadMsr64 (MSR_CORE_IA32_MISC_ENABLE);
380 AsmWriteMsr64 (MSR_CORE_IA32_MISC_ENABLE, Msr.Uint64);
383 #define MSR_CORE_IA32_MISC_ENABLE 0x000001A0
386 MSR information returned for MSR index #MSR_CORE_IA32_MISC_ENABLE
390 /// Individual bit fields
395 /// [Bit 3] Unique. Automatic Thermal Control Circuit Enable (R/W) See
398 UINT32 AutomaticThermalControlCircuit
:1;
401 /// [Bit 7] Shared. Performance Monitoring Available (R) See Table 35-2.
403 UINT32 PerformanceMonitoring
:1;
406 /// [Bit 10] Shared. FERR# Multiplexing Enable (R/W) 1 = FERR# asserted by
407 /// the processor to indicate a pending break event within the processor 0
408 /// = Indicates compatible FERR# signaling behavior This bit must be set
409 /// to 1 to support XAPIC interrupt model usage.
413 /// [Bit 11] Shared. Branch Trace Storage Unavailable (RO) See Table 35-2.
418 /// [Bit 13] Shared. TM2 Enable (R/W) When this bit is set (1) and the
419 /// thermal sensor indicates that the die temperature is at the
420 /// pre-determined threshold, the Thermal Monitor 2 mechanism is engaged.
421 /// TM2 will reduce the bus to core ratio and voltage according to the
422 /// value last written to MSR_THERM2_CTL bits 15:0.
423 /// When this bit is clear (0, default), the processor does not change
424 /// the VID signals or the bus to core ratio when the processor enters a
425 /// thermal managed state. If the TM2 feature flag (ECX[8]) is not set
426 /// to 1 after executing CPUID with EAX = 1, then this feature is not
427 /// supported and BIOS must not alter the contents of this bit location.
428 /// The processor is operating out of spec if both this bit and the TM1
429 /// bit are set to disabled states.
434 /// [Bit 16] Shared. Enhanced Intel SpeedStep Technology Enable (R/W) 1 =
435 /// Enhanced Intel SpeedStep Technology enabled.
440 /// [Bit 18] Shared. ENABLE MONITOR FSM (R/W) See Table 35-2.
446 /// [Bit 22] Shared. Limit CPUID Maxval (R/W) See Table 35-2. Setting this
447 /// bit may cause behavior in software that depends on the availability of
448 /// CPUID leaves greater than 3.
450 UINT32 LimitCpuidMaxval
:1;
454 /// [Bit 34] Shared. XD Bit Disable (R/W) See Table 35-2.
457 UINT32 Reserved11
:29;
460 /// All bit fields as a 64-bit value
463 } MSR_CORE_IA32_MISC_ENABLE_REGISTER
;
467 Unique. Last Branch Record Stack TOS (R/W) Contains an index (bits 0-3)
468 that points to the MSR containing the most recent branch record. See
469 MSR_LASTBRANCH_0_FROM_IP (at 40H).
471 @param ECX MSR_CORE_LASTBRANCH_TOS (0x000001C9)
472 @param EAX Lower 32-bits of MSR value.
473 @param EDX Upper 32-bits of MSR value.
479 Msr = AsmReadMsr64 (MSR_CORE_LASTBRANCH_TOS);
480 AsmWriteMsr64 (MSR_CORE_LASTBRANCH_TOS, Msr);
483 #define MSR_CORE_LASTBRANCH_TOS 0x000001C9
487 Unique. Last Exception Record From Linear IP (R) Contains a pointer to the
488 last branch instruction that the processor executed prior to the last
489 exception that was generated or the last interrupt that was handled.
491 @param ECX MSR_CORE_LER_FROM_LIP (0x000001DD)
492 @param EAX Lower 32-bits of MSR value.
493 @param EDX Upper 32-bits of MSR value.
499 Msr = AsmReadMsr64 (MSR_CORE_LER_FROM_LIP);
502 #define MSR_CORE_LER_FROM_LIP 0x000001DD
506 Unique. Last Exception Record To Linear IP (R) This area contains a pointer
507 to the target of the last branch instruction that the processor executed
508 prior to the last exception that was generated or the last interrupt that
511 @param ECX MSR_CORE_LER_TO_LIP (0x000001DE)
512 @param EAX Lower 32-bits of MSR value.
513 @param EDX Upper 32-bits of MSR value.
519 Msr = AsmReadMsr64 (MSR_CORE_LER_TO_LIP);
522 #define MSR_CORE_LER_TO_LIP 0x000001DE
528 @param ECX MSR_CORE_ROB_CR_BKUPTMPDR6 (0x000001E0)
529 @param EAX Lower 32-bits of MSR value.
530 Described by the type MSR_CORE_ROB_CR_BKUPTMPDR6_REGISTER.
531 @param EDX Upper 32-bits of MSR value.
532 Described by the type MSR_CORE_ROB_CR_BKUPTMPDR6_REGISTER.
536 MSR_CORE_ROB_CR_BKUPTMPDR6_REGISTER Msr;
538 Msr.Uint64 = AsmReadMsr64 (MSR_CORE_ROB_CR_BKUPTMPDR6);
539 AsmWriteMsr64 (MSR_CORE_ROB_CR_BKUPTMPDR6, Msr.Uint64);
542 #define MSR_CORE_ROB_CR_BKUPTMPDR6 0x000001E0
545 MSR information returned for MSR index #MSR_CORE_ROB_CR_BKUPTMPDR6
549 /// Individual bit fields
554 /// [Bit 2] Fast Strings Enable bit. (Default, enabled).
556 UINT32 FastStrings
:1;
561 /// All bit fields as a 32-bit value
565 /// All bit fields as a 64-bit value
568 } MSR_CORE_ROB_CR_BKUPTMPDR6_REGISTER
;
574 @param ECX MSR_CORE_MTRRPHYSBASEn
575 @param EAX Lower 32-bits of MSR value.
576 @param EDX Upper 32-bits of MSR value.
582 Msr = AsmReadMsr64 (MSR_CORE_MTRRPHYSBASE0);
583 AsmWriteMsr64 (MSR_CORE_MTRRPHYSBASE0, Msr);
587 #define MSR_CORE_MTRRPHYSBASE0 0x00000200
588 #define MSR_CORE_MTRRPHYSBASE1 0x00000202
589 #define MSR_CORE_MTRRPHYSBASE2 0x00000204
590 #define MSR_CORE_MTRRPHYSBASE3 0x00000206
591 #define MSR_CORE_MTRRPHYSBASE4 0x00000208
592 #define MSR_CORE_MTRRPHYSBASE5 0x0000020A
593 #define MSR_CORE_MTRRPHYSMASK6 0x0000020D
594 #define MSR_CORE_MTRRPHYSMASK7 0x0000020F
601 @param ECX MSR_CORE_MTRRPHYSMASKn (0x00000201)
602 @param EAX Lower 32-bits of MSR value.
603 @param EDX Upper 32-bits of MSR value.
609 Msr = AsmReadMsr64 (MSR_CORE_MTRRPHYSMASK0);
610 AsmWriteMsr64 (MSR_CORE_MTRRPHYSMASK0, Msr);
614 #define MSR_CORE_MTRRPHYSMASK0 0x00000201
615 #define MSR_CORE_MTRRPHYSMASK1 0x00000203
616 #define MSR_CORE_MTRRPHYSMASK2 0x00000205
617 #define MSR_CORE_MTRRPHYSMASK3 0x00000207
618 #define MSR_CORE_MTRRPHYSMASK4 0x00000209
619 #define MSR_CORE_MTRRPHYSMASK5 0x0000020B
620 #define MSR_CORE_MTRRPHYSBASE6 0x0000020C
621 #define MSR_CORE_MTRRPHYSBASE7 0x0000020E
628 @param ECX MSR_CORE_MTRRFIX64K_00000 (0x00000250)
629 @param EAX Lower 32-bits of MSR value.
630 @param EDX Upper 32-bits of MSR value.
636 Msr = AsmReadMsr64 (MSR_CORE_MTRRFIX64K_00000);
637 AsmWriteMsr64 (MSR_CORE_MTRRFIX64K_00000, Msr);
640 #define MSR_CORE_MTRRFIX64K_00000 0x00000250
646 @param ECX MSR_CORE_MTRRFIX16K_80000 (0x00000258)
647 @param EAX Lower 32-bits of MSR value.
648 @param EDX Upper 32-bits of MSR value.
654 Msr = AsmReadMsr64 (MSR_CORE_MTRRFIX16K_80000);
655 AsmWriteMsr64 (MSR_CORE_MTRRFIX16K_80000, Msr);
658 #define MSR_CORE_MTRRFIX16K_80000 0x00000258
664 @param ECX MSR_CORE_MTRRFIX16K_A0000 (0x00000259)
665 @param EAX Lower 32-bits of MSR value.
666 @param EDX Upper 32-bits of MSR value.
672 Msr = AsmReadMsr64 (MSR_CORE_MTRRFIX16K_A0000);
673 AsmWriteMsr64 (MSR_CORE_MTRRFIX16K_A0000, Msr);
676 #define MSR_CORE_MTRRFIX16K_A0000 0x00000259
682 @param ECX MSR_CORE_MTRRFIX4K_C0000 (0x00000268)
683 @param EAX Lower 32-bits of MSR value.
684 @param EDX Upper 32-bits of MSR value.
690 Msr = AsmReadMsr64 (MSR_CORE_MTRRFIX4K_C0000);
691 AsmWriteMsr64 (MSR_CORE_MTRRFIX4K_C0000, Msr);
694 #define MSR_CORE_MTRRFIX4K_C0000 0x00000268
700 @param ECX MSR_CORE_MTRRFIX4K_C8000 (0x00000269)
701 @param EAX Lower 32-bits of MSR value.
702 @param EDX Upper 32-bits of MSR value.
708 Msr = AsmReadMsr64 (MSR_CORE_MTRRFIX4K_C8000);
709 AsmWriteMsr64 (MSR_CORE_MTRRFIX4K_C8000, Msr);
712 #define MSR_CORE_MTRRFIX4K_C8000 0x00000269
718 @param ECX MSR_CORE_MTRRFIX4K_D0000 (0x0000026A)
719 @param EAX Lower 32-bits of MSR value.
720 @param EDX Upper 32-bits of MSR value.
726 Msr = AsmReadMsr64 (MSR_CORE_MTRRFIX4K_D0000);
727 AsmWriteMsr64 (MSR_CORE_MTRRFIX4K_D0000, Msr);
730 #define MSR_CORE_MTRRFIX4K_D0000 0x0000026A
736 @param ECX MSR_CORE_MTRRFIX4K_D8000 (0x0000026B)
737 @param EAX Lower 32-bits of MSR value.
738 @param EDX Upper 32-bits of MSR value.
744 Msr = AsmReadMsr64 (MSR_CORE_MTRRFIX4K_D8000);
745 AsmWriteMsr64 (MSR_CORE_MTRRFIX4K_D8000, Msr);
748 #define MSR_CORE_MTRRFIX4K_D8000 0x0000026B
754 @param ECX MSR_CORE_MTRRFIX4K_E0000 (0x0000026C)
755 @param EAX Lower 32-bits of MSR value.
756 @param EDX Upper 32-bits of MSR value.
762 Msr = AsmReadMsr64 (MSR_CORE_MTRRFIX4K_E0000);
763 AsmWriteMsr64 (MSR_CORE_MTRRFIX4K_E0000, Msr);
766 #define MSR_CORE_MTRRFIX4K_E0000 0x0000026C
772 @param ECX MSR_CORE_MTRRFIX4K_E8000 (0x0000026D)
773 @param EAX Lower 32-bits of MSR value.
774 @param EDX Upper 32-bits of MSR value.
780 Msr = AsmReadMsr64 (MSR_CORE_MTRRFIX4K_E8000);
781 AsmWriteMsr64 (MSR_CORE_MTRRFIX4K_E8000, Msr);
784 #define MSR_CORE_MTRRFIX4K_E8000 0x0000026D
790 @param ECX MSR_CORE_MTRRFIX4K_F0000 (0x0000026E)
791 @param EAX Lower 32-bits of MSR value.
792 @param EDX Upper 32-bits of MSR value.
798 Msr = AsmReadMsr64 (MSR_CORE_MTRRFIX4K_F0000);
799 AsmWriteMsr64 (MSR_CORE_MTRRFIX4K_F0000, Msr);
802 #define MSR_CORE_MTRRFIX4K_F0000 0x0000026E
808 @param ECX MSR_CORE_MTRRFIX4K_F8000 (0x0000026F)
809 @param EAX Lower 32-bits of MSR value.
810 @param EDX Upper 32-bits of MSR value.
816 Msr = AsmReadMsr64 (MSR_CORE_MTRRFIX4K_F8000);
817 AsmWriteMsr64 (MSR_CORE_MTRRFIX4K_F8000, Msr);
820 #define MSR_CORE_MTRRFIX4K_F8000 0x0000026F
824 Unique. See Section 15.3.2.1, "IA32_MCi_CTL MSRs.".
826 @param ECX MSR_CORE_MC4_CTL (0x0000040C)
827 @param EAX Lower 32-bits of MSR value.
828 @param EDX Upper 32-bits of MSR value.
834 Msr = AsmReadMsr64 (MSR_CORE_MC4_CTL);
835 AsmWriteMsr64 (MSR_CORE_MC4_CTL, Msr);
838 #define MSR_CORE_MC4_CTL 0x0000040C
842 Unique. See Section 15.3.2.2, "IA32_MCi_STATUS MSRS.".
844 @param ECX MSR_CORE_MC4_STATUS (0x0000040D)
845 @param EAX Lower 32-bits of MSR value.
846 @param EDX Upper 32-bits of MSR value.
852 Msr = AsmReadMsr64 (MSR_CORE_MC4_STATUS);
853 AsmWriteMsr64 (MSR_CORE_MC4_STATUS, Msr);
856 #define MSR_CORE_MC4_STATUS 0x0000040D
860 Unique. See Section 15.3.2.3, "IA32_MCi_ADDR MSRs." The MSR_MC4_ADDR
861 register is either not implemented or contains no address if the ADDRV flag
862 in the MSR_MC4_STATUS register is clear. When not implemented in the
863 processor, all reads and writes to this MSR will cause a general-protection
866 @param ECX MSR_CORE_MC4_ADDR (0x0000040E)
867 @param EAX Lower 32-bits of MSR value.
868 @param EDX Upper 32-bits of MSR value.
874 Msr = AsmReadMsr64 (MSR_CORE_MC4_ADDR);
875 AsmWriteMsr64 (MSR_CORE_MC4_ADDR, Msr);
878 #define MSR_CORE_MC4_ADDR 0x0000040E
882 See Section 15.3.2.1, "IA32_MCi_CTL MSRs.".
884 @param ECX MSR_CORE_MC3_CTL (0x00000410)
885 @param EAX Lower 32-bits of MSR value.
886 @param EDX Upper 32-bits of MSR value.
892 Msr = AsmReadMsr64 (MSR_CORE_MC3_CTL);
893 AsmWriteMsr64 (MSR_CORE_MC3_CTL, Msr);
896 #define MSR_CORE_MC3_CTL 0x00000410
900 See Section 15.3.2.2, "IA32_MCi_STATUS MSRS.".
902 @param ECX MSR_CORE_MC3_STATUS (0x00000411)
903 @param EAX Lower 32-bits of MSR value.
904 @param EDX Upper 32-bits of MSR value.
910 Msr = AsmReadMsr64 (MSR_CORE_MC3_STATUS);
911 AsmWriteMsr64 (MSR_CORE_MC3_STATUS, Msr);
914 #define MSR_CORE_MC3_STATUS 0x00000411
918 Unique. See Section 15.3.2.3, "IA32_MCi_ADDR MSRs." The MSR_MC3_ADDR
919 register is either not implemented or contains no address if the ADDRV flag
920 in the MSR_MC3_STATUS register is clear. When not implemented in the
921 processor, all reads and writes to this MSR will cause a general-protection
924 @param ECX MSR_CORE_MC3_ADDR (0x00000412)
925 @param EAX Lower 32-bits of MSR value.
926 @param EDX Upper 32-bits of MSR value.
932 Msr = AsmReadMsr64 (MSR_CORE_MC3_ADDR);
933 AsmWriteMsr64 (MSR_CORE_MC3_ADDR, Msr);
936 #define MSR_CORE_MC3_ADDR 0x00000412
942 @param ECX MSR_CORE_MC3_MISC (0x00000413)
943 @param EAX Lower 32-bits of MSR value.
944 @param EDX Upper 32-bits of MSR value.
950 Msr = AsmReadMsr64 (MSR_CORE_MC3_MISC);
951 AsmWriteMsr64 (MSR_CORE_MC3_MISC, Msr);
954 #define MSR_CORE_MC3_MISC 0x00000413
960 @param ECX MSR_CORE_MC5_CTL (0x00000414)
961 @param EAX Lower 32-bits of MSR value.
962 @param EDX Upper 32-bits of MSR value.
968 Msr = AsmReadMsr64 (MSR_CORE_MC5_CTL);
969 AsmWriteMsr64 (MSR_CORE_MC5_CTL, Msr);
972 #define MSR_CORE_MC5_CTL 0x00000414
978 @param ECX MSR_CORE_MC5_STATUS (0x00000415)
979 @param EAX Lower 32-bits of MSR value.
980 @param EDX Upper 32-bits of MSR value.
986 Msr = AsmReadMsr64 (MSR_CORE_MC5_STATUS);
987 AsmWriteMsr64 (MSR_CORE_MC5_STATUS, Msr);
990 #define MSR_CORE_MC5_STATUS 0x00000415
996 @param ECX MSR_CORE_MC5_ADDR (0x00000416)
997 @param EAX Lower 32-bits of MSR value.
998 @param EDX Upper 32-bits of MSR value.
1000 <b>Example usage</b>
1004 Msr = AsmReadMsr64 (MSR_CORE_MC5_ADDR);
1005 AsmWriteMsr64 (MSR_CORE_MC5_ADDR, Msr);
1008 #define MSR_CORE_MC5_ADDR 0x00000416
1014 @param ECX MSR_CORE_MC5_MISC (0x00000417)
1015 @param EAX Lower 32-bits of MSR value.
1016 @param EDX Upper 32-bits of MSR value.
1018 <b>Example usage</b>
1022 Msr = AsmReadMsr64 (MSR_CORE_MC5_MISC);
1023 AsmWriteMsr64 (MSR_CORE_MC5_MISC, Msr);
1026 #define MSR_CORE_MC5_MISC 0x00000417
1030 Unique. See Table 35-2.
1032 @param ECX MSR_CORE_IA32_EFER (0xC0000080)
1033 @param EAX Lower 32-bits of MSR value.
1034 Described by the type MSR_CORE_IA32_EFER_REGISTER.
1035 @param EDX Upper 32-bits of MSR value.
1036 Described by the type MSR_CORE_IA32_EFER_REGISTER.
1038 <b>Example usage</b>
1040 MSR_CORE_IA32_EFER_REGISTER Msr;
1042 Msr.Uint64 = AsmReadMsr64 (MSR_CORE_IA32_EFER);
1043 AsmWriteMsr64 (MSR_CORE_IA32_EFER, Msr.Uint64);
1046 #define MSR_CORE_IA32_EFER 0xC0000080
1049 MSR information returned for MSR index #MSR_CORE_IA32_EFER
1053 /// Individual bit fields
1056 UINT32 Reserved1
:11;
1058 /// [Bit 11] Execute Disable Bit Enable.
1061 UINT32 Reserved2
:20;
1062 UINT32 Reserved3
:32;
1065 /// All bit fields as a 32-bit value
1069 /// All bit fields as a 64-bit value
1072 } MSR_CORE_IA32_EFER_REGISTER
;