/** @file\r
- Sample ACPI Platform Driver\r
+ bhyve ACPI Platform Driver\r
\r
Copyright (c) 2020, Rebecca Cran <rebecca@bsdio.com>\r
Copyright (c) 2008 - 2012, Intel Corporation. All rights reserved.<BR>\r
#define _ACPI_PLATFORM_H_INCLUDED_\r
\r
#include <PiDxe.h>\r
-\r
#include <Protocol/AcpiTable.h>\r
#include <Protocol/FirmwareVolume2.h>\r
#include <Protocol/PciIo.h>\r
-\r
#include <Library/BaseLib.h>\r
-#include <Library/UefiBootServicesTableLib.h>\r
#include <Library/DebugLib.h>\r
#include <Library/PcdLib.h>\r
+#include <Library/UefiBootServicesTableLib.h>\r
#include <Library/XenPlatformLib.h>\r
-\r
#include <IndustryStandard/Acpi.h>\r
\r
typedef struct {\r
IN UINTN Count\r
);\r
\r
-#endif\r
-\r
+#endif /* _ACPI_PLATFORM_H_INCLUDED_ */\r