/* During the early booting, GuestType is set in the work area. Verify that it is an SEV guest. */
BOOLEAN IsSevGuest(VOID)
/* During the early booting, GuestType is set in the work area. Verify that it is an SEV guest. */
BOOLEAN IsSevGuest(VOID)
{
  OVMF_WORK_AREA  *WorkArea;
  ASSERT (
    (UINTN)FixedPcdGet32 (PcdOvmfConfidentialComputingWorkAreaHeader) ==
    sizeof (CONFIDENTIAL_COMPUTING_WORK_AREA_HEADER)
    );
  WorkArea = (OVMF_WORK_AREA *)FixedPcdGet32 (PcdOvmfWorkAreaBase);
  return ((WorkArea != NULL) && (WorkArea->Header.GuestType == CcGuestTypeAmdSev));
}