2 bhyve ACPI Platform Driver
4 Copyright (c) 2020, Rebecca Cran <rebecca@bsdio.com>
5 Copyright (c) 2008 - 2012, Intel Corporation. All rights reserved.<BR>
6 SPDX-License-Identifier: BSD-2-Clause-Patent
10 #ifndef _ACPI_PLATFORM_H_INCLUDED_
11 #define _ACPI_PLATFORM_H_INCLUDED_
14 #include <Protocol/AcpiTable.h>
15 #include <Protocol/FirmwareVolume2.h>
16 #include <Protocol/PciIo.h>
17 #include <Library/BaseLib.h>
18 #include <Library/DebugLib.h>
19 #include <Library/PcdLib.h>
20 #include <Library/UefiBootServicesTableLib.h>
21 #include <Library/XenPlatformLib.h>
22 #include <IndustryStandard/Acpi.h>
25 EFI_PCI_IO_PROTOCOL
*PciIo
;
27 } ORIGINAL_ATTRIBUTES
;
29 typedef struct S3_CONTEXT S3_CONTEXT
;
34 IN EFI_ACPI_TABLE_PROTOCOL
*AcpiProtocol
,
35 IN VOID
*AcpiTableBuffer
,
36 IN UINTN AcpiTableBufferSize
,
42 BhyveInstallAcpiTable (
43 IN EFI_ACPI_TABLE_PROTOCOL
*AcpiProtocol
,
44 IN VOID
*AcpiTableBuffer
,
45 IN UINTN AcpiTableBufferSize
,
52 IN EFI_ACPI_TABLE_PROTOCOL
*AcpiProtocol
58 IN EFI_ACPI_TABLE_PROTOCOL
*AcpiTable
63 OUT ORIGINAL_ATTRIBUTES
**OriginalAttributes
,
69 IN ORIGINAL_ATTRIBUTES
*OriginalAttributes
,
73 #endif /* _ACPI_PLATFORM_H_INCLUDED_ */