/* Parses T0SZ to determine the level and number of entries at the root of the translation table. */
STATIC VOID GetRootTranslationTableInfo(IN UINTN T0SZ, OUT UINTN *RootTableLevel, OUT UINTN *RootTableEntryCount)
/* Parses T0SZ to determine the level and number of entries at the root of the translation table. */
STATIC VOID GetRootTranslationTableInfo(IN UINTN T0SZ, OUT UINTN *RootTableLevel, OUT UINTN *RootTableEntryCount)
{
  *RootTableLevel      = (T0SZ - MIN_T0SZ) / BITS_PER_LEVEL;
  *RootTableEntryCount = TT_ENTRY_COUNT >> (T0SZ - MIN_T0SZ) % BITS_PER_LEVEL;
}