155#define ACPI_USE_STANDARD_HEADERS
156#define ACPI_USE_SYSTEM_CLIBRARY
158#include <KernelExport.h>
165#define ACPI_MUTEX_TYPE ACPI_OSL_MUTEX
166#define ACPI_MUTEX struct mutex *
168#define ACPI_USE_NATIVE_DIVIDE
169#define ACPI_USE_NATIVE_MATH64
173#define ACPI_SEMAPHORE sem_id
174#define ACPI_SPINLOCK spinlock *
175#define ACPI_CPU_FLAGS cpu_status
177#define COMPILER_DEPENDENT_INT64 int64
178#define COMPILER_DEPENDENT_UINT64 uint64
182#define ACPI_MACHINE_WIDTH 64
184#define ACPI_MACHINE_WIDTH 32
192#define ACPI_USE_LOCAL_CACHE
194#define ACPI_FLUSH_CPU_CACHE() __asm __volatile("wbinvd");
200#define ACPI_ACQUIRE_GLOBAL_LOCK(GLptr, Acq) do { \
201 (Acq) = AcpiOsAcquireGlobalLock(&((GLptr)->GlobalLock)); \
204#define ACPI_RELEASE_GLOBAL_LOCK(GLptr, Acq) do { \
205 (Acq) = AcpiOsReleaseGlobalLock(&((GLptr)->GlobalLock)); \
211#error "We only support kernel mode ACPI atm."
uint32_t uint32
Definition stdint.h:62
OS_DLL_FUNC int AcpiOsReleaseGlobalLock(uint32_t *lock)
Definition acpiosl.cpp:241
OS_DLL_FUNC int AcpiOsAcquireGlobalLock(uint32_t *lock)
Definition acpiosl.cpp:237