/* Free the memory associated with the provided EFI_ACPI_TABLE_LIST instance. */
STATIC VOID FreeTableMemory(EFI_ACPI_TABLE_LIST *TableEntry)
/* Free the memory associated with the provided EFI_ACPI_TABLE_LIST instance. */
STATIC VOID FreeTableMemory(EFI_ACPI_TABLE_LIST *TableEntry)
{
  if (TableEntry->PoolAllocation) {
    gBS->FreePool (TableEntry->Table);
  } else {
    gBS->FreePages (
           (EFI_PHYSICAL_ADDRESS)(UINTN)TableEntry->Table,
           EFI_SIZE_TO_PAGES (TableEntry->TableSize)
           );
  }
}