TDCALL_INFO should return num_vcpus as lower 4 bytes of r8 register according to the tdx spec, so reorder num_vcpus and max_vcpus fields to match the spec.
Reference: Table 22.210 TDG.VP.INFO output operands https://cdrdv2.intel.com/v1/dl/getContent/733568 Signed-off-by: Vishal Annapurve <vannapu...@google.com> --- MdePkg/Include/IndustryStandard/Tdx.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/MdePkg/Include/IndustryStandard/Tdx.h b/MdePkg/Include/IndustryStandard/Tdx.h index 81df136184..a17be61353 100644 --- a/MdePkg/Include/IndustryStandard/Tdx.h +++ b/MdePkg/Include/IndustryStandard/Tdx.h @@ -111,8 +111,8 @@ typedef struct { typedef struct { UINT64 Gpaw; UINT64 Attributes; - UINT32 MaxVcpus; UINT32 NumVcpus; + UINT32 MaxVcpus; UINT64 Resv[3]; } TDCALL_INFO_RETURN_DATA; -- 2.39.1.637.g21b0678d19-goog -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#100248): https://edk2.groups.io/g/devel/message/100248 Mute This Topic: https://groups.io/mt/96991436/21656 Group Owner: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-
