1 #ifndef _ACPI_PCH_ 2 #define _ACPI_PCH_ 3 4 #include <stdio.h> 5 6 #include <acpi.h> 7 8 // ACPI_BIOS_ERROR was defined in acoutput.h, but is 9 // redefined in bugcodes.h included from the DDK. 10 #undef ACPI_BIOS_ERROR 11 12 #include <acpisys.h> 13 #include <acpi_bus.h> 14 #include <acpi_drivers.h> 15 #include <glue.h> 16 #include <wdmguid.h> 17 #include <acpiioct.h> 18 19 #endif /* _ACPI_PCH_ */ 20