/* Read the SEV Status MSR value from the workarea  */
STATIC UINT32 EFIAPI InternalMemEncryptSevStatus(VOID)
/* Read the SEV Status MSR value from the workarea  */
STATIC UINT32 EFIAPI InternalMemEncryptSevStatus(VOID)
{
  SEC_SEV_ES_WORK_AREA  *SevEsWorkArea;
  SevEsWorkArea = GetSevEsWorkArea ();
  if (SevEsWorkArea == NULL) {
    return 0;
  }
  return (UINT32)(UINTN)SevEsWorkArea->SevStatusMsrValue;
}