/* Returns boolean to indicate whether to indicate which, if any, memory encryption is enabled */
BOOLEAN EFIAPI MemEncryptTdxIsEnabled(VOID)
/* Returns boolean to indicate whether to indicate which, if any, memory encryption is enabled */
BOOLEAN EFIAPI MemEncryptTdxIsEnabled(VOID)
{
  return CC_GUEST_IS_TDX (PcdGet64 (PcdConfidentialComputingGuestAttr));
}