Re: [edk2] [Patch] UefiCpuPkg/Include: Add VMX MSR register structures

2016-11-30 Thread Fan, Jeff
Reviewed-by: Jeff Fan -Original Message- From: Kinney, Michael D Sent: Wednesday, November 30, 2016 3:29 PM To: edk2-devel@lists.01.org Cc: Yao, Jiewen; Fan, Jeff; Tian, Feng Subject: [Patch] UefiCpuPkg/Include: Add VMX MSR register structures Add

[edk2] [Patch] UefiCpuPkg/Include: Add VMX MSR register structures

2016-11-29 Thread Michael Kinney
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 Cc: Jeff Fan