/* Free an SSDT table previously created by the BuildSsdtSerialTable function. */
EFI_STATUS EFIAPI FreeSsdtSerialPortTable(IN EFI_ACPI_DESCRIPTION_HEADER *Table)
/* Free an SSDT table previously created by the BuildSsdtSerialTable function. */
EFI_STATUS EFIAPI FreeSsdtSerialPortTable(IN EFI_ACPI_DESCRIPTION_HEADER *Table)
{
  ASSERT (Table != NULL);
  FreePool (Table);
  return EFI_SUCCESS;
}