2 * Acess-specific ACPI header.
4 * A modified version of the ForgeOS acforge.h, copied and modified with permision.
13 #define ACPI_SINGLE_THREADED
15 #define ACPI_USE_SYSTEM_CLIBRARY
17 #define ACPI_USE_DO_WHILE_0
18 #define ACPI_MUTEX_TYPE ACPI_OSL_MUTEX
20 #define ACPI_USE_NATIVE_DIVIDE
22 #define ACPI_CACHE_T ACPI_MEMORY_LIST
23 #define ACPI_USE_LOCAL_CACHE 1
26 #define ACPI_MACHINE_WIDTH 32
28 #error TODO - 64-bit support
31 #define ACPI_MUTEX void *
33 #define ACPI_UINTPTR_T uintptr_t
35 #define ACPI_FLUSH_CPU_CACHE() __asm__ __volatile__("wbinvd");
39 #endif /* __ACACESS_H__ */