Ovmfpkg/CcExitLib: Provide SVSM discovery support

BZ: https://bugzilla.tianocore.org/show_bug.cgi?id=4654

The SVSM specification documents an alternative method of discovery for
the SVSM using a reserved CPUID bit and a reserved MSR.

For the CPUID support, the #VC handler of an SEV-SNP guest should modify
the returned value in the EAX register for the 0x8000001f CPUID function
by setting bit 28 when an SVSM is present.

For the MSR support, new reserved MSR 0xc001f000 has been defined. A #VC
should be generated when accessing this MSR. The #VC handler is expected
to ignore writes to this MSR and return the physical calling area address
(CAA) on reads of this MSR.

Cc: Ard Biesheuvel <ardb+tianocore@kernel.org>
Cc: Erdem Aktas <erdemaktas@google.com>
Cc: Gerd Hoffmann <kraxel@redhat.com>
Cc: Jiewen Yao <jiewen.yao@intel.com>
Cc: Laszlo Ersek <lersek@redhat.com>
Cc: Michael Roth <michael.roth@amd.com>
Cc: Min Xu <min.m.xu@intel.com>
Acked-by: Gerd Hoffmann <kraxel@redhat.com>
Signed-off-by: Tom Lendacky <thomas.lendacky@amd.com>
diff --git a/OvmfPkg/Library/CcExitLib/CcExitLib.inf b/OvmfPkg/Library/CcExitLib/CcExitLib.inf
index bc75cd5..e09f184 100644
--- a/OvmfPkg/Library/CcExitLib/CcExitLib.inf
+++ b/OvmfPkg/Library/CcExitLib/CcExitLib.inf
@@ -1,7 +1,7 @@
 ## @file

 #  CcExitLib Library.

 #

-#  Copyright (C) 2020, Advanced Micro Devices, Inc. All rights reserved.<BR>

+#  Copyright (C) 2020 - 2024, Advanced Micro Devices, Inc. All rights reserved.<BR>

 #  Copyright (C) 2020 - 2022, Intel Corporation. All rights reserved.<BR>

 #  SPDX-License-Identifier: BSD-2-Clause-Patent

 #

@@ -41,6 +41,7 @@
   DebugLib

   LocalApicLib

   MemEncryptSevLib

+  AmdSvsmLib

 

 [Pcd]

   gUefiOvmfPkgTokenSpaceGuid.PcdOvmfCpuidBase

diff --git a/OvmfPkg/Library/CcExitLib/CcExitVcHandler.c b/OvmfPkg/Library/CcExitLib/CcExitVcHandler.c
index 0fc30f7..0b61d28 100644
--- a/OvmfPkg/Library/CcExitLib/CcExitVcHandler.c
+++ b/OvmfPkg/Library/CcExitLib/CcExitVcHandler.c
@@ -1,7 +1,7 @@
 /** @file

   X64 #VC Exception Handler functon.

 

-  Copyright (C) 2020, Advanced Micro Devices, Inc. All rights reserved.<BR>

+  Copyright (C) 2020 - 2024, Advanced Micro Devices, Inc. All rights reserved.<BR>

   SPDX-License-Identifier: BSD-2-Clause-Patent

 

 **/

@@ -12,6 +12,7 @@
 #include <Library/LocalApicLib.h>

 #include <Library/MemEncryptSevLib.h>

 #include <Library/CcExitLib.h>

+#include <Library/AmdSvsmLib.h>

 #include <Register/Amd/Msr.h>

 #include <Register/Intel/Cpuid.h>

 #include <IndustryStandard/InstructionParsing.h>

@@ -713,10 +714,29 @@
   IN     CC_INSTRUCTION_DATA     *InstructionData

   )

 {

-  UINT64  ExitInfo1, Status;

+  MSR_SVSM_CAA_REGISTER  Msr;

+  UINT64                 ExitInfo1;

+  UINT64                 Status;

 

   ExitInfo1 = 0;

 

+  //

+  // The SVSM CAA MSR is a software implemented MSR and not supported

+  // by the hardware, handle it directly.

+  //

+  if (Regs->Rax == MSR_SVSM_CAA) {

+    // Writes to the SVSM CAA MSR are ignored

+    if (*(InstructionData->OpCodes + 1) == 0x30) {

+      return 0;

+    }

+

+    Msr.Uint64 = AmdSvsmSnpGetCaa ();

+    Regs->Rax  = Msr.Bits.Lower32Bits;

+    Regs->Rdx  = Msr.Bits.Upper32Bits;

+

+    return 0;

+  }

+

   switch (*(InstructionData->OpCodes + 1)) {

     case 0x30: // WRMSR

       ExitInfo1          = 1;

@@ -1388,6 +1408,11 @@
     *Ebx = (*Ebx & 0xFFFFFF00) | (Ebx2 & 0x000000FF);

     /* node ID */

     *Ecx = (*Ecx & 0xFFFFFF00) | (Ecx2 & 0x000000FF);

+  } else if (EaxIn == 0x8000001F) {

+    /* Set the SVSM feature bit if running under an SVSM */

+    if (AmdSvsmIsSvsmPresent ()) {

+      *Eax |= BIT28;

+    }

   }

 

 Out:

diff --git a/OvmfPkg/Library/CcExitLib/SecCcExitLib.inf b/OvmfPkg/Library/CcExitLib/SecCcExitLib.inf
index 811269d..dff6cd2 100644
--- a/OvmfPkg/Library/CcExitLib/SecCcExitLib.inf
+++ b/OvmfPkg/Library/CcExitLib/SecCcExitLib.inf
@@ -1,7 +1,7 @@
 ## @file

 #  VMGEXIT Support Library.

 #

-#  Copyright (C) 2020, Advanced Micro Devices, Inc. All rights reserved.<BR>

+#  Copyright (C) 2020 - 2024, Advanced Micro Devices, Inc. All rights reserved.<BR>

 #  SPDX-License-Identifier: BSD-2-Clause-Patent

 #

 ##

@@ -41,6 +41,7 @@
   LocalApicLib

   MemEncryptSevLib

   PcdLib

+  AmdSvsmLib

 

 [FixedPcd]

   gUefiOvmfPkgTokenSpaceGuid.PcdOvmfSecGhcbBackupBase