/*
* ACPICA configuration
*/
+#define ACPI_USE_STANDARD_HEADERS
#define ACPI_USE_SYSTEM_CLIBRARY
#define ACPI_USE_DO_WHILE_0
#define ACPI_FLUSH_CPU_CACHE()
#define ACPI_USE_ALTERNATE_TIMEOUT
-#include <stdarg.h>
-#include <string.h>
-#include <stdlib.h>
-#include <ctype.h>
+#ifdef ACPI_USE_STANDARD_HEADERS
#include <unistd.h>
+#endif
#if defined(__ia64__) || defined(__x86_64__)
#define ACPI_MACHINE_WIDTH 64
#define ACPI_CAST_PTHREAD_T(pthread) ((ACPI_THREAD_ID) ACPI_TO_INTEGER (pthread))
-/* Cygwin uses GCC */
-
-#include "acgcc.h"
-
/*
* The vsnprintf/snprintf functions are defined by c99, but cygwin/gcc