MdePkg/Tdx.h: Fix the order of NumVcpus and MaxVcpus

For TDCALL leaf TDG.VP.INFO, the bit 31:0 in R8 returns NUM_VCPUS and
bit 63:32 in R8 returns MAX_VCPUS. Current struct
TDCALL_INFO_RETURN_DATA defines them in wrong order.

Signed-off-by: Xiaoyao Li <xiaoyao.li@intel.com>
Cc: Jiewen Yao <jiewen.yao@intel.com>
Cc: Min Xu <min.m.xu@intel.com>
Cc: Gerd Hoffmann <kraxel@redhat.com>
Cc: Laszlo Ersek <lersek@redhat.com>
This commit is contained in:
Xiaoyao Li 2024-06-26 05:06:05 -04:00 committed by mergify[bot]
parent ed9a64af1b
commit 9389b9a208

View File

@ -113,8 +113,8 @@ typedef struct {
typedef struct {
UINT64 Gpaw;
UINT64 Attributes;
UINT32 MaxVcpus;
UINT32 NumVcpus;
UINT32 MaxVcpus;
UINT64 Resv[3];
} TDCALL_INFO_RETURN_DATA;