2014-01-28 11:11:36 +00:00
|
|
|
#ifndef _ACPI_PCH_
|
|
|
|
#define _ACPI_PCH_
|
|
|
|
|
2014-04-03 23:32:58 +00:00
|
|
|
#include <stdio.h>
|
|
|
|
|
2014-01-28 11:11:36 +00:00
|
|
|
#include <acpi.h>
|
2014-04-03 23:32:58 +00:00
|
|
|
|
|
|
|
// ACPI_BIOS_ERROR was defined in acoutput.h, but is
|
|
|
|
// redefined in bugcodes.h included from the DDK.
|
|
|
|
#undef ACPI_BIOS_ERROR
|
|
|
|
|
2014-01-28 11:11:36 +00:00
|
|
|
#include <acpisys.h>
|
|
|
|
#include <acpi_bus.h>
|
|
|
|
#include <acpi_drivers.h>
|
|
|
|
#include <glue.h>
|
|
|
|
#include <wdmguid.h>
|
|
|
|
#include <acpiioct.h>
|
2024-04-01 16:21:35 +00:00
|
|
|
#include <ntintsafe.h>
|
2014-01-28 11:11:36 +00:00
|
|
|
|
|
|
|
#endif /* _ACPI_PCH_ */
|