/* This function traces the ACPI header as described by the AcpiHeaderParser. */
UINT32 EFIAPI DumpAcpiHeader(IN UINT8 *Ptr)
/* This function traces the ACPI header as described by the AcpiHeaderParser. */
UINT32 EFIAPI DumpAcpiHeader(IN UINT8 *Ptr)
{
  return ParseAcpi (
           TRUE,
           0,
           "ACPI Table Header",
           Ptr,
           sizeof (EFI_ACPI_DESCRIPTION_HEADER),
           PARSER_PARAMS (AcpiHeaderParser)
           );
}