diff options
| author | Michael Kinney <michael.d.kinney@intel.com> | 2016-11-09 18:26:00 -0800 |
|---|---|---|
| committer | Michael Kinney <michael.d.kinney@intel.com> | 2016-12-01 11:58:02 -0800 |
| commit | 831d287a99873643f94f3e06f5bb1b16a32d268b (patch) | |
| tree | 7b68412d0ad3b2db69dec4ac4513913e59b6d383 /EdkShellPkg | |
| parent | f12367a0b1de7838f1cb8e0839e168ed7b862333 (diff) | |
| download | edk2-831d287a99873643f94f3e06f5bb1b16a32d268b.tar.gz edk2-831d287a99873643f94f3e06f5bb1b16a32d268b.tar.bz2 edk2-831d287a99873643f94f3e06f5bb1b16a32d268b.zip | |
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>
Diffstat (limited to 'EdkShellPkg')
0 files changed, 0 insertions, 0 deletions