Michael Kinney 831d287a99 UefiCpuPkg/Include: Add VMX MSR register structures ... https://bugzilla.tianocore.org/show_bug.cgi?id=279 Add MSR_IA32_VMX_BASIC_REGISTER and IA32_VMX_MISC_REGISTER structures with the bit fields for these two MSRs. Also add MSEG_HEADER structure whose base address is in the MsegBase field of MSR_IA32_SMM_MONITOR_CTL_REGISTER. Cc: Jiewen Yao <jiewen.yao@intel.com> Cc: Jeff Fan <jeff.fan@intel.com> Cc: Feng Tian <feng.tian@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>		2016-12-01 11:58:02 -08:00
..
Guid	UefiCpuPkg/Include: Add Microcode FMP definition.	2016-11-08 22:43:15 +08:00
Library	UefiCpuPkg/Include: Add MicrocodeFlashAccessLib header.	2016-11-08 22:43:16 +08:00
Protocol	UefiCpuPkg: Add SMM CPU Service Protocol	2015-10-19 19:11:32 +00:00
Register	UefiCpuPkg/Include: Add VMX MSR register structures	2016-12-01 11:58:02 -08:00
AcpiCpuData.h	UefiCpuPkg/Include: Expand description of AcpiCpuData.h structures	2015-11-25 17:00:51 +00:00
CpuHotPlugData.h	UefiCpuPkg: Add CPU Hot Plug Data include file	2015-10-19 19:12:18 +00:00