REF: https://bugzilla.tianocore.org/show_bug.cgi?id=4696
According to section 2.4.1 of [GHCI] spec, RBP register is usually used as a frame pointer according to the C language calling convention. The software should not use RBP as an input/output parameter and should clear BIT5 (RBP) in the GPR mask in RCX. Reference: [GHCI]: TDX Guest-Host-Communication Interface v1.5 https://cdrdv2.intel.com/v1/dl/getContent/726792 Cc: Liming Gao <[email protected]> Cc: Michael D Kinney <[email protected]> Cc: Erdem Aktas <[email protected]> Cc: James Bottomley <[email protected]> Cc: Jiewen Yao <[email protected]> Cc: Min Xu <[email protected]> Cc: Tom Lendacky <[email protected]> Cc: Michael Roth <[email protected]> Cc: Gerd Hoffmann <[email protected]> Cc: Isaku Yamahata <[email protected]> Signed-off-by: Ceping Sun <[email protected]> Ceping Sun (3): MdePkg/BaseLib: Update TDVMCALL_EXPOSE_REGS_MASK OvmfPkg/CcExitLib: Update TDVMCALL_EXPOSE_REGS_MASK OvmfPkg/TdxDxe: Clear the registers before tdcall MdePkg/Library/BaseLib/X64/TdVmcall.nasm | 2 +- .../Library/CcExitLib/X64/TdVmcallCpuid.nasm | 2 +- OvmfPkg/TdxDxe/X64/ApRunLoop.nasm | 30 ++++++++++++++++--- 3 files changed, 28 insertions(+), 6 deletions(-) -- 2.34.1 -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#115941): https://edk2.groups.io/g/devel/message/115941 Mute This Topic: https://groups.io/mt/104577516/21656 Group Owner: [email protected] Unsubscribe: https://edk2.groups.io/g/devel/unsub [[email protected]] -=-=-=-=-=-=-=-=-=-=-=-
