/** @file
  Header file for a PCI platform driver.

Copyright (c) 2022 9elements GmbH
SPDX-License-Identifier: BSD-2-Clause-Patent


**/

#ifndef PCI_PLATFORM_DXE_H_
#define PCI_PLATFORM_DXE_H_
#include <PiDxe.h>

#include <IndustryStandard/Pci.h>
#include <IndustryStandard/Acpi.h>
#include <IndustryStandard/Pci22.h>
#include <Protocol/PciIo.h>
#include <Protocol/PciPlatform.h>

#endif