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
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
2 matches
Mail list logo