/* The guest indicates if a page is shared using the Guest Physical Address (GPA) Shared (S) bit. If the GPA Width(GPAW) is 48, the S-bit is bit-47. If the GPAW is 52, the S-bit is bit-51. */
UINT64 EFIAPI TdSharedPageMask(VOID)
/* The guest indicates if a page is shared using the Guest Physical Address (GPA) Shared (S) bit. If the GPA Width(GPAW) is 48, the S-bit is bit-47. If the GPAW is 52, the S-bit is bit-51. */
UINT64 EFIAPI TdSharedPageMask(VOID)
{
  if (mTdDataReturned) {
    return mTdSharedPageMask;
  }
  return GetTdInfo () ? mTdSharedPageMask : 0;
}